具有阿贝尔内映射群的圈：自动演绎的一个应用
群论
2015-09-21 v1
摘要
我们描述了一个应用自动演绎的大规模项目，该项目涉及圈理论中一个相当有趣的问题：如果 Q 是一个具有交换内映射的圈，那么 Q 模其中心是否是一个群，且 Q 模其核是否是一个阿贝尔群？这个问题在若干圈簇中已得到肯定回答。其解决方案通常涉及复杂的自动演绎技术，且得到的推导非常长，往往没有可用的高层次人类证明。
引用
@article{arxiv.1509.05468,
title = {Loops with abelian inner mapping groups: An application of automated deduction},
author = {Michael Kinyon and Robert Veroff and Petr Vojtěchovský},
journal= {arXiv preprint arXiv:1509.05468},
year = {2015}
}