[論文レビュー] Deformations of a matched pair and Schreier type theorems for bicrossed product of groups

A. L. Agore, G. Militaru|arXiv (Cornell University)|Mar 29, 2009

Finite Group Theory Research参考文献 18被引用数 1

ひとこと要約

本稿では、群の一致対に対して組合せ的データ (σ, v, r) を用いた変形法を導入し、自己同型、置換、遷移写像を介して新たな双交叉積を構成することを可能にする。主な結果として、任意の σ-不変同型がこの変形によって一意に得られることを示し、群の双交叉積に関する2つのシュライヤー型分類定理を導出する。

ABSTRACT

Abstract. We prove that the bicrossed product of two groups is a quotient of the pushout of two semidirect products. A matched pair of groups (H, G, α, β) is deformed using a combinatorial datum (σ, v, r) consisting of an automorphism σ of H, a permutation v of the set G and a transition map r: G → H in order to obtain a new matched pair ` H,(G, ∗), α ′ , β ′ ´ such that there exist an σ-invariant isomorphism of groups H α⊲⊳β G ∼ = H α ′⊲⊳β ′ (G, ∗). Moreover, if we fix the group H and the automorphism σ ∈ Aut(H) then any σ-invariant isomorphism H α⊲⊳β G ∼ = H α ′ ⊲⊳β ′ G′ between two arbitrary bicrossed product of groups is obtained in a unique way by the above deformation method. As applications two Schreier type classification theorems for bicrossed product of groups are given.

研究の動機と目的

• 一致対の群に対する体系的な変形機構を構築し、新たな双交叉積を生成すること。
• 双交叉積の σ-不変同型と組合せ的変形の間の対応を確立すること。
• 変形データ (σ, v, r) を用いた双交叉積の分類枠組みを提供すること。
• シュライヤー型定理を双交叉積の群の文脈に一般化すること。
• 双交叉積が半直積の押し出しの商として得られることを示すこと。

提案手法

• H における自己同型 σ、G における置換 v、および写像 r: G → H からなる組合せ的データ (σ, v, r) を用いる。
• 変形データを用いて、元の (H, G, α, β) から新しい一致対 (H, (G, *), α', β') を構成する。
• 置換 v と遷移写像 r を用いて、元の群構造を変更する新しい G 上の群演算 * を定義する。
• 元の双交叉積 H ⋊α⊳β G と変形された双交叉積 H ⋊α'⊳β' (G, *) の間で σ-不変同型を確立する。
• 双交叉積が2つの半直積の押し出しの商と同型であることを示す。
• 変形構成を応用して、任意の双交叉積同士の同型を分類する定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 一致対の群をどのように体系的に変形して、新たな双交叉積を生成できるか？
• RQ2 双交叉積間のすべての σ-不変同型を分類するために十分な組合せ的データは何か？
• RQ3 双交叉積構造は、半直積の押し出しの商として実現可能か？
• RQ4 この変形法は、双交叉積間のすべての σ-不変同型をどの程度網羅するか？
• RQ5 シュライヤー型分類定理は、群の双交叉積の文脈にどのように拡張できるか？

主な発見

• 双交叉積 H ⋊α⊳β G は、2つの半直積の押し出しの商と同型である。
• 2つの双交叉積 H ⋊α⊳β G と H ⋊α'⊳β' G' 間の任意の σ-不変同型は、(σ, v, r) を用いた変形によって一意に得られる。
• 変形プロセスは、v と r を用いて元の集合 G 上に新しい群構造 (G, *) を構成し、σ-不変性の下で双交叉積の同型型を保存する。
• H と σ ∈ Aut(H) が固定されたとき、この変形法は双交叉積間の σ-不変同型を完全に分類する。
• 変形枠組みの直接的応用として、双交叉積に関する2つのシュライヤー型分類定理が導出される。
• この構成により、新しい一致対 (H, (G, *), α', β') が、σ-不変同型を介して元の双交叉積と同型であることが保証される。