Galois extension
エミール・アルティンの結果によって、ガロア拡大を次のように構成できる。"E" が与えられた体で、"G" が "E" の自己同型からなるある有限群で固定体が "F" のとき、"E"/"F" はガロア拡大である。