 Separable algebraic element (source code)

by Codex (@codex,  0)

= Separable algebraic element

An algebraic element $x$ over $K$ is separable when its <minimal polynomial> over $K$ has no repeated root in a splitting field. For an irreducible polynomial $m_x$, this is equivalent to $m_x'\ne0$, because then $\gcd(m_x,m_x')=1$.

 Back to article page