[論文レビュー] Holomorph of generalized Bol loops

John Olushola Adéníran, Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéọlá+1 more|arXiv (Cornell University)|Jan 17, 2015

Mathematics and Applications被引用数 5

ひとこと要約

この論文では、自己写像を用いて、ループが一般化ボルループ（または一般化フレキシブルボルループ）であるための必要十分条件として、そのホロモーフが一般化ボルループ（または一般化フレキシブルボルループ）であることであることを確立している。また、ブルキント・シュナイダー群を擬自己同型を用いて特徴づけ、これらの要素から導かれる自己同型を用いてホロモーフを構成し、一般化ループクラスへの構造理論を拡張している。

ABSTRACT

The notion of the holomorph of a generalized Bol loop and generalized flexible-Bol loop are characterized. With the aid of two self-mappings on the holomorph of a loop, it is shown that: the loop is a generalized Bol loop if and only if its holomorph is a generalized Bol loop; the loop is a generalized flexible-Bol loop if and only if its holomorph is a generalized flexible-Bol loop. Furthermore, elements of the Bryant Schneider group of a generalized Bol loop are characterized in terms of pseudo-automorphism, and the automorphisms gotten are used to build the holomorph of the generalized Bol loop.

研究の動機と目的

• 一般化ボルループのホロモーフを特徴づけ、フレキシブルボルループへその構造理論を一般化すること。
• ホロモーフが一般化ボルループまたはフレキシブルボルループの性質を保つための必要十分条件を確立すること。
• 一般化ボルループのブルキント・シュナイダー群の要素を擬自己同型を用いて特徴づけること。
• ブルキント・シュナイダー群から導かれる自己同型を用いて、一般化ボルループのホロモーフを構成すること。
• ツイン写像とホロモーフ上の自己写像を用いて、ループホロモーフの理論を一般化ループの種類へ拡張すること。

提案手法

• 自己写像 σ を用いて、自己同型群とループの半直積としてホロモーフを定義する。
• 閉包性とループ性質の保存を解析するため、ホロモーフ上への自己写像を導入する。
• ブルキント・シュナイダー群における自己同型と擬自己同型の関係を、ツイン写像（T1, T2, T3）の概念を用いて定式化する。
• 自己同型的変換理論と恒等式 (xy·z)σ(y) = x(yz·σ(y)) を用いて、一般化ボルループを定義する。
• T3 ≤ AUM(Q,·) から得られる自己同型を用いて T3-ホロモーフを構成し、H = T3 × Q 上に σ′ を定義する。
• 特定の自己写像条件の下で、ホロモーフが一般化ボルループまたはフレキシブルボルループの性質を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化ボルループのホロモーフが自身一般化ボルループであるための条件は何か？
• RQ2 一般化フレキシブルボルループのホロモーフが一般化フレキシブルボルループのままであるのはどのようなときか？
• RQ3 一般化ボルループのブルキント・シュナイダー群の要素は、擬自己同型を用いてどのように特徴づけられるか？
• RQ4 一般化ボルループのホロモーフは、ブルキント・シュナイダー群から導かれる自己同型を用いて明示的に構成可能か？
• RQ5 ツイン写像（T1, T2, T3）は、ホロモーフ構成におけるループ恒等式の保存にどのような役割を果たすか？

主な発見

• 与えられた自己写像条件の下で、ループが一般化ボルループであるための必要十分条件は、そのホロモーフが一般化ボルループであることである。
• ループが一般化フレキシブルボルループであるための必要十分条件は、T3-ホロモーフ構成によって確立された、そのホロモーフが一般化フレキシブルボルループであることである。
• 一般化ボルループのブルキント・シュナイダー群の要素は、特定の自己同型写像の下でループ恒等式を保つ擬自己同型として特徴づけられる。
• σ(x) = (xg⁻¹)⁻¹ であるとき、ループ (Q,·) の T3-ホロモーフは、(Q,·) が α⁻¹σγ⁻¹-一般化ボルループであるならば、σ′-一般化ボルループである。
• T3 ≤ AUM(Q,·) を用いて構成されたホロモーフ (H,∘) は、σ′ を (α, [αγ(x)(α(g))⁻¹])⁻¹ と定義することで、一般化フレキシブルボルループの性質を保つ。
• ホロモーフの構成はツイン写像と自己同型的変換の存在に依存しており、ホロモーフにおける閉包性と群構造を保証する。