Separability of a cyclotomic polynomial modulo p
ID: separability-of-a-cyclotomic-polynomial-modulo-p
If the prime does not divide , then is square-free over because its derivative is coprime to it. Its factor is therefore separable modulo .
New to topics? Read the docs here!