[论文解读] On locally solvable maximal subgroups of the multiplicative group of a division ring

Bui Xuan Hai, Dang Vu Phuong Ha|arXiv (Cornell University)|Jul 8, 2010

Finite Group Theory Research参考文献 9被引用 8

一句话总结

本文研究了除环乘法群中局部可解极大子群的性质，证明若此类子群的换位子群在中心上代数，则该除环为中心有限。其核心贡献通过将整个子群的代数性条件替换为换位子群的代数性，推广了Hua的经典结果，从而得出了关于除环有限性及子群作为极大子域乘法群角色的更强结构结论。

ABSTRACT

Let $D$ be a division ring and $D^*$ be the multiplicative group of $D$. In this paper we study locally solvable maximal subgroups of $D^*$.

研究动机与目标

• 推广L.K. Hua的结果，即在除环中，可解乘法群蕴含交换性。
• 研究非交换除环中局部可解极大子群的结构。
• 在有限性定理中，将整个子群的代数性条件替换为换位子群的代数性。
• 证明：若局部幂零极大子群的换位子群代数，则其为极大子域的乘法群。
• 建立极大子群为可解群且与Galois扩张相关的条件。

提出的方法

• 应用Wehrfritz关于除环上线性群中局部可解与局部幂零正规子群的定理。
• 利用Cartan-Brauer-Hua定理分析中心化子与正规子群。
• 运用双重中心化子定理与Kaplansky关于根式扩张的定理，推导有限维性。
• 分析子群 $ G $ 的 $ F(G) $ 与 $ F[G] $ 的结构，以确定其生成域或除环子环。
• 利用不可约子群在除环中具有平凡中心化子的性质，以限制子群结构。
• 通过换位子群的代数性与有限性定理，将问题约化至中心有限情形。

实验结果

研究问题

• RQ1 当局部可解极大子群的换位子群在中心上代数时，除环为何为中枢有限？
• RQ2 在除环的有限性定理中，能否将整个极大子群的代数性假设弱化为仅其换位子群代数？
• RQ3 当局部幂零极大子群的换位子群代数时，其何时为极大子域的乘法群？
• RQ4 当极大子群的换位子群在中心上代数时，会涌现出哪些结构性质（如可解群、Galois扩张）？
• RQ5 换位子群 $ M' $ 的代数性如何影响 $ M $ 作为子域乘法群的嵌入？

主要发现

• 若 $ D^* $ 局部可解，则 $ D $ 为域，推广了Hua的经典结果。
• 若 $ M $ 是 $ D^* $ 的非交换局部可解极大子群，且 $ M' $ 在 $ F $ 上代数，则 $ [D:F] < iginfty $，即使不假设 $ M $ 代数亦成立。
• 若 $ M $ 是不可约局部可解极大子群，且 $ M' $ 在 $ F $ 上代数，则 $ M $ 为可解群，且 $ M/K^* \to \mathbb{Z}_p $ 对某个极大子域 $ K $ 成立，且 $ K/F $ 为Galois扩张。
• 若 $ M $ 是局部幂零极大子群，且 $ M' $ 在 $ F $ 上代数，则 $ M $ 为阿贝尔群，且为 $ D $ 的极大子域的乘法群。
• 若 $ D^* $ 包含一个局部可解极大子群，其换位子群在 $ F $ 上代数，则 $ D^* $ 中每个局部可解子群均为可解群，这是由于中心有限性所致。
• 即使 $ M $ 本身不代数，条件 $ M' $ 在 $ F $ 上代数已足以保证 $ D $ 为中心有限。