Separable field extension (source code)

= Separable field extension
{wiki=Separable_extension}

An algebraic extension is separable when every element has a minimal polynomial with distinct roots.