[論文レビュー] 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の結果を一般化すること。
• 非可換除法環における局所的に可解な極大部分群の構造を調査すること。
• 除法環の有限性定理において、部分群全体の代数的性の条件をその導来部分群の代数的性に置き換えること。
• 局所的に冪零な極大部分群がその導来部分群に関して代数的である場合、それが極大部分体の乗法的群である条件を示すこと。
• 極大部分群がメタアーベル的であり、ガロア拡大に関連する条件を確立すること。

提案手法

• 除法環上の線型群における局所的に可解および局所的に冪零な正規部分群に関するWehrfritzの定理を適用する。
• 中心化部分群と正規部分群を分析するためにCartan-Brauer-Huaの定理を用いる。
• 二重中心化定理およびKaplanskyのラジカル拡大に関する定理を用いて次元の有限性を導出する。
• 部分群 $ G $ に対する $ F(G) $ と $ F[G] $ の構造を分析し、体または除法環部分環の生成を決定する。
• 既約部分群は除法環において自明な中心化部分群を持つという事実を用いて、部分群構造を制約する。
• 導来部分群の代数的性と有限性定理を用いて、問題を中心的有限な場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 局所的に可解な極大部分群の導来部分群が中心上代数的であるという条件下で、除法環が中心的有限であるのはどのような場合か？
• RQ2 除法環の有限性定理において、極大部分群全体の代数的性の仮定を、その導来部分群の代数的性に弱めることができるか？
• RQ3 局所的に冪零な極大部分群がその導来部分群に関して代数的である場合、それがどのような条件下で極大部分体の乗法的群となるか？
• RQ4 極大部分群の導来部分群が中心上代数的である場合、どのような構造的性質（例：メタアーベル、ガロア拡大）が生じるか？
• RQ5 部分群 $ M $ に対して $ M' $ が $ F $ 上代数的であると、$ 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 $ はガロア拡大である。
• もし $ M $ が局所的に冪零な極大部分群であり、$ M' $ が $ F $ 上代数的であるならば、$ M $ はアーベル的であり、$ D $ の極大部分体の乗法的群である。
• すべての局所的に可解な $ D^* $ の部分群は、$ D^* $ が導来部分群が $ F $ 上代数的である局所的に可解な極大部分群を含むならば、可解的である。中心的有限性のおかげである。
• 部分群 $ M $ 自身が代数的でなくても、$ M' $ が $ F $ 上代数的であるという条件は、$ D $ が中心的有限であることを保証するのに十分である。