Fact-checked by Grok 2 weeks ago

Cyclotomic polynomial

In mathematics, particularly in algebra and number theory, the nth cyclotomic polynomial, denoted \Phi_n(x), is the monic polynomial of degree \phi(n) (where \phi is Euler's totient function) whose roots are precisely the primitive nth roots of unity in the complex numbers, that is, the complex numbers \zeta satisfying \zeta^n = 1 and whose order is exactly n. It has integer coefficients and is irreducible over the rational numbers \mathbb{Q}. The cyclotomic polynomials satisfy the fundamental identity x^n - 1 = \prod_{d \mid n} \Phi_d(x), which allows them to be computed recursively or via the explicit formula \Phi_n(x) = \prod_{d \mid n} (x^{n/d} - 1)^{\mu(d)}, where \mu is the . For example, \Phi_1(x) = x - 1, \Phi_2(x) = x + 1, \Phi_3(x) = x^2 + x + 1, and \Phi_4(x) = x^2 + 1; in general, for a prime p, \Phi_p(x) = (x^p - 1)/(x - 1) = x^{p-1} + \cdots + x + 1. These polynomials are reciprocal for n > 1, meaning their coefficients read the same forwards and backwards, and they play a key role in the of cyclotomic extensions. Cyclotomic polynomials are foundational in algebraic number theory, as adjoining a primitive nth root of unity to \mathbb{Q} generates the nth cyclotomic field \mathbb{Q}(\zeta_n), a Galois extension of degree \phi(n) whose ring of integers is \mathbb{Z}[\zeta_n]. They underpin proofs of significant results, such as the infinitude of primes congruent to 1 modulo n (a case of Dirichlet's theorem on arithmetic progressions) and the constructibility of regular n-gons using ruler and compass, which holds precisely when \Phi_n(x) has degree a power of 2. Beyond pure mathematics, they appear in applications to cryptography (e.g., in factoring algorithms) and finite fields, where primitive elements are roots of \Phi_d(x) for appropriate d.

Basic Concepts

Definition

The nth cyclotomic polynomial, denoted \Phi_n(x), is defined as the monic polynomial in \mathbb{Z} whose roots are precisely the primitive nth roots of unity, for each positive integer n \geq 1. A primitive nth root of unity is a complex number \zeta satisfying \zeta^n = 1 and such that the order of \zeta is exactly n, meaning \zeta^k \neq 1 for any positive integer k < n; explicitly, these are the elements e^{2\pi i k / n} where $1 \leq k \leq n and \gcd(k, n) = 1. There are exactly \varphi(n) such roots, where \varphi is Euler's totient function, so \Phi_n(x) has degree \varphi(n). The cyclotomic polynomials satisfy the fundamental relation x^n - 1 = \prod_{d \mid n} \Phi_d(x), where the product runs over all positive divisors d of n; this factorization uniquely determines the \Phi_n(x) recursively, starting from \Phi_1(x) = x - 1. Applying Möbius inversion to this product formula yields the explicit expression \Phi_n(x) = \prod_{d \mid n} (x^{n/d} - 1)^{\mu(d)}, where \mu is the , defined on positive integers by \mu(m) = (-1)^r if m is square-free with r prime factors, \mu(m) = 0 if m has a squared prime factor, and \mu(1) = 1. The concept of cyclotomic polynomials was introduced by in 1801, in the context of solving equations related to the constructibility of regular polygons with straightedge and compass.

Examples

The cyclotomic polynomials for small positive integers n illustrate their explicit forms and reveal initial patterns in their coefficients and degrees. These polynomials are monic with integer coefficients, and their degrees are given by \phi(n), which counts the number of integers up to n that are coprime to n. As n increases, \phi(n) generally grows, though not always monotonically, providing a sense of how the polynomials become more complex. The following table lists \Phi_n(x) and \deg(\Phi_n) = \phi(n) for n \leq 12:
n\phi(n)\Phi_n(x)
11x - 1
21x + 1
32x^2 + x + 1
42x^2 + 1
54x^4 + x^3 + x^2 + x + 1
62x^2 - x + 1
76x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
84x^4 + 1
96x^6 + x^3 + 1
104x^4 - x^3 + x^2 - x + 1
1110x^{10} + x^9 + x^8 + x^7 + x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
124x^4 - x^2 + 1
Among these, simple relations emerge for certain n. For an odd prime p, the polynomial satisfies \Phi_{2p}(x) = \Phi_p(-x), which substitutes -x into the form for the prime case to yield alternating signs. This is evident for p=3, where \Phi_6(x) = (-x)^2 + (-x) + 1 = x^2 - x + 1, and for p=5, where \Phi_{10}(x) = (-x)^4 + (-x)^3 + (-x)^2 + (-x) + 1 = x^4 - x^3 + x^2 - x + 1.

Properties

Irreducibility and Degree

