[論文レビュー] About the embedding of Moufang loops in alternative algebras

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

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

ひとこと要約

この論文は、任意の自由Moufangループが、体$ F $上のループ代数$ FM $とその特定のイデアル$ I(M) $の商代数$ FM/I(M) $の可逆元のループに埋め込まれることを証明している。主な結果は、ループが自由であるという条件下で、すべてのMoufangループが代数的可換代数の可逆元のループに埋め込めるかどうかという問いに肯定的である。

ABSTRACT

It is proved that any free Moufang loop can be embedded in a loop of invertible elements of some alternative algebra.

研究の動機と目的

• すべてのMoufangループが、ある代数的可換代数の可逆元のループに埋め込めるかどうかを調査すること。
• Moufangループが代数的可換代数の観点から表現可能かどうかという長年の未解決問題を解決すること。
• ループ代数とイデアルを用いた構成的埋め込み法を確立すること。
• ループ代数とMoufangループの多様体との関係を明確にすること。
• 一般のMoufangループが代数的可換代数の可逆元のループに埋め込める問題に対して部分的な解決を提供すること。

提案手法

• 自由Moufangループ$ M $に対して、体$ F $上のループ代数$ FM $を構成し、その基底要素をループの要素に対応させる。
• 自由生成子の非自明な語$ u $に対して、$ 1 - u $を生成する$ FM $内のイデアル$ I(M) $を定義する。ここで、$ \circ $は円記号による合成を表す。
• 商代数$ FM/I(M) $を形成し、これが代数的可換であることが示される。
• 自然な準同型$ \varphi: FM \to FM/I(M) $を用いて、ループ$ M $をその像$ \overline{M} $に写像し、$ \overline{M} $はループ構造を引き継ぐ。
• 正規形における語の長さと内容を用いた背理法により、像$ \overline{M} $が元のループ$ M $に同型であることを証明する。
• IP-ループの性質と増分イデアルの構造を活用して、埋め込みの単射性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の自由Moufangループは、ある代数的可換代数の可逆元のループに埋め込めるか？
• RQ2 代数的可換代数の可逆元のループの多様体は、すべてのMoufangループの多様体の真の部分多様体であるか？
• RQ3 ループ代数$ FM $を適切なイデアル$ I(M) $で割った商が、元の自由Moufangループの埋め込みを含む代数的可換代数をもたらすか？
• RQ4 イデアルの商を用いたループ代数の構成により、埋め込みを明示的に構成できるか？
• RQ5 増分イデアルおよびその商が、準同型の下でループ構造をどのように保っているか？

主な発見

• 任意の自由Moufangループ$ M $は、$ I(M) $が自由生成子の非自明な語$ u $に対して$ 1 - u $を生成するイデアルである代数的可換代数$ FM/I(M) $の可逆元のループに埋め込める。
• 商代数$ FM/I(M) $は代数的可換であるため、可逆元がMoufangループをなすことが保証される。
• 自然な準同型$ \varphi: FM \to FM/I(M) $により、元の自由Moufangループ$ M $とその像$ \overline{M} $との間に同型が誘導され、埋め込みの単射性が証明される。
• イデアル$ I(M) $は準同型$ \varphi $の核に正確に一致し、$ \omega M/I(M) \cong \omega(M/H) $が成り立ち、増分イデアルの構造が保たれる。
• この結果は自由Moufangループに限らず、$ \Omega $-語代数を用いた拡張により相対的自由Moufangループに対しても成り立つ。
• この構成により、[16]で提唱された「すべてのMoufangループがこのような可逆ループに埋め込める」という主張に対して否定的反例が示され、一部のMoufangループ（例えば[15]に示されるもの）は埋め込めないが、自由なものは埋め込めることが示された。