[論文レビュー] Sylow 0-unipotent subgroups in groups of finite Morley rank

Jeffrey Burdges|ArXiv.org|Nov 26, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 3

ひとこと要約

本稿は、有限モーリー・ランクをもつ可解群における $p=0$ の場合のシロウ理論を発展させ、特徴的ゼロの単元部分群である $U_{0,r}$-部分群の理論を、分解定理、共役性結果、カーター部分群との関係を通じて新たに展開する。主な貢献は、連結な可解群におけるシロウ $U_{0,r}$-部分群の共役性を証明し、カーター部分群理論を $p=0$ の設定に一般化することにある。

ABSTRACT

One of the central tools in the classification of simple algebraic groups is the distinction between semisimple subgroups and unipotent subgroups. It is not a priori clear how to make this distinction for torsion-free subgroups of a group of finite Morley rank. We exploit the ``graded'' notion of 0-unipotence to develop a Sylow theory for torsion-free subgroups of a solvable group of finite Morley rank. This Sylow theory provides a robust alternative to the usual theory of Carter subgroups, and will be used in the analysis of intersections of Borel subgroups in minimal simple groups.

研究の動機と目的

• 有限モーリー・ランクをもつ可解群における $p=0$ の場合の包括的なシロウ理論を構築し、有限群論の手法をモデル理論的文脈に拡張すること。
• $p=0$ における単元部分群の理論を $U_{0,r}$-作用素を用いて特徴的ゼロの文脈に一般化し、内在的な定義が存在しない群における単元性をモデル化すること。
• 有限モーリー・ランクをもつ可除的冪零群の構造的分解定理を $U_{0,r}$-成分を用いて確立すること。
• 連結な可解群においてシロウ $U_{0,r}$-部分群の共役性を証明し、古典的なカーター部分群の共役性に類似させること。
• 奇数型および退化型群の解析に用いる基盤的ツールを提供すること。

提案手法

• $p=0$ の場合の $p$-単元部分群の一般化として、$U_{0,r}$-作用素を、非分解的アーベル群の分解に基づいて導入する。
• 連結アーベル群が非分解的部分群に分解される、クルル・シュミット型の分解定理を適用する。
• アーベル群における補完および分解を分析するため、$J(A)$ の半単純性とその性質を用いる。
• 冪零群における $U_{0,r}$-作用素に対して、正規化子条件の変種を確立し、連結成分作用素の性質を一般化する。
• 可除的冪零群 $G$ が、$r=1$ から $\operatorname{rk}(G)$ までの $U_{0,r}$-成分の直積に分解されることを証明する。
• カーター部分群の共役性を示すワーゲンの証明法を、シロウ $U_{0,r}$-部分群の共役性の確立に適応する。

実験結果

リサーチクエスチョン

• RQ1 $p=0$ の場合に、素数 $p$ が存在しないにもかかわらず、有限モーリー・ランクをもつ群におけるシロウ理論をどのように拡張できるか？
• RQ2 冪零群および可解群における $U_{0,r}$-部分群—特徴的ゼロの単元部分群—が示す構造的性質は何か？
• RQ3 $U_{0,r}$-部分群は、共役性や分解に関して、どの程度シロウ $p$-部分群に類似しているか？
• RQ4 可解群における $U_{0,r}$-部分群とカーター部分群の関係は何か？
• RQ5 $U_{0,r}$-理論は、強く埋め込まれた部分群をもつ奇数型の最小連結単純群の解析に用いることができるか？

主な発見

• 可除的冪零群 $G$ は、$G = d(T) * U_{0,1}(G) * U_{0,2}(G) * \cdots * U_{0,\operatorname{rk}(G)}(G)$ と分解され、ここで $T$ は torsion 部分群である。
• 冪零群において、$U_{0,r}$-作用素は、連結成分作用素の性質を一般化する正規化子条件の変種を満たす。
• シロウ $U_{0,r}$-部分群—最大の冪零的 $U_{0,r}$-部分群として定義される—は、任意の連結な可解群 $H$ において $H$-共役である。
• 任意の連結な可解群 $H$ におけるシロウ $U_{0,r}$-部分群は、$H$ のあるカーター部分群 $Q$ に対して $U_{0,r}(H')U_{0,r}(Q)$ の形で得られる。
• $U_{0,r}$-理論は、[FJ04] における可解群の構造に関する結果の新たな証明を提供する。
• アーベル群の非分解的成分への分解は、クルル・シュミット定理に従い、同型およびランク同値性を除いて一意的である。