[論文レビュー] Embedding Properties in Central Products

Dandrielle Lewis, Almousa, Ayah+1 more|arXiv (Cornell University)|Aug 1, 2014

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

ひとこと要約

この論文は、交換子論および群の上への準同型を活用して、有限群の中心的積における正規、部分正規、異常部分群を特徴づけている。これらの埋め込み性質について同値な条件を確立し、特に、少なくとも一方の因子が可解であるという仮定の下で、部分群が中心的積において異常にであるための必要十分条件を示している。それは、定義する上への準同型に関するその逆像が、直積において異常にであることに等しい。

ABSTRACT

In this article, we study group theoretical embedding properties of subgroups in central products of finite groups. Specifically, we give characterizations of normal, subnormal, and abnormal subgroups of a central product of two groups.

研究の動機と目的

• 直接積から中心的積への正規、部分正規、異常部分群の埋め込み性質に関する既存の特徴づけを拡張すること。
• 特に非直接積構成における中心的積の部分群構造に関して、文献における空白を埋めること。
• 上への準同型に関する逆像解析を用いて、中心的積におけるこれらの部分群タイプを識別する構成的基準を提供すること。
• 非可解中心的積における準正規部分群および異常部分群に関する今後の研究の基盤を築くこと。

提案手法

• 中心的積を内部的および外部的に定義し、D = U₁ × U₂ および ker ε が埋め込まれた中心を特定する上への準同型 ε: D → G を用いる。
• 交換子群 [A, B] を用いて中心的積における正規性を特徴づけ、H ◁ G ならば [H, G] ≤ H が成り立つことを示す。
• 上への準同型 ε を通じてラティス同型定理を適用し、G の部分群と D = U₁ × U₂ の部分群の関係を関係づける。
• U₁ または U₂ の少なくとも一方が可解であるという条件下で、H が G において異常であるための必要十分条件として、ε⁻¹(H) が D において異常であること、すなわち H が G において異常である iff ε⁻¹(H) が D において異常であることを証明する。
• 結果を G の部分群 H = V₁V₂ に一般化し、H が G において異常であるための必要十分条件として、各 Vᵢ が Uᵢ において異常であることおよび ε⁻¹(H) = V₁ × V₂ であること、すなわち H が G において異常である iff 各 Vᵢ が Uᵢ において異常であることかつ ε⁻¹(H) = V₁ × V₂ であることを示す。
• 標準的な群論的道具を用いる：交換子恒等式、正規化子条件、部分群対応定理。

実験結果

リサーチクエスチョン

• RQ1 有限群の二つの中心的積において、部分群が正規であるための必要十分条件は何か？
• RQ2 導出系列および部分群の鎖を用いて、中心的積における部分正規部分群をどのように特徴づけられるか？
• RQ3 Vᵢ ≤ Uᵢ であるとき、H = V₁V₂ が中心的積 G = U₁U₂ において異常であるための条件は何か？
• RQ4 中心的積における部分群の異常性は、定義する上への準同型に関するその逆像の異常性とどのように関係するか？
• RQ5 両因子が非可解である場合に、中心的積における異常部分群の特徴づけを拡張することは可能か？

主な発見

• 中心的積 G = U₁U₂ の部分群 H が正規であるための必要十分条件は、[H, G] ≤ H が成り立つことである。
• G の部分群 H が部分正規であるための必要十分条件は、ε に関するその逆像が D = U₁ × U₂ において部分正規であることである。
• U₁ または U₂ の少なくとも一方が可解であるという条件下で、H が G において異常であるための必要十分条件は、ε⁻¹(H) が D において異常であることである。
• Vᵢ ≤ Uᵢ かつ ε⁻¹(H) = V₁ × V₂ である H = V₁V₂ に対して、H が G において異常であるための必要十分条件は、各 Vᵢ が Uᵢ において異常であることである。
• 中心的積における異常部分群の特徴づけは、GAP や Sage のような計算代数システムでアルゴリズム的に実装可能である。
• 既知の直接積への特徴づけを中心的積へ一般化し、Goursat の仕事から得られる道具をより複雑な群構成へ拡張した。