[論文レビュー] Extending Structures I: Unifying Crossed and Bicrossed Products

A. L. Agore, G. Militaru|arXiv (Cornell University)|Nov 7, 2010

Finite Group Theory Research参考文献 8被引用数 3

ひとこと要約

本稿では、クロス積および双クロス積の特殊ケースを含む一般化された構成である統一積 $ H \times S $ を導入し、部分群 $ H $ を含む集合 $ E $ 上の群構造を完全に分類する。主な結果として、$ H $ を安定化する同型型の下でのすべての群構造を分類するコhomologicalな分類集合 $ \tilde{K}^2_\times(H, (S,1_S)) $ が得られ、シュライヤー型の定理と、$ H $ を指数2の部分群として含む群の明示的分類が与えられる。

ABSTRACT

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A general product, which we call the unified product, is constructed such that both the crossed product and the bicrossed product of two groups are special cases of it. It is associated to $H$ and to a system $\bigl((S, 1_S,\ast), riangleleft, \, riangleright, \, f \bigl)$ called a group extending structure and we denote it by $H \ltimes S$. There exists a group structure on $E$ containing $H$ as a subgroup if and only if there exists an isomorphism of groups $(E, \cdot) \cong H \ltimes S$, for some group extending structure $\bigl((S, 1_S,\ast), riangleleft, \, riangleright, \, f \bigl)$. All such group structures on $E$ are classified up to an isomorphism of groups that stabilizes $H$ by a cohomological type set ${\mathcal K}^{2}_{\ltimes} (H, (S, 1_S))$. A Schreier type theorem is proved and an explicit example is given: it classifies up to an isomorphism that stabilizes $H$ all groups that contain $H$ as a subgroup of index 2.

研究の動機と目的

• クロス積および双クロス積の構成を1つの一般群積に統一すること。
• 固定された部分群 $ H $ を含む集合 $ E $ 上のすべての群構造を、$ H $ を安定化する同型型の下で分類すること。
• 新しい不変量 $ \tilde{K}^2_\rtimes(H, (S,1_S)) $ を用いて群拡張を分類するコhomologicalな枠組みを提供すること。
• $ H $ を指定された部分群として持つ群拡張についてシュライヤー型の定理を確立すること。
• $ H $ を指数2の部分群として含むすべての群の明示的分類を与えること。

提案手法

• 群 $ (S, \bullet) $、2つの作用 $ \trileft, \triangleright $、および結合条件を満たすコサイクル $ f $ からなる、群拡張構造 $ \bigl((S, 1_S,\bullet), \trileft, \triangleright, f \bigl) $ を導入する。
• 作用とコサイクルを組み合わせた特定の乗法則によって、デカルト積 $ H \times S $ 上に群演算としての統一積 $ H \rtimes S $ を構成する。
• $ H $ を部分群として含む $ E $ 上の任意の群構造が、ある群拡張構造に対して $ H \rtimes S $ として得られることを証明する。
• 同型型の下でのこのような群構造の同型類をパrameter化するコhomological不変量として、分類集合 $ \tilde{K}^2_\rtimes(H, (S,1_S)) $ を定義する。
• $ |E:H| = 2 $ の場合に、理論を応用して $ H $ を指数2で含む群を分類し、このような群が $ \tilde{K}^2_\rtimes(H, (S,1_S)) $ と一対一対応することを示す。
• すべての拡張が適合する群拡張構造から生じることを示すことによって、シュライヤー型の定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 クロス積および双クロス積の構成を1つの群積に統一するにはどうすればよいか？
• RQ2 $ H $ を部分群として含む集合 $ E $ が、$ H $ を拡張する群構造を持つための必要十分条件は何か？
• RQ3 $ H $ を部分群として含む $ E $ 上のすべての群構造を、$ H $ を安定化する同型型の下で完全に分類するにはどうすればよいか？
• RQ4 このような群構造をパrameter化するコhomological不変量を構成できるか？
• RQ5 $ H $ を指数2の部分群として含む群の明示的分類は何か？

主な発見

• 統一積 $ H \rtimes S $ は、クロス積および双クロス積を一般化し、群拡張のための統一的な枠組みを提供する。
• $ H $ を部分群として含む $ E $ 上の群構造が存在するための必要十分条件は、ある群拡張構造に対して $ (E, \bullet) \to H \rtimes S $ が同型であることである。
• $ H $ を安定化する同型型の下で、$ E $ 上のすべての群構造はコhomologicalな集合 $ \tilde{K}^2_\rtimes(H, (S,1_S)) $ によって分類される。
• シュライヤー型の定理が確立され、すべてのこのような拡張が適合する群拡張構造から生じることを示している。
• $ |E:H| = 2 $ の場合、本稿では $ \tilde{K}^2_\rtimes(H, (S,1_S)) $ を用いてすべてのこのような群を明示的に分類し、完全で計算可能な不変量を提供している。
• この構成が普遍的であることが示されている：$ H $ を部分群として含むすべての群拡張は、ある群拡張構造に対する統一積 $ H \rtimes S $ として得られる。