コーシーの定理 (群論)
群論において、コーシーの定理(コーシーのていり; 英: Cauchy's theorem)とは次のような定理である。
概論
ラグランジュの定理によれば、部分群の位数は必ず元の群の位数を割り切る。すると、素数位数の群は自明な部分群 {e} 以外の部分群を持たないことになるが、群の基本的性質から、これは素数位数の群が必ず単独元で生成される巡回群であることを意味する。
このことから、群の位数の素因数分解と、部分群に素数位数の巡回群が出現することの関連が容易に予想されるが、これを示したのがコーシーの定理である。
コーシーの定理から50年ほど後に、これを素数のべきに拡張したシローの定理が証明された。
証明
証明 {{#invoke:Footnotes | harvard_citation }}: 群 G の位数は素数 p で割り切れるとする。集合 S を次で定める。
- [math]S:=\{\, (x_1,...,x_p) \in G^p \mid x_1 ... x_p = e \,\}. [/math]
このとき、(x1, ..., xp) が S に属すならば、(x2, x3, ..., xp, x1), (xp, x1, x2, ..., xp − 1) も S に属す。写像 f: S → S を、[math]f(x_1,...,x_p)=(x_2,x_3,...,x_p,x_1)[/math] で定める。f は全単射となる。よって、f は対称群 Sym(S) の元であり、互いに素な巡回置換の積で表すことができる。p 個の f を合成してできる写像 fp は恒等写像であり、Sym(S) の単位元であるので、f の表現における各巡回置換の長さは 1 あるいは p である。さらに、f の表現における長さ 1 の巡回置換の個数を s、長さ p の巡回置換の個数をtとすると、[math]|S|=s+pt[/math] である。なお、s は f の不動点の個数でもある。[math] |S|=|G|^{p-1} [/math]であるから、テンプレート:Abs は p で割り切れる。ゆえに、s も p で割り切れる。そして、(e, ..., e) は S に属し、[math]f(e,...,e) = (e,...,e)[/math] なので、s > 0 であり、p | s より s ≥ p である。ゆえに f は (e, ..., e) 以外にも不動点を持つ。f の定義より f の不動点は [math] (a,...,a)(a \in G)[/math] という形で表せる。f の (e, ..., e) 以外の不動点の1つ (x, ..., x) をとる。x ≠ e であり、S の定義より xp = e となる。
参考文献
- McKay, James H. (1959), “Another proof of Cauchy's group theorem”, Amer. Math. Monthly 66, doi:10.2307/2310010, MR 0098777, Zbl 0082.02601