[論文レビュー] New Identities In Universal Osborn Loops

Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá, J. O. Adéníran|ArXiv.org|May 13, 2009

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

ひとこと要約

この論文は、普遍的、左普遍的、右普遍的オスボーンループを特徴付ける2つの新しい恒等式を確立することで、ループ理論における重要な未解決問題を解決する。一般化逆元、べき結合性、双結合性といった古典的ループ性質の弱形式を導入し、CCループおよび共役閉ループにおけるべき結合性の必要十分条件を証明する。これにより、ムーファンループやVDループも含む普遍的オスボーンループの代数的構造が著しく進展する。

ABSTRACT

A question associated with the 2005 open problem of Michael Kinyon (Is every Osborn loop universal?), is answered. Two nice identities that characterize universal (left and right universal) Osborn loops are established. Numerous new identities are established for universal (left and right universal) Osborn loops like CC-loops, VD-loops and universal weak inverse property loops. Particularly, Moufang loops are discovered to obey the new identity $[y(x^{-1}u)\cdot u^{-1}](xu)=[y(xu)\cdot u^{-1}](x^{-1}u)$ surprisingly. For the first time, new loop properties that are weaker forms of well known loop properties like inverse property, power associativity and diassociativity are introduced and studied in universal (left and right universal) Osborn loops. Some of them are found to be necessary and sufficient conditions for a universal Osborn to be 3 power associative. For instance, four of them are found to be new necessary and sufficient conditions for a CC-loop to be power associative. A conjugacy closed loop is shown to be diassociative if and only if it is power associative and has a weak form of diassociativity.

研究の動機と目的

• すべてのオスボーンループが普遍的であるかどうかを特定するマイケル・キニオンの2005年未解決問題を解決すること。
• 普遍的、左普遍的、右普遍的オスボーンループを特徴付ける新しい恒等式を特定し、確立すること。
• 普遍的オスボーンループ内での古典的ループ性質（例えば逆元性、べき結合性、双結合性）の弱い形を導入し、それらを研究すること。
• 普遍的オスボーンループがべき結合的であるための必要十分条件を特定すること、特にCCループおよび共役閉ループにおいて。
• ムーファン、CC、VDループの代数的理解を深めるために、それらが満たす新しい恒等式を発見すること。

提案手法

• オスボーン恒等式およびその変種、特に OSI₀₁、OSI₀₁.₈ およびそれらの右・左対応形を用いた新しいループ恒等式の導出と検証。
• 主な同型理論および自己同型群を用いて、ループの種類における同型不変性と普遍性を分析すること。
• 逆元、左/右移動、ループ演算を含む代数的変形と記号的恒等式を用いて、新しい恒等式を導出すること。
• Kinyon, Kunen, Drapal, Phillips によるCCループおよびPACCループに関する既知の結果を活用し、新しい恒等式を精緻化・拡張すること。
• RSIP（右S-恒等式性）およびSFAIPL/SWIPL条件を用いて、ループ性質の同値性を導出すること。
• 一対一写像の対称群（SYM(G,·)）および自己同型群（AUT(G,·)）を用いて、同型下での構造的不変性を分析すること。

実験結果

リサーチクエスチョン

• RQ1 普遍的、左普遍的、右普遍的オスボーンループを完全に特徴付ける新しい恒等式は存在するか？
• RQ2 普遍的オスボーンループ内で定義され、研究可能な古典的ループ性質（例えば逆元性、べき結合性）の弱い形は何か？
• RQ3 共役閉ループが双結合的であるための条件は何か？また、これはべき結合性とどのように関係するか？
• RQ4 ムーファンループが満たすが、これまでに知られていなかった新しい恒等式は何か？それらはオスボーンループ恒等式とどのように関係するか？
• RQ5 CCループおよび普遍的オスボーンループにおいて、べき結合性のための新しい必要十分条件を確立できるか？

主な発見

• OSI₀₁ およびその変種である2つの新しい恒等式が、普遍的、左普遍的、右普遍的オスボーンループ（ムーファン、CC、VDループを含む）を特徴付ける。
• ムーファンループは、$[y(x^{-1}u)· u^{-1}](xu)=[y(xu)· u^{-1}](x^{-1}u)$ という新しい恒等式を満たしており、驚きであり、これまでに未知であった。
• 4つの新しい弱いループ性質が導入され、CCループがべき結合的であるための必要十分条件として示された。
• 共役閉ループが双結合的であることは、それがべき結合的であり、かつ双結合性の弱い形を満たすことと同値である。
• 右普遍的オスボーンループにおいて、恒等式 $u\cdot u[u\backslash u^{\rho}\cdot u^{\rho}]=u^{\rho}$ はSFAIPLを特徴づけ、RSIPのもとで $|J_{\rho}|=6$ が成り立つ。
• 恒等式 $u^\rho u = uu^\lambda$ は $u\cdot u^\lambda u^\rho = u^\rho$ と同値であり、右普遍的オスボーンループにおける新しい構造的同値性を確立した。