Galois extension
体 を体 の有限次ガロア拡大とする。「 と の中間体 」 と 「 の部分群 」 について次の式が成立つ。