Professional Documents
Culture Documents
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://www.jstor.org/page/
info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact support@jstor.org.
Mathematical Association is collaborating with JSTOR to digitize, preserve and extend access to The Mathematical Gazette.
http://www.jstor.org
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
CYCLOTOMICPOLYNOMIALFACTORS 195
Cyclotomicpolynomialfactors
RICHARDGRASSL and TABITHAT.Y. MINGUS
1. Introduction
The n th roots of unity play a key role in abstractalgebra, providing a
rich link between groups, vectors, regular n-gons, and algebraic
factorizations. This richness permitsextensive study. A historicalexample
of this interest is the 1938 challenge levelled by the Soviet mathematician
N. G. Chebotarev(see [1] or [2]). His question was 'Are the coefficients of
the irreduciblefactors in Z [n] of x" - 1 always from the set {-1, 0, 1}?'
Massive tables of data were compiled, but attemptsto prove the results for
all n failed. Three years later, V. Ivanov [3] proved that all polynomials
xn - 1, where n < 105, had the propertythat when fully factoredover the
integers all coefficients were in the set {-1, 0, 1}. However, one of the
factors of x105- 1 contains two coefficients that are -2.* Ivanov further
proved for which n such factorisationswould occur and which term in the
factor would have the anomalous coefficients. A twist that makes this
historical episode more intriguingis that Bloom [4] creditedBang [5] with
making this discovery in 1895, predatingthe Chebotarevchallenge by more
thanfour decades.t
Recall that an nth root of unity is said to be primitive if it is not a dth
root of unity for any other divisor d of n than d = n. Let
R = cos I + i sin 2. When n = 6, R and R5are the primitive6th roots of
unity. Rk is a primitive root of unity if, and only if, k and n are relatively
prime. Euler's q-function, q (n), gives the numberof primitiven th roots of
unity. There is a unique monic polynomial n,(x) having degree qp(n),
whose roots are the distinct primitive nth roots of unity. n, (x) is called a
cyclotomic polynomial. It is well known that ?, (x) has integer coefficients
and is irreducible. Since each nth root of unity is a primitive dth root of
unity for some divisor d of n the polynomial x' - 1 can be factorised as
x" - 1 = ln (d (x), where the productis taken over all divisors d of n. We
shall exploit these importantfacts in our final theorem.
2. More generalfactorisations
A series of seemingly similar numbersequences are investigatedin the
following problem: Question: Which numbersin these infinite sequences
are prime?
101, 10101, 1010101, 101010101, ... (1)
1001, 1001001, 1001001001, ... (2)
10001, 100010001, 1000100010001, .... (3)
This question has appeared in various settings, usually related to
* This example can be quickly verified using Mathematica.
t Ourthanksto the referee for alertingus to the 'creditconfusion' in this historicalaccount.
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
196 THEMATHEMATICAL
GAZE
'I E
3. Thefirst numbersequence
Given the procedure described above, it is easy to show that each
number in sequence (1), with the exception of 101, is composite. The
polynomial for the mth term of sequence (1) is x2m + x2m-2 + ... + x2 + 1.
When m = 3, 5, ... these polynomials factoriseby groupingas
x2m-2(x2 + 1) +X2m-6(X2+ 1) + (X + 1)
This factorisationsimply restatesthe obvious fact that 101 divides each term
in the subsequence 101, 1010101, 10101010101, .. When
m = 2, 4, 6, 8, ... the polynomials x2m+x2m-2+ ... +x2+1 have an
odd number of summands. Some cannot be factored by grouping.
However, they can be written as a quotient that allows factoring as a
differenceof two squares:
X2m
+2n- 2 X 2m+2 x +1
I? 1 +I
X + + ... + x2 +1 =
x2-! x-l x+1
Since m is even, m + 1 is odd, so
2m 2
X + ... + +
... -
(Xm + x-1 + .+-x + 1)
. (xm.- X- + X + 1).
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
CYCLOTOMIC
POLYNOMIAL
FACTORS 197
There are many other observationsthat could lead to this same conclusion.
It is the algebraic connection, and subsequent polynomial factorisation
techniquesthatare most intriguingand fruitful.
4. Thesecond sequence
What is the nature of the numbersin sequence (2)? The polynomials
1 + X3 + x6 + ... + x3mfactoriseby groupingwhen m is odd. We have
3m 3m - 3 3m - 6 3m - 9
+ + + + +
~~~~~~~xis in Z2 [n]
is in Z [n].
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
198 THEMATHEMATICAL
GAZET
TE
18
= +X3 +x9 + ... -X18h-9 + x8h).
(I +X6)(l
Since 1001 and 1001001 are composite, Theorems 1 and 2 show that all
3-gap numbers are composite. When k = 2 (m = 8), an interesting
technological anomaly occurs. While the TI-92 shows the polynomial
1 + X3 + X6 + ... + X24 to be irreducible it quickly factors
1001001001001001001001001, its number sequence mate, as
9.757.333667.440334654777631, whereasMathematicafactorsboth.
5. The thirdsequence
Does sequence (3) behave in a similar manner and what polynomial
factorisationsare involved? The following analogueof Lemma 1 will help.
x4-1
3(m 2(
= ++1 x 1) + Xmm + 1\
\ i1 h of t t f+ + 1
with each of the two factorsin Z [x].
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
CYCLOTOMICPOLYNOMIALFACTORS 199
75 ..
=(1 + x5+ X10 + X15 + X20)(1 + x25 + X50 + + + 50h).
n (d n ( d (X) .
(X)
\d na I da
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
200 THE MATHEMATICALGAZEllTE
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions
CYCLOTOMICPOLYNOMIALFACTORS 201
7. Conclusion
With this result we can conclude that for fixed a > 2 there is at most
one polynomial that is irreducible and hence for any a-gap sequence of
numbersthereis at most one term that is prime. For a = 2, 3, 4 and 5, the
correspondingirreduciblepolynomials are x2 + 1, x6 + x3 + 1, x4 + 1 and
x20 x15 + + x5 + 1; for a = 6 there are none since 6 is not a power
of a prime. The corresponding numbers are 101 (prime), 1001001
(composite), 10001 (composite) and 100001000010000100001 (composite),
as determinedby using Mathematicaor a TI-92.
The original question (and more) has been answered. Finally,
reminiscent of the Chebotarevconjecture, we note here that the quotients
producedin Lemmas 1, 2, and 3 seem, based on significant compiled data,
to be symmetricpolynomials whose coefficients are in the set {-1, 0, 1}.
The analysis of these polynomials will appearin a laterpaper.
Acknowledgement
The authorsexpress their thanks to the referee for contributionsin the
formulationof Theorem 4, and for bringing to our attentionthe articles by
Bang, Bloom, and Lehmer.
References
1. I. S. Sominskii, The Method of Mathematical Induction, Blaisdell
Publishing(1961).
2. D. H. Lehmer,Some propertiesof the cyclotomic polynomials,Journal
of MathematicalAnalysis and Applications,15 (1966) pp 105-114.
3. V. Ivanov, On propertiesof the coefficients of the irreducibleequation
for the partitionof the circle. UspekhiMatem. Nauk 9 (1941) pp. 313-
317.
4. D. M. Bloom, On the coefficients of the cyclotomic polynomials.
AmericanMath.Monthly,75 (1968) pp 372-377.
5. A. S. Bang, Om Ligningen (n (x) = 0, Nyt Tidsskriftfor Mathematik,
AfdelingB, 6 (1895) pp 6-12.
6. C. T. Salkind, Factorizationof a2n + an + 1, Mathematics Magazine
38 (1965) p. 163.
7. Bryant Tuckerman, Factorization of x2n + xn + 1 using cyclotomic
polynomials,MathematicsMagazine 42 (1969) pp. 41-42.
RICHARDGRASSL
Universityof NorthernColorado, Greeley, CO 80639
e-mail: Richard.Grassl@unco.edu
TABITHAT.Y. MINGUS
WesternMichigan University,Kalamazoo,MI 49008
e-mail: Tabitha.Mingus@wmich.edu
This content downloaded from 193.146.10.137 on Tue, 24 Nov 2015 14:29:32 UTC
All use subject to JSTOR Terms and Conditions