ガロア第一論文と乗数イデアル他関連資料スレ18 (484ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
243(1): 暇人 06/28(土)14:55 ID:4S+Arcik(18/23) AAS
>>242
以下では、当該箇所（ステップX）の議論を厳密に再検討し、
なぜこれが循環論法でないかを詳細に説明します。
問題の背景
十分性の証明では、ガロア群 G=Gal(L/K) が可解群であるとき、
代数方程式の解が K の元を用いた四則演算とべき根で表せることを示しています。
ステップXでは、巡回拡大 Ki+1/Ki を構成する際に、
Ki が１の原始 ni乗根 ζ‗ni を含まない場合、Ki(ζ‗ni) を構成する必要があり、
これが x^ni−1=0 の解の添加（べき根の添加）として記述されると述べました。
ご指摘の懸念は、ζ‗ni 自体が x^ni−1=0 の解であるため、
省3
244(1): 暇人 06/28(土)14:56 ID:4S+Arcik(19/23) AAS
>>243
ステップXの詳細な再検討
状況の再確認
Ki+1/Ki は位数 ni の巡回ガロア拡大で、
ガロア群 Gal(Ki+1/Ki)≅Z/niZ です。
巡回拡大を構成するためには、クンマー理論により、Ki が原始 ni 乗根 ζ‗ni を含むことが必要です（クンマー拡大の条件）。
もし Ki が ζ‗ni を含まない場合、まず拡大 Ki(ζ‗ni)/Ki を構成し、これがガロア拡大であり、ガロア群が巡回群（またはアーベル群）であることを利用します。
原始乗根の添加
１の原始 ni 乗根 ζ‗niは、方程式 x^ni−1=0 の根であり、
Ki(ζ‗ni)/Ki はこの方程式の分裂体への拡大です。
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s