The nth cyclotomic polynomial \Phi_n(x) is monic of degree \phi(n), where \phi denotes . This degree arises because \Phi_n(x) is the monic polynomial whose roots are precisely the primitive nth roots of unity in the complex numbers, and there are exactly \phi(n) such roots. To see this, note that the primitive nth roots of unity are the complex numbers \zeta = e^{2\pi i k / n} for integers k with $1 \leq k \leq n and \gcd(k, n) = 1; the count of such k is \phi(n). Thus, \Phi_n(x) = \prod (x - \zeta), where the product runs over these \phi(n) roots, confirming the degree. As the minimal polynomial over \mathbb{Q} for any primitive nth root of unity, \Phi_n(x) is monic with integer coefficients. The field extension \mathbb{Q}(\zeta)/\mathbb{Q}, where \zeta is a primitive nth root of unity, has degree \phi(n) over \mathbb{Q}, and since \Phi_n(x) is the monic polynomial of least degree vanishing at \zeta, it generates this extension and has the required properties. The irreducibility of \Phi_n(x) over \mathbb{Q} follows from its role as a minimal polynomial, but direct proofs exist for both prime and general n. When n = p is prime, \Phi_p(x) = \frac{x^p - 1}{x - 1} = x^{p-1} + x^{p-2} + \cdots + x + 1. To apply , consider the substitution \Phi_p(x+1) = \sum_{k=0}^{p-1} \binom{p}{k} x^k. Here, p divides the coefficients \binom{p}{k} for $1 \leq k \leq p-1 but not the leading coefficient 1 or the constant term 1, and p^2 does not divide the constant term; thus, \Phi_p(x+1) (and hence \Phi_p(x)) is irreducible over \mathbb{Q}. For general n, one proof uses properties of cyclotomic extensions and Galois theory, as developed by . Suppose \Phi_n(x) = f(x) g(x) for monic polynomials f, g \in \mathbb{Z} with \deg f < \phi(n). Let \zeta be a root of f(x), so \zeta is a primitive nth root of unity. For any prime q \nmid n, the Frobenius automorphism \sigma_q: \zeta \mapsto \zeta^q fixes \mathbb{Q} and maps roots of \Phi_n(x) to other roots. Since f(\zeta) = 0 and \deg f < \phi(n), iterating \sigma_q generates more roots than f can accommodate unless f(x) = \Phi_n(x), a contradiction. Thus, \Phi_n(x) is irreducible over \mathbb{Q}. A fundamental divisibility property is that \Phi_n(x) divides x^m - 1 in \mathbb{Q} if and only if n divides m. To prove this, first recall that x^m - 1 = \prod_{d \mid m} \Phi_d(x), so if n \mid m then \Phi_n(x) appears as a factor. Conversely, if \Phi_n(x) divides x^m - 1, every root \zeta of \Phi_n(x) (of multiplicative order exactly n) satisfies \zeta^m = 1, so the order n divides m.

Coefficients

The coefficients of the nth cyclotomic polynomial \Phi_n(x) are integers for all n \geq 1. These polynomials are monic with integer coefficients, and the constant term is \pm 1. Moreover, for n \geq 2, the coefficients satisfy the palindromic relation \Phi_n(x) = x^{\phi(n)} \Phi_n(1/x), meaning the coefficient of x^k equals the coefficient of x^{\phi(n)-k} for $0 \leq k \leq \phi(n). The sum of the coefficients of \Phi_n(x) equals \Phi_n(1). For n=1, \Phi_1(1)=0; for n \geq 2, \Phi_n(1) = p if n = p^r for some prime p and integer r \geq 1, and \Phi_n(1) = 1 otherwise. This follows from the factorization x^n - 1 = \prod_{d \mid n} \Phi_d(x) and , with the value at x=1 determined by the prime power structure of n. The coefficients of \Phi_n(x) exhibit sparsity, with many zeros and non-zero terms predominantly \pm 1, particularly for small n. Specifically, all coefficients lie in \{-1, 0, 1\} if n has at most two distinct odd prime factors, a result due to . This holds for all n < 105, as $105 = 3 \times 5 \times 7 is the smallest positive integer with three distinct odd prime factors. For n=105, \Phi_{105}(x) is the first cyclotomic polynomial with a coefficient outside \{-1, 0, 1\}, specifically including a -2.

Beiter Conjecture

In 1968, Marion Beiter conjectured that the coefficients of every cyclotomic polynomial \Phi_n(x) lie in the set \{-1, 0, 1\}. This conjecture suggested that the height A(n), defined as the maximum absolute value of the coefficients of \Phi_n(x), satisfies A(n) \leq 1 for all positive integers n. However, the conjecture was disproved in 1981 when Kenneth S. Williams computed \Phi_{105}(x) and found coefficients of -2 at x^7 and x^{41}, establishing A(105) = 2. The failure of Beiter's conjecture highlighted the more general "cyclotomic polynomial coefficient conjecture" concerning the smallness of these coefficients, which had been a longstanding belief prior to the counterexample. It is now known that the coefficients are unbounded in absolute value, a result first proved by Issai Schur in 1929 by showing that A(n) can exceed any fixed bound for sufficiently composite n. The maximal order of A(n) grows subexponentially; specifically, there exist infinitely many n such that A(n) > \exp(c n / \log \log n) for some constant c > 0, while an upper bound of A(n) < \exp(n (\log 2 + \epsilon) / \log \log n) holds for any \epsilon > 0 and all sufficiently large n. Improved explicit bounds for specific forms of n have been obtained, such as the explicit formulas for cyclotomic polynomials \Phi_{pq}(x) provided by T. Y. Lam and K. H. Leung in their 1996 analysis, confirming that their coefficients lie in \{-1, 0, 1\}. As of , the subexponential bounds described above remain the state-of-the-art asymptotic bounds, with no tighter general estimates known. Related computational results confirm that \Phi_n(x) has all coefficients in \{0, \pm 1\} for n < 105, and larger coefficients appear only for highly composite n with at least three distinct odd prime factors. The following table lists the smallest such n along with their heights A(n):
nA(n)
1052
3853
13654
17855
28056
These values illustrate the gradual increase in coefficient size as n incorporates more small primes, consistent with the logarithmic growth in A(n).

Computation

Explicit Formulas

