ホール部分群

数学における有限群  のホール部分群（ホールぶぶんぐん、）は、その位数がその指数と互いに素な部分群を言う。群論学者  が導入した。

定義 
 定義 (Hall divisor)
 自然数  のホール因子は、 の約数  で、 と  とが互いに素となるものを言う。
ホール因子を見つけるもっとも簡単な方法は、その数の素因数分解を書き下し、その乗法的項（各素因数に対して冪指数を最大まで取ったもの）の任意の積をとればよい（零項の積として  が、すべての項の積としてもとの数が含まれることに注意）。例えば  のホール因子を求めるには、素因数分解  を示して  の任意の積を作ればよいから、 のホール因子は  とわかる。
 定義 (Hall subgroup)
 有限群  のホール部分群は、 の位数  のホール因子を位数に持つ部分群、すなわちその位数がその指数と互いに素な部分群を言う。

素数からなる適当な集合  に対し、ホール -部分群は、その位数が  に属する素数の積で、かつその指数が  に属する任意の素数で割り切れないものを言う。

例 
 与えられた有限群の任意のシロー部分群はホール部分群である。
 位数  の交代群  は可解群だが、位数  の部分群を（ が  を割り切るにも拘らず）持たない。後述するホールの定理を可解群の位数の任意の約数に対して拡張することはできない。
 位数  となる唯一の単純群  は、 および  が  の位数のホール因子となるにも拘わらず、 はそれら位数の部分群を持たない。
 位数  の単純群  には、位数  のホール部分群の共軛類が相異なる二種類存在する（ただし、それらは  の外部自己同型で写りあう）。
 位数  の単純群は、位数  の互いに同型でない（したがって共軛でない、外部自己同型でも写りあわない）二つのホール部分群を持つ。位数  のシロー -部分群の正規化群は位数  の交代群  に同型であり、一方で位数  または  の部分群の正規化群は位数  の二面体群になる。

ホールの定理 
 は  が有限可解群で  が素数からなる任意の集合とするとき、 がホール -部分群を持ち、任意の二つのホール -部分群が互いに共軛となることを示した。さらに言えば、 に属する素数の積を位数に持つ任意の部分群は、適当なホール -部分群に含まれる。この結果は、シローの定理のホール部分群に対する一般化と考えることができるが、前述の例にあるとおり群が可解でない場合にはそのような一般化はできない。

ホール部分群の存在性は、任意の有限可解群は基本アーベル正規部分群を持つという事実を用いて、 の位数に関する帰納法で示せる。より精確には、 が -分離的なる限り  が -群または -群となるような極小の正規部分群  を固定するとき、帰納法により、 の  を含む部分群  が存在して、 が  のホール -部分群となるようなものが存在する。 が -群ならば  は  のホール -部分群である。他方、 が -群ならば、により  は  の補群を持ち、それが  のホール -部分群になる。

ホールの定理の逆 
素数からなる任意の集合  に対してホール -部分群を持つ任意の有限群は可解である。これは、シローの定理が任意のホール部分群の存在を導くから、位数が素数  に対する  の形に書ける任意の群が可解であることを述べるバーンサイドの定理の一般化である。これはバーンサイドの定理の別証明を与えるものではない（バーンサイドの定理の証明にこのホールの定理の逆が用いられるから）。

シロー系 
シロー系 (Sylow system) は、適当な素数の集合に属する各素数  に対するシロー -部分群  からなる集合であって、任意の  に対して  となるものを言う。シロー系が与えられれば、素数からなる集合  に属する素数  に対するシロー -部分群  全てによって生成される部分群はホール -部分群になる。ホールの定理をより精確にして、「任意の可解群はシロー系を持ち、任意の二つのシロー系は互いに共軛となる」と述べられる。

正規ホール部分群 
有限群  の任意の正規ホール部分群  は補群を持つ。すなわち、 の適当な部分群  が存在して、 との交わりが自明、かつ  とできる（ゆえに  は  と  の半直積）。これはである。

脚注

参考文献 
.

関連項目 
 

有限群
可解群
部分群の性質
数学に関する記事