[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
796(2): 05/25(日)18:49 ID:WEnhjuaS(23/27) AAS
>>794
定理9.3の証明:
σ を G の生成元（の１つ）とすると
仮定より G = ⟨σ⟩ = {idL, σ, . . . , σ^(n−1)} となる．
1 の原始 n 乗根 ζ を１つ固定して，写像 h : L → L を
h(α) = α + ζσ(α) + · · · + ζ^(n−1)σ^(n−1)(α) (∀α ∈ L)
で定義する（h は体準同型とは限らない）．
省35
797: 05/25(日)18:59 ID:WEnhjuaS(24/27) AAS
>>796の概要
G= ⟨σ⟩ = {idL, σ, . . . , σ^(n−1)} の
生成順序に従った、ラグランジュ分解式hを定義し
h(γ)≠0となる元を選んでa=(h(γ)^(−1))^nとすると
σ(a)=aなので、a∈Kであり、x^n−aは既約なので
Lはx^n−aのガロア体と一致する
つまり、Kが1の原始根を含めば、
省2
800(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 05/25(日)21:11 ID:Pt4i9H9G(15/16) AAS
>>796
>1 の原始 n 乗根 ζ を１つ固定して，写像 h : L → L を
>h(α) = α + ζσ(α) + · · · + ζ^(n−1)σ^(n−1)(α) (∀α ∈ L)
>で定義する（h は体準同型とは限らない）．
>h(α) はラグランジュの分解式 (Lagrange resolvent) と呼ばれる．
ふっふ、ほっほ
ガロア第一論文を読めというのに
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s