Separability of roots of unity

ID: separability-of-roots-of-unity

If the characteristic of a field does not divide the positive integer , then is separable. Its formal derivative is , and a common root would have to be both nonzero and zero.

New to topics? Read the docs here!