[论文解读] The structure of automorphic loops

Michael Kinyon, Ken Kunen+2 more|arXiv (Cornell University)|Oct 5, 2012

Mathematics and Applications参考文献 15被引用 5

一句话总结

本文建立了对偶性环——即所有内映射均为自同构的环——的基础性结果，重点研究奇数阶的唯一2-可除环。通过改编Glauberman的Bruck环构造与Wright的李代数方法，作者证明了奇数阶的有限对偶性环是可解的，满足Lagrange定理与Cauchy定理，并且对整除环阶的每个素数 $ p $，均存在阶为 $ p $ 的元素；同时表明，不存在阶小于2500的有限单非结合对偶性环。

ABSTRACT

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral.

研究动机与目标

• 建立对偶性环的结构性定理，特别是奇数阶对偶性环的定理，扩展Moufang环与交换环的相关结果。
• 研究有限单非结合对偶性环的存在性，这是环论中一个主要的开放问题。
• 利用导出代数与群论技术，证明有限奇数阶对偶性环满足Lagrange定理、Cauchy定理与可解性定理。
• 对小阶数的非结合对偶性环（如 $ 2p $ 与 $ p^3 $）进行分类，并构造如二面体环等家族。
• 探讨乘法群的幂与根基在单对偶性环结构中的作用。

提出的方法

• 通过定义新运算 $ x ullet y = (x^{-1} ackslash (y^2 x))^{1/2} $，将Glauberman的Bruck环构造适配于唯一2-可除的对偶性环，从而获得Bruck环结构。
• 利用基本运算 $ x * y = x^{-1} ackslash (y^{-1} x) $ 定义扭曲子群 $ P_Q = \{ P_x \mid x \in Q \} $，其中 $ P_x = R_x L_{x^{-1}}^{-1} $，并满足 $ P_x P_y P_y = P_{y P_x} $ 与 $ P_x^n = P_{x^n} $。
• 将Bruck环运算从扭曲子群 $ P_Q $ 反向转移回原环 $ Q $，从而可应用关于Bruck环的已知结果于对偶性环。
• 应用Wright的从李代数构造环的方法，研究对偶性环的局部结构，特别是在 $ p $-环与幂零性背景下的表现。
• 使用群论工具（包括Prover9与Mace4）验证恒等式并检验猜想，尤其关注子环结构与自同构性质。
• 运用乘法群根基的概念，分析非结合对偶性环中潜在的单性。

实验结果

研究问题

• RQ1 有限奇数阶对偶性环是否满足Lagrange定理与Cauchy定理，且是否可解？
• RQ2 是否存在有限单非结合对偶性环？若存在，其最小可能阶数是多少？
• RQ3 对于有限对偶性环，其每个元素的阶是否整除环的阶？
• RQ4 对于奇素数 $ p $，是否存在对 $ 2p $ 阶有限对偶性环的完整分类？其中非同构的非结合例子共有多少？
• RQ5 有限单非结合对偶性环的乘法群根基是否为正规？这对其单性有何含义？

主要发现

• 每个奇数阶有限对偶性环都是可解的，将Glauberman对Bruck环的结果推广至对偶性环情形。
• 每个奇数阶有限对偶性环均满足Cauchy定理：对整除 $ |Q| $ 的每个素数 $ p $，均存在阶为 $ p $ 的元素。
• 每个奇数阶有限对偶性环均满足Lagrange定理：每个子环的阶整除环的阶。
• 不存在有限单非结合交换对偶性环，且阶小于2500的此类环也不存在。
• 对奇素数 $ p $，存在阶为 $ p^3 $ 的非结合对偶性环，包括核平凡且指数为 $ p $ 的例子，表明该阶数下非结合性是可能的。
• 恰好存在 $ p - 2 $ 个非结合对偶性环，其阶为 $ 2p $，且所有环均为二面体环，彼此同构于 $ D_{2p}(c) $，其中 $ 1 \leq c < p $。