[论文解读] Three lectures on automorphic loops

Petr Vojtěchovský|arXiv (Cornell University)|Sep 17, 2015

Mathematics and Applications被引用 4

一句话总结

本文为对可交换环的自同构环——即所有内映射均为自同构的环——提供了全面且全新结构化的引言，涵盖其代数性质、结构结果（包括奇数阶定理）以及构造方法，提供了现代证明与深入见解。文章建立了与Bruck环、李环及扭子群的联系，并提出了阿贝尔与一般自同构环的新构造方法与计数结果，特别关注pq与p³阶的情形。

ABSTRACT

These notes accompany a series of three lectures on automorphic loops to be delivered by the author at Workshops Loops '15 (Ohrid, Macedonia, 2015). Automorphic loops are loops in which all inner mappings are automorphisms. The first paper on automorphic loops appeared in 1956 and there has been a surge of interest in the topic since 2010. The purpose of these notes is to introduce the methods used in the study of automorphic loops to a wider audience of researchers working in nonassociative mathematics. In the first lecture we establish basic properties of automorphic loops (flexibility, power-associativity and the antiautomorphic inverse property) and discuss relations of automorphic loops to Moufang loops. In the second lecture we expand on ideas of Glauberman and investigate the associated operation $(x^{-1}\backslash (y^2x))^{1/2}$ and similar concepts, using a more modern approach of twisted subgroups. We establish many structural results for commutative and general automorphic loops, including the Odd Order Theorem. In the last lecture we look at enumeration and constructions of automorphic loops. We show that there are no nonassociative simple automorphic loops of order less than $4096$, we study commutative automorphic loops of order $pq$ and $p^3$, and introduce two general constructions of automorphic loops. The material is newly organized and sometimes new, shorter proofs are given.

研究动机与目标

• 为非结合代数领域的研究人员提供一个现代且易于理解的自同构环引言。
• 利用现代技术重新推导并简化关键结构结果，如灵活性、幂结合性及反自同态逆性质。
• 建立自同构环的奇数阶定理，并探讨其与Bruck环及李环的联系。
• 提出关于pq阶与p³阶阿贝尔自同构环的新构造与计数结果。
• 通过识别开放问题并突出自同构环分类与结构中的未解疑问，激发进一步研究。

提出的方法

• 利用扭子群框架，重新表述并简化经典结果中关于自同构环相关运算的结论。
• 应用Greer对应关系，通过运算 (x⁻¹\(y²x))¹ᐟ²，建立唯一2-可除左Bruck环与唯一2-可除自同构环之间的对应。
• 采用群论方法，包括内映射群与自同构群作用，分析环的结构。
• 利用计算工具（如GAP/LOOPS）验证实例并支持结构命题。
• 提出两种通用构造方法：一种基于交换环与模（构造3.24），另一种通过类似二面体的环（构造3.26）。
• 应用普遍代数与同余模化种类理论，探索环论中的可解性概念。

实验结果

研究问题

• RQ1 所有有限阿贝尔自同构环是否可解？对于p³阶的环，其结构如何？
• RQ2 是否存在非结合的有限单自同构环？若存在，最小可能阶数是多少？
• RQ3 哪些李环可通过线性环构造 x·y = x+y−[x,y] 生成自同构环？
• RQ4 唯一2-可除左Bruck环与唯一2-可除自同构环之间的对应关系是否为满射，或可完全刻画？
• RQ5 能否完成对pq阶与p²q阶自同构环的分类，其中p与q为不同的奇素数？

主要发现

• 在阶小于4096的所有自同构环中，不存在非结合的单自同构环。
• 对于奇素数p，存在恰好 (p+1)/2 个彼此不同构的阿贝尔自同构环，阶为p³，形式为Qk<K(Wa)，在同构意义下。
• 当p=2时，存在恰好2个彼此不同构的阿贝尔自同构环，阶为8。
• 环Dih(2, Z₃, α) 同构于阶为6的非结合自同构环Q₆。
• 所有阶为p²的自同构环均为群，且本文以一种新的初等方法重新证明了该结果。
• Greer对应关系（通过x◦y = (x⁻¹\(y²x))¹ᐟ²）建立了唯一2-可除左Bruck环与唯一2-可除自同构环之间的双射对应，其像可由关联的李环表征。