Irreducibility of cyclotomic polynomials
ID: irreducibility-of-cyclotomic-polynomials
Every cyclotomic polynomial is an irreducible polynomial over . If a monic irreducible factor contains a primitive root , then it also contains for every prime number : otherwise, writing , reduction modulo and the Frobenius endomorphism give . Some irreducible factor would then divide both and , giving a repeated factor of , contrary to separability of roots of unity. Iterating over the prime factors of every integer coprime to shows that contains all primitive th roots, so .
New to topics? Read the docs here!