[论文解读] Half-isomorphisms of finite automorphic Moufang loops

A. Grishkov, M. L. Merlini Giuliani+2 more|arXiv (Cornell University)|Dec 16, 2014

Mathematics and Applications参考文献 12被引用 3

一句话总结

本文证明了有限自同构Moufang圈的每个半同构都是平凡的——即它要么是同构，要么是反同构。该结果通过Sylow子圈的结构分析以及左自同构圈的性质得出，表明在此类圈中非平凡半同构不可能存在，尽管在更一般的圈类型中存在此类映射。

ABSTRACT

We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general this is not true for finite left automorphic Moufang loops and for finite automorphic loops.

研究动机与目标

• 确定有限自同构Moufang圈中半同构的性质。
• 解决非平凡半同构是否可能存在于此类圈中的问题。
• 将关于奇数阶Moufang圈中半同构的已知结果扩展至更广泛的自同构Moufang圈类别。
• 研究迫使自同构Moufang圈中的半同构为平凡的结构约束。

提出的方法

• 使用左乘和右乘映射以及内映射群分析圈的结构。
• 应用Bruck关于左自同构Moufang圈中换位子和结合子的引理。
• 将圈分解为Sylow子圈，并研究半同构在每个分量上的作用。
• 利用除3-Sylow子圈外的所有Sylow子圈均为群，且3-Sylow子圈为奇数阶的事实，应用奇数阶圈中半同构的已知结果。
• 通过分量作用和非平凡性矛盾，证明半同构必须在整个圈上平凡作用。
• 利用GAP中的LOOPS软件包验证非自同构圈中非平凡半同构的实例。

实验结果

研究问题

• RQ1 有限自同构Moufang圈的所有半同构是否必然为平凡（即同构或反同构）？
• RQ2 尽管在更一般的圈类中存在非平凡半同构，但在有限自同构Moufang圈中是否可能也存在非平凡半同构？
• RQ3 自同构Moufang圈的哪些结构特性迫使半同构为平凡？
• RQ4 Sylow子圈分解如何影响有限圈中半同构的行为？

主要发现

• 有限自同构Moufang圈的每个半同构要么是同构，要么是反同构，因此是平凡的。
• 该证明依赖于将圈分解为Sylow子圈，并证明半同构在每个分量上均平凡作用。
• 3-Sylow子圈为奇数阶，因此继承了所有半同构均为平凡的性质，这与非平凡半同构的存在性矛盾。
• 非平凡半同构存在于某些有限圈中，如Code圈和某些自同构圈，但不存在于有限自同构Moufang圈中。
• 该结果在有限性假设下证实了一个猜想：自同构Moufang圈中所有半同构均为平凡。
• 圈的结构，特别是结合子子圈的中心性以及特征子圈的正规性，在证明中起着关键作用。