「ガロア理論」の版間の差分
削除された内容 追加された内容
→概要: M |
→概要: 群Gが可解群であること、ではなく、Gal(L/K)が可解であること、が条件だと思います。 |
||
14行目:
仮に 多項式''p'' の根が係数の加減乗除やべき根による式で表せていたとすると、その式のうち一部分で表される数から生成するような体を考えることができ、こうして得られる体は ''K'' を含んで ''L'' に含まれる体(''L'' の部分拡大)となる。このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするような Gal(''L''/''K'') の部分群が存在する。''K'' の元 ''x'' の ''n'' 乗根は ''n'' 個あるが、それらすべてで生成されるような ''L'' の部分体は重要な役割を果たす。より一般に、体の拡大において、ある体上で既約な多項式の分解体となるという性質を正規性といい、中間体の正規性はガロア群の部分群が正規部分群であることに対応している。
例えば、''L'' の正規部分拡大のうちで ''K'' の特定の元のべき根によって生成されるもの ''M'' の対称性を表す群 Gal(''M''/''K'') = Gal(''L''/''K'')/Gal(''L''/''M'') は[[巡回群]]になる。''L'' が ''K'' のべき根拡大になっているかどうかは群 ''
=== より発展的な定式化 ===
|