Galois extension
と表される。したがって、有限体の拡大はすべて巡回拡大であるガロア拡大である。