Galois extension
エミール・アルティンの重要な定理により、有限拡大 "E"/"F" に対し、以下の各ステートメントは "E"/"F" がガロア拡大であるというステートメントと同値である：