- 907 名前：１３２人目の素数さん mailto:sage [2025/05/26(月) 17:14:52.67 ID:JSdei1xM.net]
- 訂正>>848
>(1)Gはp次の巡回群をただ一つ含む
より弱く「Gはp次の巡回群を正規部分群として含む」でもよい。
このようなp次巡回群がただ一つであることは、シローの定理からも分かる。
>(2)Gは有限体F_p上のアフィン群と同型である
正確には「アフィン群の部分群」ね。
F_p上の1次元アフィン変換群とは
a∈F_p^*, b∈F_pとして、x→ax+b
という変換で与えられる群。
p個の根を（適切な順序で）F_pの元で附番し、上記の変換で
引き起こされる置換を S_pの元と同一視する。
このとき、「単位元でない任意の置換に対して固定点は高々1個」
であることは、ax+b=x が a=1,b=0 を除いて
F_p上で高々1個しか解を持たないことから分かる。
