[論文レビュー] Loops of Bol-Moufang type with a subgroup of index two

Michael Kinyon, J. D. Phillips+1 more|ArXiv.org|Jun 5, 2005

Mathematics and Applications参考文献 5被引用数 14

ひとこと要約

この論文は、Moufang 群の Chein の構成を一般化するボル＝ムウフン型のループのすべての構成を分類し、群 G とその中心に属する元 g₀ を持つ対合 * を用いる。各ボル＝ムウフン型のクラスにおいて、ループを生成する乗法規則の有効な組み合わせ（dihedral に類似た群 Θ₀ の要素によってパrameter化される）を同定し、RC-ループ、右核平方ループ、その他のクラスを含め、各クラスについて一意性と完全性を証明する。各ケースについて、G と * に対する明示的な条件を提示する。

ABSTRACT

We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops.

研究の動機と目的

• Moufang ループの Chein の構成（群 G とその対合 *、中心の元 g₀ を用いる）を、ボル＝ムウフン型のすべてのループ種別へ拡張すること。
• G が指数 2 の部分群をもつとき、各ボル＝ムウフン型の種別においてループを生成する乗法規則（Θ₀ によってパラメータ化される）のすべての可能な組み合わせを特定すること。
• 得られる構成が各ループ種別について完全かつ一意であることを証明し、Moufang ループおよびボル ループに対する既知の結果を一般化すること。
• ボル＝ムウフン型ループの全 14 種類のループ種別において、有効な構成を同定するための体系的かつ計算可能なフレームワークを提供すること。
• 既知の構成（例：RC-ループや RIF ループ）を回復・検証し、記号的計算を用いて新たな構成を同定すること。

提案手法

• 群 G、対合的反自己同型 *、および Z(G) に属する g₀ を用いて、G ∪ Gu 上の準群 Q(G, *, g₀, α, β, γ, δ) を定義する。
• G×G に作用する二面体群 Θ と移動 θg₀ によって生成される群 Θ₀ を用い、乗法規則を α, β, γ, δ ∈ Θ₀ によってパラメータ化する。
• すべての Q(G, *, g₀, α, β, γ, δ) が準群であることを確立し、それらがいつループとなるかの条件を同定する。
• 記号的代数を用いた計算的探索により、ボル＝ムウフン型の全 14 種類のループ種別において結合性およびループの恒等式をテストする。
• 冗長または同値な構成を削除するための還元技術を用い、常に正規形に限定して検討する。
• すべての有効な構成が、G, *, g₀ に関する特定の代数的条件が満たされる場合に限りループを生成することを検証する。特に、一部のケースでは G/Z(G) が初等アーベル 2-群でなければならない。

実験結果

リサーチクエスチョン

• RQ1 Θ₀ に属するパラメータ α, β, γ, δ のどの組み合わせが、各ボル＝ムウフン型のループ種別においてループを生成するか？
• RQ2 Moufang ループの Chein の構成は、類似の構成の中で唯一のものであり、この一意性は他のループ種別へ一般化可能か？
• RQ3 各ボル＝ムウフン型ループ種別において、構成された構造がループであるための必要十分条件は何か？ G, *, g₀ についての条件を特定すること。
• RQ4 ボル＝ムウフン型ループの異なる種別において、ループ恒等式の検証の計算複雑性はどのように変化するか？
• RQ5 アルゴリズム的フレームワークは、既知の構成（例：RC-ループや RIF ループ）を回復できるか？ また、新たな構成を同定できるか？

主な発見

• 構成 Q(G, *, g₀, α, β, γ, δ) がループであるのは、パラメータ α, β, γ, δ および群 G に対して特定の条件が満たされる場合に限る。全 14 種類のボル＝ムウフン型ループについて完全な分類が与えられている。
• Moufang ループの場合、この構成は一意的であり、Chein の元々の構成と同値である。このクラスについて完全性と一意性が確認された。
• RC-ループの場合、構成がループであるのは、(β, γ, δ) が 24 個の特定のタプルのいずれかに属するとき、または G/Z(G) が初等アーベル 2-群で、追加の制約を満たすときである。
• 右核平方ループの場合、構成がループであるのは、(β, γ, δ) が 24 個の特定のタプルのいずれかに属するとき、または G/Z(G) が初等アーベル 2-群で、対合に関する追加条件を満たすときである。
• アルゴリズムは、既知の構成（例：de Barros と Juriaans の RIF ループ構成）を正常に回復し、新たな構成を同定した。特に、RIF ループにおいては、恒等式 xyzxy = yxzyx を含む非自明な条件が同定された。
• すべての構成されたループは両側逆元をもつ。これは、G における逆元作用と反自己同型作用の可換性により証明された。