In mathematics, the nth cyclotomic polynomial, for any positive integer n, is the unique irreducible polynomial with integer coefficients that is a divisor of
xn-1
xk-1
| ||||
e |
\Phin(x)= \prod\stackrel{1\lek\le
| ||||
n}{\gcd(k,n)=1} \left(x-e |
\right).
It may also be defined as the monic polynomial with integer coefficients that is the minimal polynomial over the field of the rational numbers of any primitive nth-root of unity (
e2i\pi/n
An important relation linking cyclotomic polynomials and primitive roots of unity is
\prodd\mid\Phid(x)=xn-1,
xn-1
If n is a prime number, then
\Phin(x)=1+x+x2+ … +xn-1
n-1 | |
=\sum | |
k=0 |
xk.
\Phi2p(x)=1-x+x2- … +xp-1
p-1 | |
=\sum | |
k=0 |
(-x)k.
For n up to 30, the cyclotomic polynomials are:[1]
\begin{align} \Phi1(x)&=x-1\\ \Phi2(x)&=x+1\\ \Phi3(x)&=x2+x+1\\ \Phi4(x)&=x2+1\\ \Phi5(x)&=x4+x3+x2+x+1\\ \Phi6(x)&=x2-x+1\\ \Phi7(x)&=x6+x5+x4+x3+x2+x+1\\ \Phi8(x)&=x4+1\\ \Phi9(x)&=x6+x3+1\\ \Phi10(x)&=x4-x3+x2-x+1\\ \Phi11(x)&=x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi12(x)&=x4-x2+1\\ \Phi13(x)&=x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi14(x)&=x6-x5+x4-x3+x2-x+1\\ \Phi15(x)&=x8-x7+x5-x4+x3-x+1\\ \Phi16(x)&=x8+1\\ \Phi17(x)&=x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi18(x)&=x6-x3+1\\ \Phi19(x)&=x18+x17+x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi20(x)&=x8-x6+x4-x2+1\\ \Phi21(x)&=x12-x11+x9-x8+x6-x4+x3-x+1\\ \Phi22(x)&=x10-x9+x8-x7+x6-x5+x4-x3+x2-x+1\\ \Phi23(x)&=x22+x21+x20+x19+x18+x17+x16+x15+x14+x13+x12\\ & +x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi24(x)&=x8-x4+1\\ \Phi25(x)&=x20+x15+x10+x5+1\\ \Phi26(x)&=x12-x11+x10-x9+x8-x7+x6-x5+x4-x3+x2-x+1\\ \Phi27(x)&=x18+x9+1\\ \Phi28(x)&=x12-x10+x8-x6+x4-x2+1\\ \Phi29(x)&=x28+x27+x26+x25+x24+x23+x22+x21+x20+x19+x18+x17+x16+x15\\ & +x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1\\ \Phi30(x)&=x8+x7-x5-x4-x3+x+1. \end{align}
The case of the 105th cyclotomic polynomial is interesting because 105 is the least positive integer that is the product of three distinct odd prime numbers (3*5*7) and this polynomial is the first one that has a coefficient other than 1, 0, or −1:
\begin{align} \Phi105(x)={}&x48+x47+x46-x43-x42-2x41-x40-x39+x36+x35+x34\ &{}+x33+x32+x31-x28-x26-x24-x22-x20+x17+x16+x15\\ &{}+x14+x13+x12-x9-x8-2x7-x6-x5+x2+x+1.\end{align}
The cyclotomic polynomials are monic polynomials with integer coefficients that are irreducible over the field of the rational numbers. Except for n equal to 1 or 2, they are palindromes of even degree.
The degree of
\Phin
\varphi(n)
\varphi
The fact that
\Phin
\varphi(n)
\Z[x]
A fundamental relation involving cyclotomic polynomials is
\begin{align}xn-1&=\prod1\leqslant\left(x-
| ||||
e |
\right)\\ &=\prodd\prod1\left(x-
| ||||
e |
\right)\\ &=\prodd
\Phi | ||||
|
(x)=\prodd\mid\Phid(x).\end{align}
which means that each n-th root of unity is a primitive d-th root of unity for a unique d dividing n.
The Möbius inversion formula allows
\Phin(x)
\Phin(x)=\prodd\mid(xd-1)
| ||||||
,
where
\mu
The cyclotomic polynomial
\Phin(x)
xn-1
\Phi | ||||
|
d<n
(Recall that
\Phi1(x)=x-1
This formula defines an algorithm for computing
\Phin(x)
As noted above, if is a prime number, then
\Phin(x)=1+x+x2+ … +xn-1
n-1 | |
=\sum | |
k=0 |
xk .
If n is an odd integer greater than one, then
\Phi2n(x)=\Phin(-x) .
In particular, if is twice an odd prime, then (as noted above)
\Phin(x)=1-x+x2- … +xp-1
p-1 | |
=\sum | |
k=0 |
(-x)k .
If is a prime power (where p is prime), then
\Phin(x)=
pm-1 | |
\Phi | |
p(x |
)
p-1 | |
=\sum | |
k=0 |
kpm-1 | |
x |
.
More generally, if with relatively prime to, then
\Phin(x)=\Phipr
pm-1 | |
(x |
) .
These formulas may be applied repeatedly to get a simple expression for any cyclotomic polynomial
\Phin(x)
\Phin(x)=
n/q | |
\Phi | |
q(x |
) .
This allows formulas to be given for the th cyclotomic polynomial when has at most one odd prime factor: If is an odd prime number, and and are positive integers, then
\Phi | |
2h |
(x)=
2h-1 | |
x |
+1 ,
\Phi | |
pk |
(x)=
p-1 | |
\sum | |
j=0 |
jpk-1 | |
x |
,
\Phi | |
2hpk |
(x)=
p-1 | |
\sum | |
j=0 |
(-1)jx
j2h-1pk-1 | |
.
For the other values of, the computation of the th cyclotomic polynomial is similarly reduced to that of
\Phiq(x),
\Phinp(x)=\Phin
p)/\Phi | |
(x | |
n(x) . |
The problem of bounding the magnitude of the coefficients of the cyclotomic polynomials has been the object of a number of research papers. Several survey papers give an overview.[3] If n has at most two distinct odd prime factors, then Migotti showed that the coefficients of
\Phin
The first cyclotomic polynomial for a product of three different odd prime factors is
\Phi105(x);
\Phi231(x)=\Phi3 x (x)
If n is a product of more different odd prime factors, the coefficients may increase to very high values. E.g.,
\Phi15015(x)=\Phi3 x (x)
\Phi255255(x)=\Phi3 x (x)
Let A(n) denote the maximum absolute value of the coefficients of Φn. It is known that for any positive k, the number of n up to x with A(n) > nk is at least c(k)⋅x for a positive c(k) depending on k and x sufficiently large. In the opposite direction, for any function ψ(n) tending to infinity with n we have A(n) bounded above by nψ(n) for almost all n.
A combination of theorems of Bateman resp. Vaughan states that on the one hand, for every
\varepsilon>0
A(n)<
\left(n(log\right) | |
e |
n
A(n)>
\left(n(log\right) | |
e |
n
xn-1
n
\Phin
Let n be odd, square-free, and greater than 3. Then:[4]
4\Phin(z)=
2(z) | |
A | |
n |
-
| ||||
(-1) |
2(z) | |
nz | |
n |
where both An(z) and Bn(z) have integer coefficients, An(z) has degree φ(n)/2, and Bn(z) has degree φ(n)/2 − 2. Furthermore, An(z) is palindromic when its degree is even; if its degree is odd it is antipalindromic. Similarly, Bn(z) is palindromic unless n is composite and ≡ 3 (mod 4), in which case it is antipalindromic.
The first few cases are
\begin{align} 4\Phi5(z)&=4(z4+z3+z2+z+1)\ &=(2z2+z+2)2-5z2\\[6pt] 4\Phi7(z)&=4(z6+z5+z4+z3+z2+z+1)\ &=(2z3+z2-z-2)2+7z2(z+1)2\ [6pt] 4\Phi11(z) &=4(z10+z9+z8+z7+z6+z5+z4+z3+z2+z+1)\ &=(2z5+z4-2z3+2z2-z-2)2+11z2(z3+1)2 \end{align}
Let n be odd, square-free and greater than 3. Then
\Phin(z)=
2(z) | |
U | |
n |
-
| ||||
(-1) |
2(z) | |
nzV | |
n |
where both Un(z) and Vn(z) have integer coefficients, Un(z) has degree φ(n)/2, and Vn(z) has degree φ(n)/2 − 1. This can also be written
\Phin\left
| ||||
((-1) |
z\right)=
2(z) | |
C | |
n |
-
2(z). | |
nzD | |
n |
If n is even, square-free and greater than 2 (this forces n/2 to be odd),
\Phi | ||||
|
\left(-z2\right)=\Phi2n(z)=
2(z) | |
C | |
n |
-
2(z) | |
nzD | |
n |
where both Cn(z) and Dn(z) have integer coefficients, Cn(z) has degree φ(n), and Dn(z) has degree φ(n) − 1. Cn(z) and Dn(z) are both palindromic.
The first few cases are:
\begin{align} \Phi3(-z)&=\Phi6(z)=z2-z+1\\ &=(z+1)2-3z\\[6pt] \Phi5(z)&=z4+z3+z2+z+1\\ &=(z2+3z+1)2-5z(z+1)2\\[6pt] \Phi6/2(-z2)&=\Phi12(z)=z4-z2+1\\ &=(z2+3z+1)2-6z(z+1)2 \end{align}
The Sister Beiter conjecture is concerned with the maximal size (in absolute value)
A(pqr)
\Phipqr(x)
3\leqp\leqq\leqr
Over a finite field with a prime number of elements, for any integer that is not a multiple of, the cyclotomic polynomial
\Phin
\varphi(n) | |
d |
\varphi(n)
\Phin
\varphi(n)
\Phin
These results are also true over the -adic integers, since Hensel's lemma allows lifting a factorization over the field with elements to a factorization over the -adic integers.
If takes any real value, then
\Phin(x)>0
For studying the values that a cyclotomic polynomial may take when is given an integer value, it suffices to consider only the case, as the cases and are trivial (one has
\Phi1(x)=x-1
\Phi2(x)=x+1
For, one has
\Phin(0)=1,
\Phin(1)=1
\Phin(1)=p
n=pk
The values that a cyclotomic polynomial
\Phin(x)
More precisely, given a prime number and an integer coprime with, the multiplicative order of modulo, is the smallest positive integer such that is a divisor of
bn-1.
The definition of the multiplicative order implies that, if is the multiplicative order of modulo, then is a divisor of
\Phin(b).
If is a positive integer and is an integer, then (see below for a proof)
kgh, | |
\Phi | |
n(b)=2 |
This implies that, if is an odd prime divisor of
\Phin(b),
p2
\Phin(b).
Zsigmondy's theorem implies that the only cases where and are
\begin{align} \Phi1(2)&=1\\ \Phi2\left(2k-1\right)&=2k&&k>0\\ \Phi6(2)&=3 \end{align}
It follows from above factorization that the odd prime factors of
\Phin(b) | |
\gcd(n,\Phin(b)) |
are exactly the odd primes such that is the multiplicative order of modulo . This fraction may be even only when is odd. In this case, the multiplicative order of modulo is always .
There are many pairs with such that
\Phin(b)
\Phin(b)
\Phin(b)
\Phin(b)
λ ⋅ \varphi(n)
λ
\varphi
\Phin(b)
\Phin(1).
n=pk+1
pk | |
\Phi | |
n(x)=1+x |
2pk | |
+x |
(p-1)pk | |
+ … +x |
and \Phin(1)=p.
If is not a prime power, let
P(x)=1+x+ … +xn-1,
P(1)=n,
\Phik(x)
\Phip(x),
\Phi | |
p2 |
(x), … ,
\Phi | |
pm |
(x)
n=P(1).
P(x).
\Phin(1).
p\mid\Phin(b).
p\midbn-1.
p\nmid\Phin(b),
\Phik(b)
bn-1,
bk-1,
\Phin(b)
\Phin(b)
\Phin(b)
\Phik(b).
\Phin(x)
\Phik(x)
P\Phik+Q\Phin,
nn
xn-1.
\Phin(b),
\Phin(b),
p2
\Phin(b).
p2
\Phin(x).
S(x)= | xn-1 |
xm-1 |
=1+xm+x2m+ … +x(p-1)m.
The multiplicative order of modulo divides, which is a divisor of . Thus is a multiple of . Now,
S(b)=
(1+c)p-1 | |
c |
=p+\binom{p}{2}c+ … +\binom{p}{p}cp-1.
As is prime and greater than 2, all the terms but the first one are multiples of
p2.
p2\nmid\Phin(b).
Using
\Phin
p1,p2,\ldots,pk
1
n.
N=np1p2 … pk
\Phin(N)
q
\Phin(N)
\Phin(N) ≠ \pm1
N
\Phin(x)\equiv\pm1\pmodx,
q
q\equiv1\pmodn.
Let
m
N
q.
\Phin(N)\midNn-1
Nn-1\equiv0\pmod{q}
m\midn
m=n
Assume for contradiction that
m<n
\prodd\Phid(N)=Nm-1\equiv0\pmodq
we have
\Phid(N)\equiv0\pmodq,
for some
d<n
N
\prodd\Phid(x)\equivxn-1\pmodq.
Thus
N
\left. | d(xn-1) |
dx |
\right|N\equivnNn-1\equiv0\pmodq.
But
q\nmidN
q\nmidn.
m=n
N\pmodq,
n
q-1
q\equiv1\pmodn.
Gauss's book Disquisitiones Arithmeticae [''Arithmetical Investigations''] has been translated from Latin into French, German, and English. The German edition includes all of his papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes.