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