The explicit construction of cyclotomic polynomials begins with the work of Carl Friedrich Gauss in his 1801 treatise , where he provided a simple formula for the case when n = p is prime: \Phi_p(x) = \frac{x^p - 1}{x - 1} = \sum_{k=0}^{p-1} x^k. This expression arises as the minimal polynomial over the rationals for a primitive pth root of unity and leverages the factorization of x^p - 1 = (x - 1) \Phi_p(x). Gauss further expressed the general cyclotomic polynomial using roots of unity, grouping them into periods via Gauss sums to facilitate computations for constructible polygons, though this approach is more algebraic than closed-form for arbitrary n. The cyclotomic polynomial \Phi_n(x) is defined as the monic polynomial whose roots are the primitive nth roots of unity: \Phi_n(x) = \prod_{\substack{1 \leq k \leq n \\ \gcd(k,n)=1}} \left( x - \zeta^k \right), where \zeta = e^{2\pi i / n} is a primitive nth root of unity. This product form directly encodes the primitive roots but is impractical for computation without evaluating the complex exponentials. It also uses the relation between cyclotomic polynomials and the factorization of x^n - 1. The practical explicit formula is the Möbius inversion expression: \Phi_n(x) = \prod_{d \mid n} (x^{n/d} - 1)^{\mu(d)}, where \mu is the , which takes values \mu(m) = 0 if m has a squared prime factor, \mu(m) = 1 if m has an even number of distinct prime factors, and \mu(m) = -1 if odd. Equivalently, it can be written as \Phi_n(x) = \prod_{d \mid n} (x^d - 1)^{\mu(n/d)} by substituting d' = n/d. This formula allows direct computation of \Phi_n(x) from the known factorizations of x^d - 1 for divisors d of n, making it suitable for recursive evaluation. This Möbius-based formula derives from the fundamental identity x^n - 1 = \prod_{d \mid n} \Phi_d(x), viewed multiplicatively in the ring of polynomials. Taking the formal logarithm yields \log(x^n - 1) = \sum_{d \mid n} \log \Phi_d(x), and applying Möbius inversion to the arithmetic functions involved (where the sum over divisors corresponds to the ) inverts to express \log \Phi_n(x) = \sum_{d \mid n} \mu(d) \log(x^{n/d} - 1), exponentiating back gives the product form with exponents \mu(d). This inversion technique, general to arithmetic functions, provides a systematic way to isolate \Phi_n(x) without resolving individual roots. Gauss's formula excels for prime n due to its simplicity and direct geometric series sum, requiring no advanced inversion, but it does not generalize easily to composite n without additional machinery like period decompositions. In contrast, the product over primitive roots and its Möbius variant offer universality for all n, enabling efficient recursive construction via divisor enumeration, though the latter trades root-level insight for algebraic manipulation. These approaches complement each other, with Gauss's suiting theoretical proofs of irreducibility and the Möbius formula facilitating broader computational applications in number theory.

Special Cases

When n = p is prime, the p-th cyclotomic polynomial is given by \Phi_p(x) = \frac{x^p - 1}{x - 1} = \sum_{j=0}^{p-1} x^j. This follows directly from the factorization x^p - 1 = (x - 1) \Phi_p(x), as the primitive p-th roots of unity are the non-1 roots of x^p - 1 = 0. For prime powers n = p^k with k \geq 1, the cyclotomic polynomial admits a recursive form obtained via successive division: \Phi_{p^k}(x) = \frac{x^{p^k} - 1}{x^{p^{k-1}} - 1} = \Phi_p(x^{p^{k-1}}). This relation holds because x^{p^k} - 1 = \prod_{j=0}^k \Phi_{p^j}(x), so dividing by the product of lower-degree terms x^{p^{k-1}} - 1 = \prod_{j=0}^{k-1} \Phi_{p^j}(x) isolates \Phi_{p^k}(x). For odd primes p, this expands to \Phi_{p^k}(x) = \sum_{j=0}^{p-1} x^{j p^{k-1}}. Computations for small k proceed by polynomial long division of x^{p^k} - 1 by x^{p^{k-1}} - 1. A special instance arises when p = 2, so n = 2^k. Here, \Phi_1(x) = x - 1 and \Phi_2(x) = x + 1, while for k \geq 2, \Phi_{2^k}(x) = x^{2^{k-1}} + 1. This binary form results from the recursive relation \Phi_{2^k}(x) = \Phi_2(x^{2^{k-1}}) = x^{2^{k-1}} + 1, verifiable by successive division: for example, \Phi_4(x) = (x^4 - 1)/(x^2 - 1) = x^2 + 1 and \Phi_8(x) = (x^8 - 1)/(x^4 - 1) = x^4 + 1. These polynomials have exactly two terms, reflecting the structure of roots on the unit circle. For n = pq with distinct primes p and q, the cyclotomic polynomial is computed by direct division: \Phi_{pq}(x) = \frac{\Phi_q(x^p)}{\Phi_q(x)} = \frac{(x^{pq} - 1)(x - 1)}{(x^p - 1)(x^q - 1)}. This derives from the full factorization x^{pq} - 1 = \Phi_1(x) \Phi_p(x) \Phi_q(x) \Phi_{pq}(x), isolating \Phi_{pq}(x) by dividing out the other factors via polynomial division. The resulting coefficients lie in \{-1, 0, 1\}, though no simpler closed sum form exists in general. For instance, with p=2 and q=3, \Phi_6(x) = x^2 - x + 1. In these cases, cyclotomic polynomials are efficiently computed using successive polynomial division of x^n - 1 by the cyclotomic polynomials for proper divisors of n, leveraging the multiplicative structure of the roots of unity. This method avoids the general and scales well for prime-power or semiprime n, as the divisor chain is short.

Generalizations

Over Finite Fields

