[論文レビュー] Class 2 Moufang loops, small Frattini Moufang loops, and code loops

Tim Hsu|arXiv (Cornell University)|Nov 20, 1996

Mathematics and Applications参考文献 11被引用数 4

ひとこと要約

この論文は，クラス2のムーファンループを調査し，その核的導来部分ループの指数が6を割り切ることを証明し，p > 3のときの結合性を示している．また，小さなフラティーニ・ムーファンループ（SFMLs）が，符号化されたベクトル空間（CVS）とちょうど一致することを確立し，すべてのSFMLがグリエスの意味での符号ループであることを示している．スカラー倍の下で同型が保たれることも示している．これにより，SFML 3ループにおける同型の完全な特徴付けと，有限クラス2ムーファンループを構成するための構成的技法が得られる．

ABSTRACT

Let $L$ be a Moufang loop which is centrally nilpotent of class 2. We first show that the nuclearly-derived subloop (normal associator subloop) $L^*$ of $L$ has exponent dividing 6. It follows that $L_p$ (the subloop of $L$ of elements of $p$-power order) is associative for $p>3$. Next, a loop $L$ is said to be a {\it small Frattini Moufang loop}, or SFML, if $L$ has a central subgroup $Z$ of order $p$ such that $C\isom L/Z$ is an elementary abelian $p$-group. $C$ is thus given the structure of what we call a {\it coded vector space}, or CVS. (In the associative/group case, CVS's are either orthogonal spaces, for $p=2$, or symplectic spaces with attached linear forms, for $p>2$.) Our principal result is that every CVS may be obtained from an SFML in this way, and two SFML's are isomorphic in a manner preserving the central subgroup $Z$ if and only if their CVS's are isomorphic up to scalar multiple. Consequently, we obtain the fact that every SFM 2-loop is a code loop, in the sense of Griess, and we also obtain a relatively explicit characterization of isotopy in SFM 3-loops. (This characterization of isotopy is easily extended to Moufang loops of class 2 and exponent 3.) Finally, we sketch a method for constructing any finite Moufang loop which is centrally nilpotent of class 2.

研究の動機と目的

• 中心的冪零クラス2のムーファンループの構造を特徴付けること．
• 核的導来部分ループが，結合性や指数といったループの性質を決定する役割を理解すること．
• 小さなフラティーニ・ムーファンループ（SFMLs）と符号化されたベクトル空間（CVS）の間の対応関係を確立し，群論的構成を一般化すること．
• すべてのSFMLがグリエスの意味での符号ループであることを証明し，符号ループ理論をクラス2ループへ拡張すること．
• CVSと中心的拡大に基づいて，すべての有限クラス2ムーファンループを構成する一般的手法を提供すること．

提案手法

• 論文は，クラス2のムーファンループ $L$ の核的導来部分ループ $L^*$ を分析し，交換子の恒等式とループの性質を用いて，$L^*$ が指数6を割り切ることを示している．
• 小規模なフラティーニ・ムーファンループ（SFML）をその中心的部分群 $Z$（位数 $p$）で割った商として，$ vert C \cong L/Z$ を $ vert \mathbb{F}_p$ 上の構造的ベクトル空間に与える符号化されたベクトル空間（CVS）の概念を導入している．
• すべてのCVSがSFMLから生じることを証明し，$Z$ を保存するSFMLの同型が，スカラー倍の意味でそのCVSの同型にちょうど一致することを示している．
• ムーファンループにおける交換子と関連子の理論を用いて，特に $p > 3$ の場合のループ構造の制約を導出し，$L_p$ の結合性に至っている．
• 符号ループの理論を用いて，すべてのSFMLが符号ループであることを示し，グリエスの構成をクラス2ループへ一般化している．
• CVSの中心的拡大を用いて，CVSとSFMLの対応関係を応用し，有限クラス2ムーファンループを構成している．

実験結果

リサーチクエスチョン

• RQ1 中心的冪零クラス2のムーファンループ $L$ における核的導来部分ループ $L^*$ の指数は何か？
• RQ2 小さなフラティーニ・ムーファンループ（SFMLs）と符号化されたベクトル空間（CVS）の関係は何か？ また，すべてのCVSがSFMLの商として実現可能か？
• RQ3 中心的部分群 $Z$ を保存する2つのSFMLが同型であるための条件は何か？
• RQ4 すべてのSFMLはグリエスの意味での符号ループであるか？ また，これは3ループにおける同型にどのように拡張されるか？
• RQ5 CVSの構造と中心的拡大に基づいて，すべての有限クラス2ムーファンループを構成する一般的手法を構築可能か？

主な発見

• クラス2のムーファンループの核的導来部分ループ $L^*$ は，指数が6を割り切るという，重要な構造的制約を持つ．
• $p > 3$ のとき，クラス2ムーファンループの $p$ 乗部分ループ $L_p$ は結合的であり，強い冪零構造を示している．
• すべての符号化されたベクトル空間（CVS）は，小さなフラティーニ・ムーファンループ（SFML）から生じる．これにより，双対対応関係が確立される．
• 2つのSFMLが中心的部分群 $Z$ を保存する同型であるための必要十分条件は，それらの関連するCVSがスカラー倍の意味で同型であることである．
• すべてのSFMLはグリエスの意味での符号ループであり，SFML 3ループにおける同型は，CVSの同型類（スカラー倍を除く）によって完全に特徴付けられる．
• 中心的拡大を用いたCVSの拡大に基づき，すべての有限クラス2ムーファンループを構成するための構成的技法が提供されている．