Similar to 代数拡大

Normal extension

Algebraic closure

Simple extension

Separable extension