When the prime p does not divide n, the cyclotomic polynomial \Phi_n(x) factors over the finite field \mathbb{F}_p into \phi(n)/f distinct monic irreducible polynomials, each of degree f, where f is the multiplicative order of p modulo n (the smallest positive integer such that p^f \equiv 1 \pmod{n}). This factorization arises because the primitive nth roots of unity lie in the extension field \mathbb{F}_{p^f}, and the action of the generates the minimal polynomials of degree f. If p divides n, the behavior changes due to the characteristic p. Specifically, when n = p m with p \nmid m, \Phi_n(x) \equiv \Phi_m(x)^{p-1} \pmod{p}. In this case, the irreducible factors of \Phi_m(x) over \mathbb{F}_p are each raised to the power p-1. For higher powers, such as n = p^k m with k > 1 and p \nmid m, \Phi_n(x) \equiv \Phi_m(x)^{p^{k-1}(p-1)} \pmod{p}, reflecting the iterated application of the . The roots of \Phi_n(x) over \mathbb{F}_p (with p \nmid n) reside in the cyclotomic extension \mathbb{F}_{p^f}, which underpins the structure of finite fields containing roots of unity. These polynomials are instrumental in , particularly for constructing cyclic codes such as BCH and Reed-Solomon codes, where the irreducible factors define generator polynomials for error-correcting codes over \mathbb{F}_p. For example, over \mathbb{F}_2, \Phi_7(x) factors as (x^3 + x + 1)(x^3 + x^2 + 1), consisting of two irreducible cubics since the order of 2 modulo 7 is 3. Another case is \Phi_{20}(x) \equiv (1 + x + x^2 + x^3 + x^4)^2 \pmod{2}, illustrating the powering when 2 divides 20.

Over p-adic Integers

In the ring \mathbb{Z}_p of polynomials over the p-adic integers, the nth cyclotomic polynomial \Phi_n(x) factors according to the factorization of its reduction modulo p, via Hensel's lemma, assuming the factors modulo p are separable, which holds since cyclotomic polynomials have distinct roots over fields of characteristic zero. Specifically, if p does not divide n, the reduction \Phi_n(x) \mod p factors into \phi(n)/f irreducible factors over \mathbb{F}_p each of degree f, where f is the multiplicative order of p modulo n; these lift uniquely to irreducible factors in \mathbb{Z}_p of the same degrees, reflecting the decomposition behavior in the unramified part of the extension \mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p. In contrast, if p divides n, say n = p^k m with p \nmid m, then \Phi_n(x) factors in \mathbb{Z}_p into the product of the lifted factors from the coprime part and the irreducible \Phi_{p^k}(x), where \Phi_{p^k}(x) remains irreducible in \mathbb{Z}_p as it is the minimal polynomial for a primitive p^kth root of unity over \mathbb{Q}_p, with degree \phi(p^k) = p^{k-1}(p-1). For instance, \Phi_p(x) = \sum_{i=0}^{p-1} x^i is irreducible over \mathbb{Q}_p after the substitution x \mapsto x+1, yielding an Eisenstein polynomial at p, ensuring irreducibility lifts to \mathbb{Z}_p. The structure of these polynomials connects directly to p-adic cyclotomic fields, defined as extensions \mathbb{Q}_p(\zeta_n) generated by roots of \Phi_n(x). When p \nmid n, \mathbb{Q}_p(\zeta_n) is an unramified extension of degree equal to the order of p modulo n, with the integer ring \mathbb{Z}_p[\zeta_n] determined by the lifted factors of \Phi_n(x) in \mathbb{Z}_p. When p \mid n, particularly for n = p^k, \mathbb{Q}_p(\zeta_{p^k}) is a totally ramified extension of degree p^{k-1}(p-1), and \mathbb{Z}_p[\zeta_{p^k}] is the full ring of integers since \Phi_{p^k}(x) is Eisenstein after shift, making it integrally closed. These local fields play a foundational role in local , where the maximal abelian extension of \mathbb{Q}_p is generated by all cyclotomic extensions \mathbb{Q}_p(\mu_{p^\infty}) \cdot \mathbb{Q}_p^{ur}, with the Artin reciprocity map identifying \mathbb{Q}_p^\times \cong \Gal(\mathbb{Q}_p^{ab}/\mathbb{Q}_p) and the cyclotomic character describing the action on roots of unity via the isomorphism from units to the . This realizes all finite abelian extensions explicitly through adjoining roots of unity, with the ramified part corresponding to the pro-p cyclotomic tower. Iwasawa theory extends this to infinite extensions, focusing on the cyclotomic \mathbb{Z}_p-extension \mathbb{Q}_p(\mu_{p^\infty}) = \bigcup_k \mathbb{Q}_p(\zeta_{p^k}), which has Galois group \mathbb{Z}_p^\times \cong \mathbb{Z}_p \times \mathbb{Z}/(p-1)\mathbb{Z} for odd p. Here, \Phi_p(x) defines the base extension \mathbb{Q}_p(\zeta_p)/\mathbb{Q}_p, and the infinite tower's structure is analyzed via the Iwasawa algebra \Lambda = \mathbb{Z}_p[[T]], where the characteristic power series of the p-part of the class group X = \varinjlim (Cl_{Q(\mu_{p^n})}^- \otimes \mathbb{Z}_p) satisfies the main conjecture X \cong \Lambda / (f(T)) with f(T) related to the p-adic L-function L_p(s). For odd p, this cyclotomic tower provides the unique totally ramified pro-p extension of \mathbb{Q}_p, lifting uniquely from the mod p structure via the Lubin-Tate formal group, contrasting with p=2 where multiple such extensions exist. This uniqueness underpins applications in studying \mu-invariants and growth of class groups in the tower.

Evaluations

At Integer Points

