菲利普斯，J.D。 牟方法律，全球性和地方性。 （英语） Zbl 1190.20052号 J.代数应用。 8，第4期，477-492（2009）. 作者的调查得到了W.W.McCune公司[Prover9，自动推理软件，Mace4，有限模型构建器，阿贡国家实验室，2005年http://www.prover9.org]. 本文考虑群胚中的全局或局部恒等式。例如，交换律和结合律可以被认为是全局律，因为它们是普遍量化的。在本文的平衡中，所有出现的\（x，y，z）都被认为是普遍量化的，因此，作者省略了符号“for all”，例如。本文给出了Moufang元素的一个新定义，确保任意循环中所有Moufan元素的集合都是一个子循环。他还给出了这个新定义的应用，证明了逆性质环中的柔性a元素实际上是Moufang元素[M.K.Kinyon、K.Kunen和J.D.菲利普斯，程序。美国数学。Soc.130，No.3，619-624（2002年；Zbl 0990.20044号)]. 也就是说，作者阐明了牟方回路与A元素之间的关系。审核人：C.佩雷拉·达席尔瓦（库里蒂巴） 引用于1审查引用于5文件 MSC公司： 20号05 环，拟群 关键词：牟芳线圈;A型环;当地牟方法律;本地身份;全球身份;牟芳元素;柔性A元件;反向特性循环 引文：Zbl 0990.20044号 软件：校准仪9;梅斯4 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Phillips}，J.代数应用。8，第4号，477--492（2009；Zbl 1190.20052） 全文： 内政部 参考文献： [1] 内政部：10.1007/978-3-662-43119-1·doi:10.1007/978-3-662-43119-1 [2] 内政部：10.2307/1969612·Zbl 0074.01701号 ·doi:10.2307/1969612 [3] DOI:10.1090/S0002-9947-1974-0330336-3·doi:10.1090/S002-9947-1974-0330336-3 [4] 内政部：10.1016/j.jalgebra.2006.01.034·Zbl 1109.20057号 ·doi:10.1016/j.jalgebra.2006.01.034 [5] DOI:10.1090/S0002-9939-01-06090-7·Zbl 0990.20044号 ·doi:10.1090/S0002-9939-01-06090-7 [6] 内政部：10.1090/S0002-9939-03-07211-3·Zbl 1044.20041号 ·doi:10.1090/S0002-9939-03-07211-3 [7] DOI:10.1006/jabr.1996.0216·Zbl 0855.20056号 ·doi:10.1006/jabr.1996.0216 [8] DOI:10.1007/3-540-61398-6·Zbl 0921.03011号 ·doi:10.1007/3-540-61398-6 [9] Pflugfelder H.，拟群和环，引言（1990）·Zbl 0715.2004年3月 [10] Phillips J.D.，评论。数学。卡罗琳大学。第49页，第279页– [11] 奥斯本J.M.，Proc。阿默尔。数学。Soc.9第347页- 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。