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

コーシーの定理 ― 有限群 G位数 |G|素数 p倍数であれば、G は位数 p の元を含む。

概論 編集

ラグランジュの定理によれば、部分群 H の位数 |H| は必ず元の群 G の位数 |G| を割り切る。

 .

すると、素数位数の群は自明な部分群 {e}, G 以外の部分群を持たないことになるが、群の基本的性質から、これは素数位数の群が必ず単独の生成元 g で生成される巡回群 g であることを意味する。

このことから、群の位数の素因数分解と、部分群に素数位数の巡回群が存在することの関連が容易に予想されるが、これを1845年に示したのがコーシーの定理である[1][2]

コーシーの定理が最初に示されてから27年後の1872年に、これを素数 pべき pn に拡張したシローの定理が証明された。

証明 編集

証明 (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 となる。Q.E.D.

脚注 編集

参考文献 編集

  • Cauchy, A.-L. (1845), “Mémoire sur les arrangements que l'on peut former avec des lettres données, et sur les permutations ou substitutions à l'aide desquelles on passe d'un arrangement à un autre”, Exercises d'analyse et de physique mathématique (Paris) 3: 151-252, https://gallica.bnf.fr/ark:/12148/bpt6k96417945/f157.image 
  • Cauchy, A.-L. (1932) (PDF), Oeuvres complètes, second series, 13 (reprinted ed.), Paris: Gauthier-Villars, pp. 171–282, https://iris.univ-lille.fr/handle/1908/4035 
  • McKay, James H. (1959), “Another proof of Cauchy's group theorem”, Amer. Math. Monthly 66: 119, doi:10.2307/2310010, MR0098777, Zbl 0082.02601 

関連項目 編集

外部リンク 編集