[論文レビュー] The class $\mathcal{MN}$ of groups in which all maximal subgroups are normal

Aglaia Myropolska|arXiv (Cornell University)|Sep 27, 2015

Finite Group Theory Research参考文献 16被引用数 4

ひとこと要約

この論文は、すべての極大部分群が正規である群のクラス $Σ\mathcal{MN}$ を調査し、同値な特徴づけを確立し、有限生成群が強い構造的制約を満たすことを証明している—例えば、冪零な有限商をもち、一般化されたアンドリュース＝カーティス予想を満たす。主な貢献は、Frattini部分群と交換子部分群を用いた $Σ\mathcal{MN}$ 群の完全な特徴づけであり、このような群は有限指数の自由部分群を含まず、有限直積に関して閉じていることを示している。

ABSTRACT

We investigate the class $\mathcal{MN}$ of groups with the property that all maximal subgroups are normal. The class $\mathcal{MN}$ appeared in the framework of the study of potential counter-examples to the Andrews-Curtis conjecture. In this note we give various structural properties of groups in $\mathcal{MN}$ and present examples of groups in $\mathcal{MN}$ and not in $\mathcal{MN}$.

研究の動機と目的

• すべての極大部分群が正規である群のクラス $Σ\mathcal{MN}$ を特徴づけること。
• 特に有限生成群の場合に、$Σ\mathcal{MN}$ に属することの構造的意味を調査すること。
• $Σ\mathcal{MN}$ と一般化されたアンドリュース＝カーティス予想との関係を明確にすること。
• 古典的および特異な構成を含む、$Σ\mathcal{MN}$ に属する群と属しない群の例を提示すること。
• 有限生成の場合に、$Σ\mathcal{MN}$ が部分群をとる操作に関して閉じているかどうかを特定すること。

提案手法

• すべての極大部分群が正規である、すべての商が $Σ\mathcal{MN}$ に属する、すべての有限商が冪零である、$[G,G] \leq \Phi(G)$ の4条件の同値性を確立すること。
• Frattini部分群の性質と非生成元の概念を用いて、生成集合および正規生成の分析を行うこと。
• 群論の結果、特に有限生成群における極大部分群の存在を保証するゾーンの補題を適用すること。
• オルシャンスキーの極大部分群を持たない単純群のような特定の群の構成を分析し、$F_2$ を含む $Σ\mathcal{MN}$ 群の存在を示すこと。
• 商群の分析と提示を用いて、特定の群（例えばバシリカ群）が $Σ\mathcal{MN}$ に属さないことを示すこと。
• 線形群やブランチ群に関する既知の結果を活用し、$Σ\mathcal{MN}$ に属する群に対する帰結を導出すること。

実験結果

リサーチクエスチョン

• RQ1 群がクラス $Σ\mathcal{MN}$ に属するための必要十分条件は何か？
• RQ2 すべての極大部分群が正規であるという性質が、有限生成群の構造にどのような制約をもたらすか？
• RQ3 自由群やブランチ群などのよく知られた群のうち、$Σ\mathcal{MN}$ に属するものと属さないものはそれぞれどれか？
• RQ4 $Σ\mathcal{MN}$ と一般化されたアンドリュース＝カーティス予想との関係は何か？
• RQ5 有限生成群の場合に、クラス $Σ\mathcal{MN}$ は部分群をとる操作に関して閉じているか？

主な発見

• 群 $G$ が $Σ\mathcal{MN}$ に属するための必要十分条件は、$[G,G] \leq \Phi(G)$ であることであり、これは純粋に部分群論的基準を提供する。
• 有限生成群が $Σ\mathcal{MN}$ に属する場合、そのすべての有限商は冪零である。これは、クラスが有限像における冪零性と関連していることを示している。
• 有限生成な線形群が $Σ\mathcal{MN}$ に属するならば、その群は冪零でなければならない。これは線形な設定において強い制約を示している。
• クラス $Σ\mathcal{MN}$ は有限直積に関して閉じている：$G$ と $H$ が有限生成で $Σ\mathcal{MN}$ に属するならば、$G \times H$ も $Σ\mathcal{MN}$ に属する。
• バシリカ群は弱いブランチ群であるが、$Σ\mathcal{MN}$ に属さない。なぜなら、ある正規部分群による商が無限大の二面体群 $D_\infty$ に同型であり、$D_\infty$ は $Σ\mathcal{MN}$ に属さないからである。
• 可算で単純かつ非有限生成であるが $Σ\mathcal{MN}$ に属する群が存在し、その中には自由群 $F_2$ を部分群として含むものがある。これは、$Σ\mathcal{MN}$ が部分群をとる操作に関して閉じていないことを示している。