Separable extension (source code)

= Separable extension
{wiki}

= Separable field extension
{synonym}

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