ホール部分群

数学における有限群 のホール部分群（ホールぶぶんぐん、）は、その位数がその指数と互いに素な部分群を言う。群論学者 が導入した。
定義.
ホール因子を見つけるもっとも簡単な方法は、その数の素因数分解を書き下し、その乗法的項（各素因数に対して冪指数を最大まで取ったもの）の任意の積をとればよい（零項の積として が、すべての項の積としてもとの数が含まれることに注意）。例えば のホール因子を求めるには、素因数分解 を示して の任意の積を作ればよいから、 のホール因子は とわかる。
素数からなる適当な集合 に対し、ホール -部分群は、その位数が に属する素数の積で、かつその指数が に属する任意の素数で割り切れないものを言う。
ホールの定理.
 は が有限可解群で が素数からなる任意の集合とするとき、 がホール -部分群を持ち、任意の二つのホール -部分群が互いに共軛となることを示した。さらに言えば、 に属する素数の積を位数に持つ任意の部分群は、適当なホール -部分群に含まれる。この結果は、シローの定理のホール部分群に対する一般化と考えることができるが、前述の例にあるとおり群が可解でない場合にはそのような一般化はできない。
ホール部分群の存在性は、任意の有限可解群は基本アーベル正規部分群を持つという事実を用いて、 の位数に関する帰納法で示せる。より精確には、 が -分離的なる限り が -群または -群となるような極小の正規部分群 を固定するとき、帰納法により、 の を含む部分群 が存在して、 が のホール -部分群となるようなものが存在する。 が -群ならば は のホール -部分群である。他方、 が -群ならば、により は の補群を持ち、それが のホール -部分群になる。
ホールの定理の逆.
素数からなる任意の集合 に対してホール -部分群を持つ任意の有限群は可解である。これは、シローの定理が任意のホール部分群の存在を導くから、位数が素数 に対する の形に書ける任意の群が可解であることを述べるバーンサイドの定理の一般化である。これはバーンサイドの定理の別証明を与えるものではない（バーンサイドの定理の証明にこのホールの定理の逆が用いられるから）。
シロー系.
シロー系 ("Sylow system") は、適当な素数の集合に属する各素数 に対するシロー -部分群 からなる集合であって、任意の に対して となるものを言う。シロー系が与えられれば、素数からなる集合 に属する素数 に対するシロー -部分群 全てによって生成される部分群はホール -部分群になる。ホールの定理をより精確にして、「任意の可解群はシロー系を持ち、任意の二つのシロー系は互いに共軛となる」と述べられる。
正規ホール部分群.
有限群 の任意の正規ホール部分群 は補群を持つ。すなわち、 の適当な部分群 が存在して、 との交わりが自明、かつ とできる（ゆえに は と の半直積）。これはである。