コーシーの定理 (群論)

群論において、コーシーの定理（コーシーのていり; ）とは次のような定理である。
概論.
ラグランジュの定理によれば、部分群 の位数 は必ず元の群 の位数 を割り切る。
すると、素数位数の群は自明な部分群 , 以外の部分群を持たないことになるが、群の基本的性質から、これは素数位数の群が必ず単独の生成元 で生成される巡回群 であることを意味する。
このことから、群の位数の素因数分解と、部分群に素数位数の巡回群が存在することの関連が容易に予想されるが、これを1845年に示したのがコーシーの定理である。
コーシーの定理が最初に示されてから27年後の1872年に、これを素数 の に拡張したシローの定理が証明された。
証明.
証明 : 群 の位数は素数 で割り切れるとする。集合 を次で定める。
このとき、 が に属すならば、 も に属す。写像 を、formula_3 で定める。 は全単射となる。よって、 は対称群 の元であり、互いに素な巡回置換の積で表すことができる。 個の を合成してできる写像 は恒等写像であり、 の単位元であるので、 の表現における各巡回置換の長さは あるいは である。さらに、 の表現における長さ 1 の巡回置換の個数を 、長さ の巡回置換の個数をとすると、formula_4 である。なお、 は の不動点の個数でもある。formula_5であるから、 は で割り切れる。ゆえに、 も で割り切れる。そして、 は に属し、formula_6 なので、 であり、 より である。ゆえに は 以外にも不動点を持つ。 
の定義より の不動点は formula_7 という形で表せる。 の 以外の不動点の1つ をとる。 であり、 の定義より となる。Q.E.D.