中間体について補足

この項目は重要です。

Q上の方程式ｆ（ｘ）＝０の最小分解体をL、そのガロア群をGと

します。中間体Mと部分群Hがガロア対応しているとします。

HはGの部分群です。

ここでMがQのガロア拡大であることは、HがGの正規部分群であることと

同値である。天下り的ですがご勘弁を。

また、このとき、Gal（M/Q）とG/Hは同型である。

この辺は難しいですね。