[論文レビュー] The structure of extra loops

Michael Kinyon, Kenneth Kunen|ArXiv.org|Apr 14, 2004

Mathematics and Applications参考文献 12被引用数 39

ひとこと要約

本稿は、有限のエキストラループの基礎的構造的性質を確立し、Sylowの定理とP. Hallの定理がそれらに対して成り立つことを証明する。すべての有限非結合的エキストラループは非自明な中心を持つことが示され、|Q| < 512のときにはQ/Z(Q)は常に群である。主な貢献は、奇素数pに対して位数16pの非結合的エキストラループの分類であり、pに依存せず正確に16個存在することが示された。

ABSTRACT

The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| &lt; 512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$.

研究の動機と目的

• 有限エキストラループの構造を確立し、特にSylowの定理とHallの定理に焦点を当てる。
• 非結合的エキストラループの中心と核を調査し、非自明性と構造的制約を証明する。
• 自明な中心または非結合的商Q/Z(Q)をもつ無限および有限の非結合的エキストラループの例を構成する。
• 奇素数pに対して位数16pのすべての非結合的エキストラループを分類し、その数がpに依存しないことを示す。
• |Q| < 512のときにはQ/Z(Q)が群であるが、|Q| = 512では非結合的である例が存在することを示す。

提案手法

• Bを位数16の非結合的エキストラループとし、τ ∈ Hom(B, {1, -1})とする。このとき、半直積B ⋉_τ ℤ_pによるループ拡張を用いる。
• Sylowの定理と自己同型群のSylow部分ループへの作用を含む群論的技法を適用する。
• エキストラループではQ/Nがブール群であり、A(Q)（結合子部分群）が核の中心にあり、ブール群であるという事実を活用する。
• 結合子の置換不変性と要素との可換性を用いて、ループ構造を特徴付ける。
• B ⋉_τ ℤ_p ≅ B ⋉_σ ℤ_p が成り立つのは、τとσがBの自己同型に関して同値であるときであることを示し、ループ拡張の同型不変性を証明する。
• Moufangループの位数<64に関する先行研究（例えば、Goodaire, May, Raman）の分類結果を用い、p = 3のときの個数が16に固定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限エキストラループに対してSylowの定理は成り立つか？
• RQ2 有限可解エキストラループに対してP. Hallの定理は有効か？
• RQ3 すべての有限非結合的エキストラループは非自明な中心を持つのか？
• RQ4 Q/Z(Q)がいつ群となり、いつ非結合的になり得るのか？
• RQ5 奇素数pに対して位数16pの非結合的エキストラループはいくつ存在するか？

主な発見

• Sylowの定理は、ループ拡張の群論的解析により、有限エキストラループに対しても成り立つ。
• P. Hallの定理は、有限可解エキストラループに対しても成り立ち、古典的な群論的結果がループ論へ拡張された。
• すべての有限非結合的エキストラループは非自明な中心を持ち、|Z(Q) ∩ A(Q)| ≥ 2である。
• |Q| < 512のとき、Q/Z(Q)は常に群であるが、|Q| = 512では非結合的である例が存在する。
• 奇素数pに対して、位数16pの非結合的エキストラループは正確に16個存在し、pに依存しない。
• 自明な中心をもつ無限非結合的エキストラループと、位数512で非結合的商Q/Z(Q)をもつ非結合的エキストラループを明示的に構成した。