ガロア第一論文と乗数イデアル他関連資料スレ18 (452レス)
前次1-
抽出解除 レス栞

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
231
(2): 暇人 06/28(土)08:43 ID:4S+Arcik(9/23) AAS
>>230
ステップ1:べき根添加のガロア群

各拡大 K(α1,…,αi)/K(α1,…,αi−1) は、αi^ni∈K(α1,…,αi−1) による拡大。
この拡大はクンマー拡大であり、ガロア群は巡回群(位数 ni のアーベル群)またはその部分群である(原始根が適切に含まれる場合)。
よって、M/K は一連の巡回拡大の合成であり、ガロア群 Gal(M/K) は巡回群の拡張として可解群である。
232
(1): 暇人 06/28(土)08:44 ID:4S+Arcik(10/23) AAS
>>231
ステップ2:分裂体への制限

L⊆M であり、L/K はガロア拡大。
ガロア理論により、Gal(M/K)→Gal(L/K) は全射であり、Gal(L/K)≅Gal(M/K)/Gal(M/L)。
可解群の商群は可解であるから、Gal(L/K) も可解群である。
234
(1): 暇人 06/28(土)08:47 ID:4S+Arcik(12/23) AAS
>>224

結論
十分性:>>225-229 ガロア群 Gal(L/K) が可解群ならば、解は四則演算とべき根で表せる。これは、正規系列に沿った巡回拡大がべき根の添加で構成できるため。
必要性:>>230-232 解が四則演算とべき根で表せるならば、ガロア群は可解群である。これは、べき根の添加による拡大のガロア群が可解であるため。

よって、定理が証明された。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.026s