Separability of roots of unity
= Separability of roots of unity
If the <characteristic> of a field does not divide the <positive integer> $m$, then $X^m-1$ is <separable polynomial>[separable]. Its <formal derivative> is $mX^{m-1}$, and a common root would have to be both nonzero and zero.