[論文レビュー] The classification on simple Moufang loops

N. I. Sandu|ArXiv.org|Apr 13, 2008

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

ひとこと要約

この論文は、代数的補完とループ理論の手法を用いて、非可換的単純ムーファンループを分類する。同型を除いて、唯一のこのようなループは、代数的に閉じた体の部分体 $ F $ 上の行列ケイリー＝ディクソン代数におけるノルム1の元の集合 $ M_0(F) $ の $ \langle -1 \rangle $ による商ループ $ M_0(F)/\langle -1 \rangle $ であることを証明する。

ABSTRACT

Let $C(F)$ be a matrix Cayley-Dickson algebra over field $F$. By $M_0(F)$ we denote the loop containing of all elements of algebra $C(F)$ with norm 1. It is shown in this paper that with precision till isomorphism the loops $M_0(F)/$ they and only they are simple non-associative Moufang loops, where $F$ are subfields of algebraic closed field

研究の動機と目的

• 有限群論に依存せず、代数的手法を用いて、すべての非可換的単純ムーファンループを分類すること。
• このようなループの唯一の可能性が、行列ケイリー＝ディクソン代数におけるノルム1の元の中心 $\langle -1 \rangle$ による商であることを確立すること。
• 体 $ F $ 上で $ M_0(F) $ 内に、タイプ $\overline{\overline{Q}}$ の真の非可換的部分ループが存在しないことを証明し、分類の一意性を保証すること。
• ペイジの以前のループの単純性に関する結果を、代数的に閉じた体の任意の部分体上での完全な分類へと拡張すること。

提案手法

• 自由ムーファンループ $ L $ から構成されるループ代数 $ F\overline{Q} $ を用い、$ H $ を正規部分ループとして、$ 1 - h $（$ h \in H $）で生成される理想 $ \omega H $ による商をとる。
• 補題1を適用して、ループ代数内の理想が、単位元群 $ U(FL/I) $ 内の正規部分ループを誘導することを示し、代数的理想とループ論的正規部分ループを結びつける。
• ゾルンの補題を用いて、ループ代数 $ F\overline{Q} $ 内に極大理想を構成し、真の理想の和が依然として真であることを証明する。
• $ \overline{\overline{Q}} $ を、体 $ F $ の代数的閉包 $ P $ における $ M_0(P) $ の部分ループとして特定し、$ P $ 上のスプリットケイリー＝ディクソン代数に埋め込む。
• 行列ケイリー＝ディクソン代数 $ C(F) $ の構造を用いて $ M_0(F) $ をノルム1の元として定義し、$ M_0(F)/\langle -1 \rangle $ が単純かつ非可換的であることを示す。
• 同じ体 $ F $ 上の合成代数の同型を適用し、任意のこのようなループ $ \overline{\overline{Q}} $ が $ M_0(F) $ に同型であることを証明する。したがって $ Q \cong M(F) $ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体の部分体 $ F $ に対して、同型を除いてすべての非可換的単純ムーファンループは何か？
• RQ2 このようなループの分類は、有限群論に依存せず、代数的補完の技法のみで達成可能か？
• RQ3 体 $ F $ に対して、$ M_0(F)/\langle -1 \rangle $ が代数的に閉じた体の部分体上での唯一の非可換的単純ムーファンループであるか？
• RQ4 $ M_0(F) $ は、同じ体 $ F $ 上で真の非可換的部分ループを含むか？ もし含むならば、それらの性質は何か？
• RQ5 ループ代数 $ F\overline{Q} $ 及びその理想は、$ \overline{\overline{Q}} $ の正規部分ループとどのように関係するか？ そして、これにより単純性にどのような含意が生じるか？

主な発見

• すべての非可換的単純ムーファンループは、代数的に閉じた体の部分体 $ F $ に対して、$ M_0(F)/\langle -1 \rangle $ に同型である。
• ループ $ M_0(F)/\langle -1 \rangle $ は単純かつ非可換的であり、その中心は正確に $ \langle -1 \rangle $ に一致する。$ \text{char}(F) \neq 2 $ のとき、この中心の位数は2である。
• $ M_0(F) $ に、同じ体 $ F $ 上でタイプ $ \overline{\overline{Q}} $ の真の非可換的部分ループは存在しない。つまり、$ M_0(F) $ は $ \overline{\overline{Q}} $ と同じ型の真の部分ループを含まない。
• $ \overline{\overline{Q}} $ は自由ムーファンループの商として構成され、体 $ F $ の代数的閉包 $ P $ における $ M_0(P) $ に埋め込まれ、$ M_0(F) $ に同型である。
• 分類結果により、すべての有限非可換的単純ムーファンループは $ M(GF(q)) $ に同型であることが示され、代替代数の手法によりリーブェックの分類が再現される。
• 理想 $ \omega H $ を持つループ代数の構成 $ F\overline{Q} $ により、任意の $ \overline{\overline{Q}} $ から $ Q $ への準同型は、$ M_0(F)/\langle -1 \rangle $ を通って因数分解可能であることが保証され、同型類の一意性が証明される。