玛丽亚·德·卢德斯·朱利安尼（Maria de Lourdes M.Giuliani）、肯尼斯·约翰逊（Kenneth W.Johnson）
牟坊环路右分区

摘要：我（G，\cdot）是一个组，并且操作（\ast）由定义x\ast y=x\cdot y^{-1}然后通过直接验证（G，\ast）是满足恒等式的拟群（x\ast y）\ast（z\ast y）=x\ast z相反，如果从满足后一个恒等式的拟群开始，则群（G，\cdot）可以构造，因此实际上（G，\cdot）由其右除法运算决定。这里对牟方回路的类似情况进行了检验。由于存在定义恒等式的选择，因此会出现分组情况下不存在的子项，而用右除法替换循环乘法产生的恒等式给出了出现循环逆的恒等。然而，通过进一步的工作可以获得以下方面的身份（\ast）独自一人。从满足该恒等式的拟群构造Moufang环比在群的情况下要困难得多，并且它首先是使用软件Prover9进行的。随后，获得了该结构的纯代数证明。

关键词：Moufang回路，Prover9

AMS科目分类：20号05 20-04