シローの定理 (Sylow) は、次の四つです。群Gの位数を割り切る素数 p の最高ベキが p の n 乗のとき、位数が p の n 乗である部分群が存在するという存在証明。