normal extension

algebraic field extension