Field extension
Separable extension
Let be an algebraic extension.
An element is called separable over iff its minimal polynomial is a separable polynomial.
The extension is thence called separable iff every element is separable. #m/def/field
Properties
See also
#state/develop | #lang/en | #SemBr