ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
体 L を体 K の有限次ガロア拡大とする。
「L と K の中間体 M」 と 「Gal(L/K) の部分群 H」 について次の式が成立つ。

𝑀=𝐿^Gal(𝐿/𝑀),　𝐻=Gal(𝐿/𝐿^𝐻)

ただし、Gal(L/M) は拡大 L/M のガロア群であり、L^H は H の作用で不変な L の元を集めた L の部分体を指す。

したがって、「L と K の中間体 M」 と　「ガロア群 Gal(L/K) の部分群 H」の間の相互の対応を与える写像

𝜙:𝑀→𝐻=Gal(𝐿/𝑀),𝜓:𝑀=𝐿^𝐻←𝐻

は互いに逆であり、全単射になることがわかる。
また、この対応はあきらかに包含関係を逆にしている。つまり、
中間体が M1 ⊃ M2 ならば φ(M1) ⊂ φ(M2) であり、
部分群が H1 ⊃ H2 ならば ψ(H1) ⊂ ψ(H2) となる。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

ここまでの説明では部分群のみで、正規部分群は出てこない