Galois extension
体 "K" に対し、"K" の代数閉包 が "K" 上ガロア拡大であることと "K" が完全体であることは同値である。