This is exercise 13.6.5 from Dummit and Foote.
Let me first note that I realize there is already a post on this question here. However, I am a bit confused about the explanation given in that post, and I want to discuss my confusion about it here.
The following is the beginning of an argument made by the author (@Mariano Suarez-Alvarez) of the answer to the question I linked to.
- Suppose $K$ is a number field of degree $d$ which contains infinitely many roots of unity. It then contains roots of unity of arbitrarily high order (because there are finitely many of each order), and therefore it contains roots of cyclotomic polynomials $\Phi_n$ for infinitely many $n$. Let $S$ be the set of such $n$'s
I am fine with everything until the line: and therefore if contains roots of cyclotomic polynomials $\Phi_n$ for infinitely many $n$. It seems like the author is assuming that the following implication holds:
\begin{equation*}
\Big[ K \text{ contains roots of $x^n – 1$ for arbitrarily large $n$} \Big] \implies \Big[ K \text{ contains roots of $\Phi_n(x)$ for arbitrarily large $n$} \Big]
\end{equation*}
While the implication certainly might hold, I don’t understand why it does. Why couldn’t I make an infinite set of $n$th roots of unity in such a way that I explicitly avoid primitive $n$th roots of unity, i.e. something like:
\begin{equation*}
A = \{ \zeta \in \mathbb{C}: \zeta \text{ is an $n$th root of unity that is not a primitive $n$th root of unity} \}
\end{equation*}
It is not obvious to me why $A$ could not be contained in a finite field extension $K/\mathbb{Q}$.
Any thoughts on this would be much appreciated.
EDIT:
Perhaps some more context might be helpful: The paragraph I quoted above is only the beginning part of the proof. The remainder of the proof that $K$ must be a finite extension of $\mathbb{Q}$ relies on there being a primitive $m$th root of unity in $K$, where $\phi(m) > [K: \mathbb{Q}]$. Once it is proved that $K$ contains this primitive $m$th root of unity, call it $\alpha$, then we get that $[\mathbb{Q}(\alpha): \mathbb{Q}] = \phi(m) > n = [K : \mathbb{Q}]$, which is an obvious contradiction.
Best Answer
Every $n$-th root of unity is a primitive $m$-th root of unity for some $m$ (which divides $n$). There are only finitely many primitive $m$-th roots of unity for any given $m$. So if you have infinitely many roots of unity, there cannot be a bound on their orders.
But there's another standard argument that a number field has finitely many roots of unity. Let $d$ be its degree. The characteristic polynomial of a root of unity in $k$ has bounded $r$-th coefficient (bounded by $\binom{d}{r}$). So there are finitely many such polynomials, and so only finitely many roots of unity in $K$.
ADDED IN EDIT
To be more explicit, let $X_m$ be the set of primitive $m$-th roots of unity. Each $X_m$ is a finite set. Now $\bigcup_{m=1}^\infty X_m$ is the set of all roots of unity. If $K$ has infinitely many roots of unity, they cannot all lie in $\bigcup_{m=1}^M X_m$, for that is a finite set, so $K$ would have elements in $X_m$ for infinitely many $m$.