## English reference for a result of Kronecker?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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?

-

4
As an aside, a great resource for finding old German papers is the GDZ website gdz.sub.uni-goettingen.de 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 2010 at 16:22
And 'old German papers' includes (all, I think, of) Inventiones, for example. – Mariano Suárez-Alvarez Feb 1 2010 at 1:57

1
"Lectures on the theory of algebraic numbers" by Erich Hecke, Section 34, Lemma (a) p. 108, books.google.com/… Sorry for being so late! – Pierre-Yves Gaillard Sep 17 2010 at 5:25

## 6 Answers

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.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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.

-
Snap ! – Kevin Buzzard Jan 6 2010 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 2010 at 13:23

1
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 2010 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 2010 at 14:14

1
@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 2010 at 9:14
show 1 more comment

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

-

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.

-

Here is a good reference! http://www2.ucy.ac.cy/~damianou/kronecker.pdf

-

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9185649752616882, "perplexity_flag": "middle"}