[论文解读] A note on solvable maximal subgroups in subnormal subgroups of ${\mathrm GL}_n(D)$

H. V. Khanh, Bui Xuan Hai|arXiv (Cornell University)|Sep 2, 2018

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

一句话总结

本文证明：若一个子正规子群 $ G $ 属于 $ \mathrm{GL}_n(D) $，其中 $ D $ 是一个中心为 $ F $ 的非交换除环，则当 $ G $ 包含一个非交换可解极大子群时，必有 $ n = 1 $，且 $ D $ 是 $ F $ 上的素数次循环代数。该结果证实了关于斜线性群中极大子群的一个猜想的特例，表明当 $ n > 1 $ 时此类子群不可能存在于 $ \mathrm{GL}_n(D) $ 中，并刻画了 $ n = 1 $ 时 $ D $ 与极大子群的结构。

ABSTRACT

Let $D$ be a non-commutative division ring, $G$ a subnormal subgroup of ${\mathrm GL}_n(D)$. In this note we show that if $G$ contains a non-abelian solvable maximal subgroup, then $n=1$ and $D$ is a cyclic algebra of prime degree over $F$.

研究动机与目标

• 解决关于 $ \mathrm{GL}_n(D) $ 中可解极大子群在 $ n \geq 2 $ 时不存在的开放猜想，特别是针对非交换可解群的情况。
• 推广先前结果，表明当 $ n > 1 $ 时，$ \mathrm{GL}_n(D) $ 的子正规子群不能包含非交换可解极大子群。
• 研究此类极大子群存在时对除环及其子群施加的结构约束。
• 刻画 $ n = 1 $ 的情形，此时此类子群可能存在，并确定 $ D $ 为素数次循环代数的条件。
• 建立此类极大子群的存在性迫使 $ D $ 为有限维除环，且其具有特定的伽罗瓦理论结构。

提出的方法

• 利用 $ \mathrm{GL}_n(D) $ 中子正规子群的结构及其内部极大阿贝尔子群的性质。
• 应用 Cartan-Brauer-Hua 定理，表明若一个极大子群生成整个矩阵代数，则该群模其中心必为单群。
• 运用局部有限群与局部可解群的理论，分析除环中子群的有限性与结构。
• 利用伽罗瓦理论与群环技术，分析极大子群在其极大阿贝尔子域上的作用，建立其与伽罗瓦群的同构关系。
• 应用 Kaplansky 定理于 PI-环与阿廷环，推导出由子群生成的群代数的有限性与单性。
• 利用伽罗瓦理论的基本定理，证明极大子群模其中心同构于素数阶循环群。

实验结果

研究问题

• RQ1 在 $ n > 1 $ 时，非交换可解极大子群在 $ \mathrm{GL}_n(D) $ 的子正规子群中可能存在的条件是什么？
• RQ2 此类极大子群的存在对除环 $ D $ 施加了何种结构约束？
• RQ3 当此类极大子群存在时，能否确定 $ D $ 的中心与次数 $ n $？
• RQ4 极大子域的伽罗瓦结构如何与极大子群的群结构相关联？
• RQ5 若此类极大子群存在，$ D $ 是否可能为非循环代数或合数次？

主要发现

• 若子正规子群 $ G \leq \mathrm{GL}_n(D) $ 包含一个非交换可解极大子群，则必有 $ n = 1 $，即此类子群在 $ \mathrm{GL}_n(D) $ 中当 $ n > 1 $ 时不可能存在。
• 在给定条件下，$ D $ 必须是其中心 $ F $ 上的素数次 $ p $ 的循环代数，且满足 $ [D:F] = p^2 $。
• 极大子群 $ M $ 同构于模其中心的 $ \mathbb{Z}_p $，且 $ M/K^* \cap G \cong \mathbb{Z}_p $，其中 $ K $ 是 $ D $ 的极大子域。
• 伽罗瓦作用的不动域为 $ F $，且 $ K/F $ 是有限伽罗瓦扩张，其伽罗瓦群同构于 $ \mathbb{Z}_p $。
• $ M $ 的 $ FC $-中心为 $ K^* \cap G $，这也是 $ M $ 的弗令子群，表明其在群结构中具有核心作用。
• 每个元素 $ x \in M \setminus K $ 满足 $ x^p \in F $，且 $ D = F[M] = \bigoplus_{i=1}^p Kx^i $，表明 $ D $ 是具有循环结构的交叉积代数。