MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Kronecker's paper Zwei Sätze über Gleichungen mit ganzzahligen Coefficienten apparently proves the following result that I'd like to reference:

Let $f$ be a monic polynomial with integer coefficients in $x$. If all roots of $f$ have absolute value at most 1, then $f$ is a product of cyclotomic polynomials and/or a power of $x$ (that is, all nonzero roots are roots of unity).

However, I don't have access to this article, and even if I did my 19th century German skills are lacking; does anyone know a reference in English I could check for details of the proof?

share|cite|improve this question
As an aside, a great resource for finding old German papers is the GDZ website At the site you can search for and download whatever paper you happen to be interested in (for example, Kronecker's paper is there). – Ben Linowitz Jan 6 '10 at 16:22
And 'old German papers' includes (all, I think, of) Inventiones, for example. – Mariano Suárez-Alvarez Feb 1 '10 at 1:57
"Lectures on the theory of algebraic numbers" by Erich Hecke, Section 34, Lemma (a) p. 108,… Sorry for being so late! – Pierre-Yves Gaillard Sep 17 '10 at 5:25

I don't know a reference, but here is a quick proof: Let the roots of the polynomial be $\alpha_1$, $\alpha_2$, ..., $\alpha_r$. Let

$$f_n(x) = \prod_{i=1}^r (x- \alpha_i^n).$$

All the coefficients of $f_n$ are rational, because they are symmetric functions of the $\alpha$'s, and are algebraic integers, because the $\alpha$'s are, so they are integers. Also, since $|\alpha_i| \leq 1$, the coefficient of $x^k$ in $f_n$ is at most $\binom{r}{k}$.

Combining the above observations, the coefficients of the $f_n$ are integers in a range which is bounded independent of $n$. So, in the infinite sequence $f_i$, only finitely many polynomials occur. In particular, there is some $k$ and $\ell$, with $\ell>0$, such that $f_{2^k} = f_{2^{k + \ell}}$. So raising to the $2^{\ell}$ power permutes the list $(\alpha_1^{2^{k}}, \ldots, \alpha_r^{2^k})$. For some positive $m$, raising to the $2^{\ell}$ power $m$ times will be the trivial permutation. In other words,

$$\alpha_i^{2^k} = \alpha_i^{2^{k+\ell m}}$$.

Every root of the above equation is $0$ or a root of unity.

share|cite|improve this answer
Snap ! – Kevin Buzzard Jan 6 '10 at 13:18
Ummm, I didn't mean that as a put down. There are plenty of circumstances where a reference is more useful than a proof. If GTaylor is writing a paper, he certainly wants to cite a published result, not an internet posting. – David Speyer Jan 6 '10 at 13:23
There are definitely circumstances where a reference is more useful than a proof. But here (a) the proof is short and (b) the OP makes it clear that they want to read the details, which surely justifies typing up a proof. – Kevin Buzzard Jan 6 '10 at 13:27
Thanks for the proofs both of you; I'm referencing the result in my thesis so yes, I need something to cite, but for something that admits quick proofs like this I feel I should definitely know how it works rather than just appeal to a source. – Gray Taylor Jan 6 '10 at 14:14
@Kevin: Many PhD committees (in the US at least) have the sentiment that the thesis should be the one mathematical document the candidate writes in which all details are spelled out. It's not necessarily that a lack of detail suggests that the candidate does not know how to prove the result (although that certainly could be the case, and readers of the thesis who are outside the subject area can find it hard to tell). In this case, I would argue that more value is added in just including a proof: an extra half page is nothing on the scale of most theses. – Pete L. Clark Feb 1 '10 at 9:14

If all the Galois conjugates of an algebraic integer $\alpha$ have absolute value at most 1, then the norm of this algebraic integer is a rational integer with absolute value at most 1. Hence either the algebraic integer is 0, or its norm is $\pm1$, and in the latter case all the Galois conjugates of $\alpha$ must have absolute value equal to 1. Now it's a well-known fact that the only algebraic integers all of whose conjugates have absolute value 1 are the roots of unity [Proof: bounds on the absolute values of the conjugates give bounds on the coefficients of the min polys, and so there are only finitely many possible min polys for $\alpha^n$, $n=1,2,3,\ldots$ (as the degrees are bounded too), and hence $\alpha^n=\alpha^m$ for some $m>n>0$], so there is a complete proof for you.

share|cite|improve this answer

Another nice reference (with a short proof) is

G. Greiter, A simple proof for a theorem of Kronecker, Amer. Math. Monthly 85 (1978), no. 9, 756–757.

The proof in this paper is related to the proofs given above by Kevin and David, but is a bit more elementary.

share|cite|improve this answer

Bombieri and Gluber's recent book "Heights in Diophantine Geometry" has a proof of this in chapter 1.

share|cite|improve this answer

When I was a kid the standard reference for this result was Polya and Szego, Problems and Theorems in Analysis, Volume 2. It's question 200 in Part 8.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.