Q12
Number Theory
Algebraic Number Theory and Minimal Polynomials
View
Let $P \in \mathbb { Z } [ X ]$ be a monic polynomial of degree $n \geq 1$, irreducible in $\mathbb { Q } [ X ]$ and all of whose complex roots have modulus 1. Let $z _ { 1 } , \ldots , z _ { n }$ be the complex roots of $P$ counted with their multiplicities. For every integer $k \geq 0$ we denote $a _ { k } = z _ { 1 } ^ { k } + z _ { 2 } ^ { k } + \cdots + z _ { n } ^ { k }$.
(a) Show that there exist two integers $0 \leq k < l$ such that $a _ { k + i } = a _ { l + i }$ for all $i \in \{ 0,1 , \ldots , n \}$. We fix two such integers $k , l$ in questions 12b and 12c.
(b) Show that $\sum _ { i = 1 } ^ { n } F \left( z _ { i } \right) \left( z _ { i } ^ { l } - z _ { i } ^ { k } \right) = 0$ for every polynomial $F \in \mathbb { C } [ X ]$ of degree at most $n$.
(c) Show that $z _ { 1 } , z _ { 2 } , \ldots , z _ { n }$ are pairwise distinct. Deduce that $z _ { i } ^ { l - k } = 1$ for all $i \in \{ 1,2 , \ldots , n \}$ and conclude.