Misalkan n≥1 dan ζn=e2iπ/n. Yang disebut polinomial siklotomik ke-n adalah Φn=∏gcd(k,n)=1, 1≤k≤n(X−ζnk), yang berderajat φ(n); dengan mengelompokkan akar Xn−1 menurut orde eksaknya, Xn−1=∏d∣nΦd, dan ini menunjukkan secara induktif bahwa Φn∈Z[X] (lewat pembagian Euclid polinomial bulat yang monik).