×

分类通过组合自动推理工具产生拟群和循环理论。 (英语) Zbl 1192.20062号

这是作者关于小代数自动分类的长期项目的综述;本文主要研究拟群和拟环。目的是获得确定给定大小的代数的同构(或同位素)类的属性列表。本文首先介绍了一种用于提供分类结果的通用自举算法。然后,描述了拟群和环的几种同构不变量和同位素不变量。在最后一节中,结合各种自动推理方法,作者获得了大小为5的拟群和大小为7的循环的同构类和同位素类的分类定理。

MSC公司:

20号05 环,拟群
68吨15 定理证明(演绎、解析等)(MSC2010)
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML EMIS公司