Galois拡大

定義

体拡大 $L/K$ が分離 かつ 正規 のときGalois拡大

定理

$\#\mathrm{Gal}(L/K)=[L:K]$