[論文レビュー] On the uniqueness of loops M(G,2)

Petr Vojtěchovský|ArXiv.org|Jan 24, 2007

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

ひとこと要約

本稿は、G×C₂ 上の八つの群由来の演算を用いた乗法のすべての可能な形を特徴づけることにより、CheinのMoufangループ構成 M(G,2) の一意性を確立する。G が非アーベルであるとき、非結合的 Moufang ループを生成する割り当てはちょうど4つであり、それらはすべて M(G,2) と同型または反同型である。これにより、同型および反同型を除く同型類としての構成の一意性が確認される。

ABSTRACT

Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G imes C_2$ by assigning one of the above 8 multiplications to each quarter $(G imes\{i\}) imes(G imes\{j\})$, for $i$, $j\in C_2$. When $G$ is nonabelian then exactly four assignments yield Moufang loops that are not associative; all (anti)isomorphic, known as loops $M(G,2)$.

研究の動機と目的

• G×C₂ 上の八つの群由来の演算を用いた乗法のすべての可能な形を調査し、CheinのMoufangループ M(G,2) の構成がそれらの中で一意であるかどうかを検討すること。
• G×C₂ の乗法表の各四分の一に八つの乗法的演算のいずれかを割り当てることで生じる可能性のあるすべてのループ構造を特徴づけること。
• このような構造が Moufang ループである条件、特に非結合的である条件を特定すること。
• 非アーベル群 G に対して、非結合的 Moufang ループを生成する割り当てはちょうど4つであり、それらはすべて M(G,2) と同型または反同型であることを証明すること。
• 非アーベル G に対して、元の Chein の構成が同型および反同型を除いて唯一の構成であることを確立すること。

提案手法

• G×C₂ 上の乗法を、二面体群 D₈ に由来する置換の2×2行列として表現する。D₈ は σ と τ によって生成され、G×G に作用する。
• 置換を用いて八つの乗法的演算を定義する：(x,y) ↦ (x^i y^j)^k（i,j,k ∈ {−1,1}）。これは D₈ の要素に対応する。
• 行列表記 M = (α β; γ δ) を用いて、完全な乗法表を表現する。ここで α,β,γ,δ は D₈ の元である。
• ループの公理を適用し、構造がループであるための必要条件を導出し、各行列成分に対して許容される特定の集合を得る。
• Moufang恒等式と柔軟性を適用して非 Moufang のケースを除外し、候補の数を削減する。
• τ および τ³ を用いた共役による同型変換 T を定義し、特定のループが同型であることを示し、同型でないケースの数を削減する。

実験結果

リサーチクエスチョン

• RQ1 G×C₂ 上で、G から導かれる八つの乗法的演算を用いて構成できる Moufang ループは、同型でないものも含めて複数存在するか？
• RQ2 行列成分 α,β,γ,δ にどのような条件が満たされると、G×C₂ 上の構造がループとなるか？
• RQ3 これらのループ構造のうち、どれが Moufang であり、どれが非結合的か？
• RQ4 非アーベル群 G に対して、このような構成から得られる非結合的 Moufang ループは、同型および反同型を除いて何通り存在するか？
• RQ5 非アーベル G に対して、Chein の元の構成 M(G,2) は同型を除いて唯一の構成であるか？

主な発見

• 非アーベル有限群 G で |G|>1 かつ位数2の初等アーベル群でないものに対して、八つの乗法的演算の割り当てはちょうど4通りであり、それらは非結合的 Moufang ループを生成する。
• このようなすべての非結合的 Moufang ループは、元の Chein ループ M(G,2) と同型または反同型である。
• 四つの非結合的 Moufang ループは、行列 M_c = (ι σ; στ³ τ)、M_σ = (ι στ; σ τ³) およびそれらの逆行列から生じる。
• 残りの四つの割り当ては、いずれも結合的ループ（群）であるか、ループの公理を満たさない。
• M(G,2) の同型類は、このような方法で構成された非結合的 Moufang ループの中で唯一である。これにより、構成の一意性が確認される。
• 本稿は、非アーベル G に対して、元の Chein の構成が同型および反同型を除いて唯一の構成であることを確立している。