The nth cyclotomic polynomial \Phi_n(x), being monic with integer coefficients, evaluates to an integer \Phi_n(a) whenever a is an integer. This follows from the fundamental factorization x^n - 1 = \prod_{d \mid n} \Phi_d(x) over the rationals, which implies that \Phi_n(a) divides a^n - 1 in \mathbb{Z} for any integer a. Explicitly, \Phi_n(a) = \prod (a - \zeta), where the product runs over all primitive nth roots of unity \zeta; since each \zeta is an algebraic integer and a is an ordinary integer (hence algebraic), each factor a - \zeta is an algebraic integer, and thus their product \Phi_n(a) is an algebraic integer that lies in \mathbb{Q}, so it must be an ordinary integer. Specific evaluations at small integers reveal structural patterns tied to the arithmetic of n. For a = 0 and n \geq 2, \Phi_n(0) = 1, as the constant term of \Phi_n(x) is $1(derived from the reciprocity\Phi_n(x) = x^{\phi(n)} \Phi_n(1/x)evaluated atx=0). At a = 1, \Phi_n(1) = 0forn=1, while for n \geq 2, \Phi_n(1) = pifn = p^rfor primepand positive integerr, and \Phi_n(1) = 1otherwise; this reflects the Möbius inversion in the degree formula\phi(n) = \sum_{d \mid n} \mu(d) (n/d)$. For integers a > 1, \Phi_n(a) is a positive that grows exponentially in the degree \phi(n), with leading behavior asymptotically a^{\phi(n)} since the roots lie on the unit circle and the polynomial is monic. Representative examples illustrate this growth and connections to factorization problems. For prime p, \Phi_p(a) = (a^p - 1)/(a - 1), so \Phi_p(2) = 2^p - 1, the Mersenne number, whose prime is of interest in (e.g., \Phi_3(2) = 7, prime; \Phi_5(2) = 31, prime; \Phi_7(2) = 127, prime; but \Phi_{11}(2) = 2047 = 23 \times 89, composite). More generally, the \Phi_n(a) often factors nontrivially, with its prime factors studied in contexts like .

Special Values

