[论文解读] 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}$，建立了其等价刻画，并证明了该类中有限生成群具有强烈的结构约束——例如其有限商群是幂零的，且满足广义 Andrews-Curtis 猜想。主要贡献是通过 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}$ 与广义 Andrews-Curtis 猜想之间的关系。
• 提供 $Σ\mathcal{MN}$ 中与非 $Σ\mathcal{MN}$ 中群的例子，包括经典与奇特构造。
• 确定在有限生成情形下，$Σ\mathcal{MN}$ 是否对取子群封闭。

提出的方法

• 建立四个条件的等价性：所有极大子群正规、所有商群属于 $Σ\mathcal{MN}$、所有有限商群幂零，以及 $[G,G] \leq \Phi(G)$。
• 利用 Frattini 子群的性质及非生成元的概念，分析生成集与正规生成。
• 应用群论中的结果，包括在有限生成群中使用 Zorn 引理来处理极大子群。
• 分析特定群构造，如 Ol’shanski 的无极大子群的单群，以证明存在包含 $F_2$ 的 $Σ\mathcal{MN}$ 群。
• 通过商群分析与群表示，表明某些群（如 Basilica 群）不属于 $Σ\mathcal{MN}$。
• 利用关于线性群与分支群的已知结果，推导出 $Σ\mathcal{MN}$ 成员资格的推论。

实验结果

研究问题

• RQ1 一个群属于类 $Σ\mathcal{MN}$ 的必要与充分条件是什么？
• RQ2 所有极大子群均为正规的性质如何约束有限生成群的结构？
• RQ3 哪些著名群（如自由群或分支群）属于 $Σ\mathcal{MN}$，哪些不属于？
• RQ4 $Σ\mathcal{MN}$ 与广义 Andrews-Curtis 猜想之间有何关系？
• RQ5 在有限生成群的情形下，类 $Σ\mathcal{MN}$ 是否对取子群封闭？

主要发现

• 当且仅当 $[G,G] \leq \Phi(G)$ 时，群 $G$ 属于 $Σ\mathcal{MN}$，这提供了一个纯粹的子群论判据。
• 有限生成群在 $Σ\mathcal{MN}$ 中的有限商群均为幂零群，将该类与有限像中的幂零性联系起来。
• 有限生成的线性群若属于 $Σ\mathcal{MN}$，则必为幂零群，这在直线性情形下施加了强烈限制。
• $Σ\mathcal{MN}$ 类在有限直积下封闭：若 $G$ 与 $H$ 为有限生成且属于 $Σ\mathcal{MN}$，则 $G \times H$ 也属于 $Σ\mathcal{MN}$。
• Basilica 群（一个弱分支群）不属于 $Σ\mathcal{MN}$，因为其模某正规子群的商同构于无限二面体群 $D_\infty$，而 $D_\infty$ 不属于 $Σ\mathcal{MN}$。
• 存在可数、单、非有限生成的群属于 $Σ\mathcal{MN}$，且其包含自由群 $F_2$ 作为子群，表明 $Σ\mathcal{MN}$ 不对取子群封闭。