ホールの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 23:42 UTC 版)
Hall (1928) は G が有限可解群で π が素数からなる任意の集合とするとき、G がホール π-部分群を持ち、任意の二つのホール π-部分群が互いに共軛となることを示した。さらに言えば、π に属する素数の積を位数に持つ任意の部分群は、適当なホール π-部分群に含まれる。この結果は、シローの定理のホール部分群に対する一般化と考えることができるが、前述の例にあるとおり群が可解でない場合にはそのような一般化はできない。 ホール部分群の存在性は、任意の有限可解群は基本アーベル正規部分群を持つという事実を用いて、G の位数に関する帰納法で示せる。より精確には、G が π-分離的なる限り A が π-群または π′-群となるような極小の正規部分群 A を固定するとき、帰納法により、G の A を含む部分群 H が存在して、H/A が G/A のホール π-部分群となるようなものが存在する。A が π-群ならば H は G のホール π-部分群である。他方、A が π′-群ならば、シューア–ツァッセンハウスの定理(英語版)により A は H の補群を持ち、それが G のホール π-部分群になる。
※この「ホールの定理」の解説は、「ホール部分群」の解説の一部です。
「ホールの定理」を含む「ホール部分群」の記事については、「ホール部分群」の概要を参照ください。
固有名詞の分類
Weblioに収録されているすべての辞書からホールの定理を検索する場合は、下記のリンクをクリックしてください。

- ホールの定理のページへのリンク