The evaluation of the cyclotomic polynomial \Phi_n(x) at the special rational point x = -1 depends on the parity and prime factorization of n. For n = 1, \Phi_1(-1) = -2. For n = 2, \Phi_2(-1) = 0. For odd n > 1, the identity \Phi_{2n}(x) = \Phi_n(-x) implies \Phi_n(-1) = \Phi_{2n}(1). Since $2n has at least two distinct prime factors for odd n > 1, \Phi_{2n}(1) = 1, so \Phi_n(-1) = 1. For even n > 2, the value is a small positive integer determined by the odd part of n: if n = 2 m with m > 1 odd and m = p^k for odd prime p and k \geq 1, then \Phi_n(-1) = p; if the odd part of n has two or more distinct prime factors, then \Phi_n(-1) = 1; and for n = 2^k with k \geq 2, \Phi_n(-1) = 2. Since \Phi_n(x) has integer coefficients, its evaluation at any rational r = a/b in lowest terms yields an over \mathbb{Q}. Specifically, b^{\deg \Phi_n} \Phi_n(a/b) is an , as it clears the denominator in the polynomial expression. The minimal polynomial of \Phi_n(r) over \mathbb{Q} has degree dividing \phi(n). A key analytic special value is the Mahler measure M(\Phi_n) = \exp\left( \frac{1}{2\pi} \int_0^{2\pi} \log |\Phi_n(e^{i\theta})| \, d\theta \right), which equals 1 for all n \geq 1. This follows from the definition M(P) = \prod_j \max(1, |\alpha_j|) for monic P with roots \alpha_j, since all roots of \Phi_n lie on the unit circle. For points near the unit circle, consider x = e^u with small real u > 0. Then e^u \approx 1 + u, and the Taylor expansion gives \Phi_n(e^u) \approx \Phi_n(1) + \Phi_n'(1) u. Taking logarithms, \log |\Phi_n(e^u)| \approx \log \Phi_n(1) + \frac{\Phi_n'(1)}{\Phi_n(1)} u. For n > 1, the logarithmic derivative satisfies \frac{\Phi_n'(1)}{\Phi_n(1)} = \frac{\phi(n)}{2}, yielding the leading asymptotic \log |\Phi_n(e^u)| \sim \log \Phi_n(1) + \frac{\phi(n)}{2} u. This approximation highlights the growth rate influenced by the degree \phi(n).

Applications

In Number Theory

Cyclotomic polynomials play a fundamental role in through the study of cyclotomic fields, which are the extensions \mathbb{Q}(\zeta_n) obtained by adjoining a nth \zeta_n to the rational numbers \mathbb{Q}. Here, \zeta_n is a root of the nth cyclotomic polynomial \Phi_n(x), and the minimal polynomial of \zeta_n over \mathbb{Q} is precisely \Phi_n(x), which is monic and irreducible over \mathbb{Q}. The of this extension is \varphi(n), where \varphi is . The of \mathbb{Q}(\zeta_n) is \mathbb{Z}[\zeta_n], the ring generated by \mathbb{Z} and \zeta_n. This structure allows for explicit computations of ideals and units in these fields. The \mathrm{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) is isomorphic to the (\mathbb{Z}/n\mathbb{Z})^\times, consisting of residue classes n that are coprime to n. Each in this group is determined by its action on \zeta_n, sending it to \zeta_n^k for some k coprime to n. This isomorphism reflects the abelian nature of the extension and facilitates the analysis of ramification and of primes in cyclotomic fields. For instance, an odd prime p ramifies in \mathbb{Q}(\zeta_n) p divides n, and the ramification index is \varphi(p^v) where p^v is the highest power of p dividing n. A key arithmetic invariant of cyclotomic fields is the class number h_n, which measures the failure of unique factorization in \mathbb{Z}[\zeta_n]. It is known that h_n = 1 for all n \leq [22](/page/22) and for certain larger n such as , , , , , , , , , , , , , , and , meaning these fields have unique into prime ideals. However, h_n > 1 first occurs at n=23 where h_{23} = 3, and the class number grows unboundedly as n increases, consistent with the Brauer-Siegel applied to the and of the field. The explicit formula for h_n involves the Dirichlet L-functions associated to characters modulo n, reflecting the deep connection between cyclotomic fields and . Cyclotomic polynomials were instrumental in early progress toward , particularly through the work of in the mid-19th century. Kummer proved the theorem for primes p, which are odd primes that do not divide the class number h_p of \mathbb{Q}(\zeta_p). His approach involved considering the equation x^p + y^p = z^p in the ring \mathbb{Z}[\zeta_p] and analyzing the factorization of the ideal (z - \zeta_p x)(z - \zeta_p^2 x) \cdots (z - \zeta_p^{p-1} x), which relates to the evaluation \Phi_p\left(\frac{z}{x} + 1\right). For primes, the factorization of ideals in \mathbb{Z}[\zeta_p] leads to a unless one of x, y, z is zero. This covered all primes up to 100 except a few irregular ones like 37, , and 67. The irreducibility of cyclotomic polynomials over \mathbb{Q} also connects to Dirichlet's theorem on primes in arithmetic progressions. Specifically, the special case asserting infinitely many primes congruent to 1 n can be proved using properties of \Phi_n(x): if there were only finitely many such primes, their product m would lead to a prime q of \Phi_n(m) with q \equiv 1 \pmod{n}, yielding a contradiction. This argument leverages the fact that \Phi_n(a) \equiv 0 \pmod{q} implies the multiplicative order of a q is exactly n, hence n divides q-1. While the full Dirichlet theorem requires analytic methods, this elementary case highlights the arithmetic significance of cyclotomic polynomials.

Periodic Sequences

Linear recurrences that generate purely periodic sequences with period dividing n have s that divide x^n - 1 over the integers. Since x^n - 1 = \prod_{d \mid n} \Phi_d(x), the factors as a product of distinct cyclotomic polynomials \Phi_d(x) for certain divisors d of n. This factorization reflects the structure of the roots as roots of unity of orders dividing n. When considering such a recurrence modulo m, the period of the sequence is the least common multiple of the multiplicative orders of the roots of the characteristic polynomial in an extension of \mathbb{Z}/m\mathbb{Z}. For a characteristic polynomial that is a product of cyclotomic polynomials \Phi_{n_i}(x), the period modulo m is the lcm of the orders of the primitive n_i-th roots of unity modulo m, which divides the lcm of the n_i. If the characteristic polynomial is a single \Phi_n(x), the resulting sequence satisfies a linear recurrence of order \phi(n) and has period n over fields where \Phi_n(x) is the minimal polynomial. For instance, the power series coefficients of $1/\Phi_n(x) form an n-periodic sequence satisfying such a recurrence. The provides a notable example related to cyclotomic periods. Its is x^2 - x - 1, and the \pi(m) is the length of the cycle of numbers m. Studies show that certain Pisano periods systematically appear as periods of linear recurrences whose s are cyclotomic, linking the periodicity to broader cyclotomic structures m. In general, for a linear recurrence m, the is the lcm of the orders arising from the cyclotomic factors of its when reduced the prime powers dividing m. Lucas sequences u_n(P, Q), defined by the recurrence u_n = P u_{n-1} - Q u_{n-2} with u_0 = 0, u_1 = 1 and characteristic polynomial x^2 - P x + Q, generalize the (where P=1, Q=-1). When the roots \alpha, \beta generate a \mathbb{Q}(\zeta_k) for some k, the sequence u_n = (\alpha^n - \beta^n)/(\alpha - \beta) inherits periodicity properties tied to the field's degree \phi(k), with the period modulo m determined by the orders of \alpha, \beta in the cyclotomic extension modulo m. These properties extend to applications in computing powers a^k \mod m. By decomposing the exponent k relative to the Carmichael function \lambda(m), which factors via the cyclotomic structure of (\mathbb{Z}/m\mathbb{Z})^* (whose exponent is the lcm of orders of elements, aligned with cyclotomic factors of \Phi_{\phi(p^e)}(x) for primes p dividing m), one can reduce the computation to cyclic subgroups corresponding to the cyclotomic components, enabling efficient exponentiation via the sequence periods.

Factoring and Irreducibility

The factorization of the polynomial x^n - 1 over the rationals is given explicitly by x^n - 1 = \prod_{d \mid n} \Phi_d(x), where the product runs over all positive divisors d of n. This decomposition into irreducible factors is a cornerstone of polynomial factoring algorithms, enabling the isolation of components that divide x^n - 1 and facilitating computations in areas such as cryptographic protocols and error-correcting codes. In algorithms for factoring over finite , such as the Berlekamp algorithm, the cyclotomic factorization underpins the distinct-degree factorization step, where gcd computations with x^{q^d} - x (for field size q) separate factors by , and cyclotomic polynomials describe the minimal polynomials of elements of dividing n. More explicitly, the irreducible factors of \Phi_n(x) over \mathbb{F}_q (assuming q coprime to n) correspond bijectively to the orbits in the cyclotomic cosets modulo n under multiplication by q, with each coset of size f (the multiplicative of q modulo n) yielding \phi(n)/f irreducible factors of f. This coset structure allows practical construction of these factors via linear algebra over the field, avoiding exhaustive searches, and is integrated into broader routines like Cantor-Zassenhaus for splitting equal- factors. For irreducibility testing over the rationals, a key criterion leverages linear substitutions tied to cyclotomic forms: a monic polynomial f(x) \in \mathbb{Z} is irreducible if there exists an integer a such that f(y + a) satisfies Eisenstein's criterion for some prime p (i.e., p divides all coefficients except the leading one, and p^2 does not divide the constant term). Irreducibility is preserved under the invertible substitution x = y + a, and this method is exemplified by cyclotomic polynomials, where \Phi_p(y + 1) = \sum_{k=0}^{p-1} \binom{p}{k+1} y^k for prime p satisfies Eisenstein's condition with respect to p, as the coefficients \binom{p}{k+1} for $0 < k+1 < p are divisible by p but the constant term \binom{p}{1} = p is not divisible by p^2. This substitution technique extends to general polynomials by selecting a to align coefficients for the criterion. In the context of primality testing, the AKS algorithm relies on cyclotomic polynomials to analyze ring structures in its verification phase. The test determines if an integer n > 1 is prime by selecting a parameter r (with suitable order properties modulo n) and checking the identity (x + a)^n \equiv x^n + a^n \pmod{n} in the ring (\mathbb{Z}/n\mathbb{Z}) / (x^r - 1) for a = 1, \dots, 2\sqrt{\phi(r)} \log n; the factorization x^r - 1 = \prod_{d \mid r} \Phi_d(x) decomposes the ring into a direct sum \bigoplus_{d \mid r} (\mathbb{Z}/n\mathbb{Z}) / (\Phi_d(x)), and the irreducibility of each \Phi_d over \mathbb{Q} (combined with n prime implying the rings are fields or have controlled nilpotents) ensures the identity holds exactly when n is prime or has small factors (ruled out separately). If the checks pass, n is certified prime in deterministic polynomial time. For practical factoring of monic polynomials over \mathbb{Z}, the Berlekamp-Zassenhaus algorithm first factors modulo several small primes p using finite-field methods that exploit cyclotomic cosets to resolve the irreducible components of the reductions, then combines these via the and lifts to \mathbb{Z} using , ensuring the global factors match the local ones. This approach efficiently handles polynomials whose reductions involve cyclotomic structures, such as those from fields.

References

  1. [1]
    Cyclotomic Polynomial -- from Wolfram MathWorld
    is an integer polynomial and an irreducible polynomial with polynomial degree phi(n) , where phi(n) is the totient function. Cyclotomic polynomials are ...
  2. [2]
    [PDF] Fields and Cyclotomic Polynomials
    Fields and Cyclotomic Polynomials. 11. Cyclotomic Polynomials. Definition: Cyclotomic Polynomial. The nth cyclotomic polynomial Φn is defined by. Φn(x) = Y ζ∈P( ...
  3. [3]
    [PDF] Cyclotomic polynomials
    Definition of the cyclotomic polynomials. Working in Z[X] we want to define cyclotomic polynomials. Φn, n ∈ Z≥1. Provisionally, define. Φn(X) = Xn − 1. Q d|n.
  4. [4]
    [PDF] Lecture 12 - Cyclotomic Polynomials, Primes Congruent to 1 mod n
    These polynomials are very interesting and useful in number theory. For in- stance, we're going to use them to prove that given any n, there are infinitely.
  5. [5]
    [PDF] cyclotomic extensions - keith conrad
    The term cyclotomic means “circle-dividing,” which comes from the fact that the nth roots of unity in C divide a circle into n arcs of equal length, as in ...Missing: Koblitz | Show results with:Koblitz
  6. [6]
    Disquisitiones arithmeticae : Gauss, Carl Friedrich, 1777-1855
    Aug 11, 2018 · Publication date: 1801. Topics: Number theory. Publisher: Lipsiae : In commiss. apud Gerh. Fleischer, jun. Collection: smithsonian.Missing: cyclotomic polynomial
  7. [7]
    [PDF] Several Proofs of the Irreducibility of the Cyclotomic Polynomial.
    We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φn(x). For n prime we present proofs due to Gauss (1801), in.
  8. [8]
    [PDF] 8. Cyclotomic polynomials
    Proof: We know that d|n (and d > 0) implies that xd −1 divides xn −1. Therefore, by unique factorization, the least common multiple of a collection of things ...
  9. [9]
    [PDF] cyclotomic extensions - keith conrad
    One such result is an elementary proof that for any n > 1 there are infinitely many primes p ≡ 1 mod n [6, Cor. 2.11]. A second result is a proof of.
  10. [10]
    On Coefficient Identities for Cyclotomic Polynomials F<sub>pq ... - jstor
    3. Sister Marion Beiter, The midterm coefficient of the cyclotomic polynomial Fpq(x), this. MONTHLY, 71 (1964) 769-770.
  11. [11]
    [PDF] california state university, northridge
    The irreducible factors of xn − 1 are the cyclotomic polyno- mials. The nth cyclotomic polynomial is thus the minimal polynomial over the rationals of a ...
  12. [12]
    On the Coefficients of Cyclotomic Polynomials
    We use this result to show that an upper bound in (5.21) holds also for M(g-p;x,a) if. V is close to VX) thus complementing the statement of Lemma 5.1. Lemma ...
  13. [13]
    [PDF] A Survey on Coefficients of Cyclotomic Polynomials - arXiv
    Dec 15, 2021 · ... Gauss (1801) [64]. For instance, cyclotomic polynomials appear in: the solution of the problem of which regular n-gons are constructible ...
  14. [14]
    [PDF] On the Coefficients of Cyclotomic Polynomials: R. Thangadurai
    (ii) If n > 1 and (2,n)=1, then Φ2n(X)=Φn(−X). (iii) For all positive integers n > 1, we have Xφ(n)Φn(1/X)=Φn(X).
  15. [15]
    A160338 - OEIS
    Height (maximum absolute value of coefficients) of the n-th cyclotomic polynomial. ... a(4) = 1 because the 4th cyclotomic polynomial x^2 + 1 has height 1.
  16. [16]
    A160340 - OEIS
    Indices of records in heights of cyclotomic polynomials (A160338). 9. 1, 105, 385, 1365, 1785, 2805, 3135, 6545, 10465, 11305, 17255 ...
  17. [17]
    [PDF] On computing factors of cyclotomic polynomials
    For odd square-free n > 1 the cyclotomic polynomial Φn(x) satisfies the identity of Gauss. 4Φn(x) = A2 n − (−1)(n−1)/2nB2 n. A similar identity of ...
  18. [18]
    [PDF] The Coefficients of Cyclotomic Polynomials - Cal State LA
    x6 − 1 = (x2 − x + 1)(x2 + x + 1)(x + 1)(x − 1). (1) The polynomials appearing in such factorizations are called cyclotomic polyno- mials. The first few ...
  19. [19]
    None
    ### Extracted Theorems and Formulas for Cyclotomic Polynomials for Prime Powers and Powers of 2
  20. [20]
    [PDF] An introduction to the theory of finite fields Michel Waldschmidt
    Jun 16, 2024 · 4.3.2 Cyclotomic Polynomials over a finite field . ... The kernel is a cyclic q–ary code of length n and minimal distance δ, the generating ...
  21. [21]
    [PDF] Class Field Theory
    Class field theory describes the abelian extensions of a local or global field in terms of the arithmetic of the field itself. These notes contain an ...
  22. [22]
    [PDF] elementary iwasawa theory for cyclotomic fields - UCLA Mathematics
    Apr 14, 2018 · In this topic course, assuming basic knowledge of algebraic number theory and com- mutative algebra, we pick topics from the theory of ...
  23. [23]
    [PDF] SAMPLE PAPER: CYCLOTOMIC POLYNOMIALS 1. Introduction Let ...
    (5) Show the degree of Φn(x) is ϕ(n). (6) Find Φn(x) when n is prime. (7) Show that if n is odd then Φ2n(x)=Φn(-x). (8) Find Φn(x) for n = 1 to 20. Gauss ...
  24. [24]
    number theory - Values of $\Phi_n(-1)$ - Mathematics Stack Exchange
    Jan 9, 2024 · For the proof we only require a few of the most basic identities for cyclotomic polynomials: If n is an odd positive integer then Φ2n(X)=Φn(−X) ...Value of cyclotomic polynomial evaluated at 1 - Math Stack ExchangeValue $\Phi_n(1)$ of the cyclotomic polynomial at x=1More results from math.stackexchange.com
  25. [25]
    calculating cyclotomic polynomials - American Mathematical Society
    Feb 17, 2011 · A cyclotomic polynomial Φn(z) is said to be flat if A(n) = 1. We say that Φn(z) is flatter than Φm(z) if A(m) < A(n). It is currently unknown ...
  26. [26]
    [1106.1304] Higher Mahler measure for cyclotomic polynomials and ...
    Jun 7, 2011 · The k-higher Mahler measure of a nonzero polynomial P is the integral of \log^k|P| on the unit circle. In this note, we consider Lehmer's ...
  27. [27]
    Coefficients and higher order derivatives of cyclotomic polynomials
    May 14, 2018 · In this paper we present a survey of these formulas which until now were scattered in the literature and introduce an unified approach to derive some of them.
  28. [28]
    Introduction to Cyclotomic Fields - SpringerLink
    In stock Free deliveryLawrence C. Washington. Pages 167-184. Galois Groups Acting on Ideal Class Groups. Lawrence C. Washington. Pages 185-204. Cyclotomic Fields of Class Number One.
  29. [29]
    [PDF] M345P11: Cyclotomic fields. 1 Introduction.
    The neatest way to see this is that Z/nZ is a ring, and the units in a ring form a group, and the units (Z/nZ)× in the ring Z/nZ are precisely the cosets ...
  30. [30]
    Ideal class groups of cyclotomic number fields I - EuDML
    [LOO] S. Louboutin, R. Okazaki and M. Olivier, The class number one problem for some non-abelian normal CM-fields, preprint, 1994.
  31. [31]
    [PDF] Fermat's last theorem for regular primes - Keith Conrad
    The concept of regular prime was introduced by Kummer in his work on Fermat's Last. Theorem (FLT). He proved the following result in 1847. Theorem 1. For a ...Missing: polynomials | Show results with:polynomials
  32. [32]
    [PDF] Kummer, Regular Primes, and Fermat's Last Theorem
    Φp(x) = xp − 1 x − 1. = xp−1 + xp−2 + ... + x + 1. This is called the pth cyclotomic polynomial as it is the minimal polynomial for ζp. Note that the other pth.
  33. [33]
    [PDF] IRREDUCIBILITY OF CYCLOTOMIC POLYNOMIALS Let Φn(X) ∈ Q ...
    This writeup will show that Φn is irreducible. The argument, making use of Dirichlet's theorem on primes in an arithmetic progression and of localization, was ...
  34. [34]
    [PDF] Dirichlet's Theorem
    With the use of cyclotomic polynomials, we will take a step towards the proof of Dirichlet's theorem: we will prove there are infinite many primes of the form ...
  35. [35]
    [PDF] Second-Order Linear Recurrence Relations and Periodicity
    By varying the initial values s0 and s1, a given second-order linear recurrence relation can generate at most three distinct non-trivial periods, one of which ...
  36. [36]
    [PDF] Periods of sequences given by linear recurrence relations mod p
    Sep 17, 2013 · A second-order linear recurrence relation gives rise to a 2 × 2 matrix. ... order lcm(|λ1|,|λ2|). Note k(p) = ord(A) since x0 = 0. 1 cannot be an ...
  37. [37]
    A240467 - OEIS
    In general the expansion of 1/Phi(N) is N-periodic, but also satisfies a linear recurrence of lower order given by degree(Phi(N)) = phi(N) = A000010(N) < N.
  38. [38]
    None
    ### Summary of Cyclotomic Polynomials, Periodic Sequences, and Linear Recurrences (Fibonacci and Pisano Periods)
  39. [39]
    Lucas sequences with cyclotomic root field - EuDML
    Abstract. A pair of Lucas sequences Uₙ = (αⁿ-βⁿ)/(α-β) and Vₙ = αⁿ + βⁿ is famously associated with each polynomial x² - Px + Q ∈ ℤ[x] with roots α and β.
  40. [40]
    [PDF] The Multiple Equal-Difference Structure of Cyclotomic Cosets - arXiv
    Graner: Closed formulas for the factorization of Xn − 1, the n-th cyclotomic polynomials, Xn − a and f(X) over a finite field for arbitrary positive integer n.