Galois extension
formula_27 (formula_28) を、"K" の共役体 (conjugate field)という。もし "K" の共役体が全て "K" と等しいとき、"K" はガロア体 (Galois field)または有理数体上のガロア拡大体という。