>>765
>>789 にあるように |SL_2(F_p)| = p (p-1)(p+1)
p-Sylow部分群を一つ選んでPとする。 |P| = p
F_p^* = { 1I, 2I, ..., (p-1)I } と置くと
SL_2(F_p) における正規化群 N(P) ⊃ F_p^* ・ P であり
F_p^* ・ P が群となる事は簡単に確かめられる。
|N(P)| = k p (p-1), k≠0 (mod p)。
共役作用によるPの軌道に関して、N(P)は固定部分群である。よって、
Pに共役な群の個数 n = |SL_2(F_p)| / |N(P)| = (p + 1)/k
一方で n ≡ 1 (mod p) (Sylowの定理)
よって k = 1 である。