[論文レビュー] Three lectures on automorphic loops

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

Mathematics and Applications被引用数 4

ひとこと要約

本稿は、すべての内部写像が自己同型である「自己同型ループ」— すなわち、自己同型ループ—について、包括的で構造化された新しい導入を提示する。現代的な証明と洞察を用いて、代数的性質、構造的結果（特に奇数位数定理を含む）、および構成法を扱う。Bruckループ、Lie環、ねじれ部分群との関係を確立し、特に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ループおよびLie環との関係を調査すること。
• 位数pqおよびp³の可換自己同型ループについて、新たな構成法と数え上げ結果を提示すること。
• 未解決の問題を特定し、自己同型ループの分類および構造に関する未解決の問いを強調することで、さらなる研究を促進すること。

提案手法

• ねじれ部分群の枠組みを用いて、自己同型ループにおける関連演算に関する古典的結果を再定式化・簡略化する。
• 演算 (x⁻¹\(y²x))¹ᐟ² を介して、一意的に2重可除な左Bruckループと一意的に2重可除な自己同型ループとの間のGreer対応を適用する。
• 内部写像群および自己同型群作用を含む群論的技法を用いて、ループ構造を分析する。
• 計算ツール（例：GAP/LOOPS）を用いて例を検証し、構造的主張を支援する。
• 2つの一般化された構成法を導入する：1つは可換環と加群を用いるもの（構成法3.24）、もう1つは類似二面体ループを用いるもの（構成法3.26）。
• 普遍代数および合同モジュラー多様体理論を用いて、ループ理論における可解性概念を探求する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限可換自己同型ループは可解であり、p³位数のものにはどのような構造があるのか？
• RQ2 非結合的有限単純自己同型ループは存在するか？ もし存在するならば、最小の可能な位数は何か？
• RQ3 どのLie環が、線形ループ構成法 x·y = x+y−[x,y] を通じて自己同型ループを生成するか？
• RQ4 一意的に2重可除な左Bruckループと一意的に2重可除な自己同型ループとの間の対応は、全射的か、完全に特徴づけられるか？
• RQ5 異なる奇素数pとqについて、位数pqおよびp²qの自己同型ループの分類を完成させることは可能か？

主な発見

• 4096未満の位数の非結合的単純自己同型ループは存在しない。
• 奇素数pに対して、Qk<K(Wa)の形をした可換自己同型ループで、互いに同型でないものとしてはちょうど (p+1)/2 個が存在する。
• p=2の場合、位数8の可換自己同型ループで、互いに同型でないものはちょうど2つ存在する。
• ループ Dih(2, Z₃, α) は、位数6の非結合的自己同型ループ Q₆ と同型である。
• すべての位数p²の自己同型ループは群であり、この結果は新しい、初等的な証明で再確認された。
• Greer対応（x◦y = (x⁻¹\(y²x))¹ᐟ² を通じて）は、一意的に2重可除な左Bruckループと一意的に2重可除な自己同型ループとの間で全単射を定める。この写像の像は、関連するLie環を用いて特徴づけられる。