コーシーの定理 (群論)

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

群論において、コーシーの定理(コーシーのていり; : Cauchy's theorem)とは次のような定理である。

有限群 G位数素数 p倍数であれば、G は位数 p の元を含む。

概論[編集]

ラグランジュの定理によれば、部分群の位数は必ず元の群の位数を割り切る。すると、素数位数の群は自明な部分群 {e} 以外の部分群を持たないことになるが、群の基本的性質から、これは素数位数の群が必ず単独元で生成される巡回群であることを意味する。

このことから、群の位数の素因数分解と、部分群に素数位数の巡回群が出現することの関連が容易に予想されるが、これを示したのがコーシーの定理である。

コーシーの定理から50年ほど後に、これを素数のべきに拡張したシローの定理が証明された。

証明[編集]

証明 (McKay 1959): 群 G の位数は素数 p で割り切れるとする。集合 S を次で定める。

このとき、(x1, ..., xp)S に属すならば、(x2, x3, ..., xp, x1), (xp, x1, x2, ..., xp − 1)S に属す。写像 f: SS を、 で定める。f は全単射となる。よって、f対称群 Sym(S) の元であり、互いに素な巡回置換の積で表すことができる。p 個の f を合成してできる写像 fp恒等写像であり、Sym(S)単位元であるので、f の表現における各巡回置換の長さは 1 あるいは p である。さらに、f の表現における長さ 1 の巡回置換の個数を s、長さ p の巡回置換の個数をtとすると、 である。なお、sf不動点の個数でもある。であるから、|S|p で割り切れる。ゆえに、sp で割り切れる。そして、(e, ..., e)S に属し、 なので、s > 0 であり、p | s より sp である。ゆえに f(e, ..., e) 以外にも不動点を持つ。f の定義より f の不動点は という形で表せる。f(e, ..., e) 以外の不動点の1つ (x, ..., x) をとる。xe であり、S の定義より xp = e となる。

参考文献[編集]

関連項目[編集]