Intereting Posts

$n$th powers in the p-adics
Convergence of a product series with one divergent factor
Infinite series $\sum_{k=1}^\infty \frac{k}{2^k}$ and $\sum_{k=1}^\infty \frac{k^2}{2^k}$
Limit of measurable functions is measurable?
I attempt integrate another factor 2 in the definition of even perfect numbers
Normal subgroups of dihedral groups
Evaluate $\displaystyle I=\int _{ 0 }^{ 1 }{ \ln\bigg(\frac { 1+x }{ 1-x } \bigg)\frac { dx }{ x\sqrt { 1-{ x }^{ 2 } } } }$
How to prove $\sum_{s=0}^{m}{2s\choose s}{s\choose m-s}\frac{(-1)^s}{s+1}=(-1)^m$?
Why is empty product defined to be $1$?
Calculating the Zeroes of the Riemann-Zeta function
How many ways are there to place $l$ balls in $m$ boxes each of which has $n$ compartments (2)?
Order of $5$ in $\Bbb{Z}_{2^k}$
Visualization of Lens Spaces
Sum inequality: $\sum_{k=1}^n \frac{\sin k}{k} \le \pi-1$
Generalization of irreducibility test .

Let $l$ be an odd prime number and $\zeta$ be a primitive $l$-th root of unity in $\mathbb{C}$. Let $K = \mathbb{Q}(\zeta)$. Is it true that any root of unity in $K$ is of the form $\pm\zeta^k$ where $k$ is an integer?

**Motivation:** A root of unity in $K$ is an invertible element of the ring of algebraic integers in $K$.

The determination of the group of invertible elements of this ring is important for several reasons.

For example, it is used in the computation of the class number of $K$.

I came up with two different ideas each of which might solve this problem.

- What's the difference between $\mathbb{Q}$ and $\mathbb{Q}(\sqrt{-d})$?
- On the norm formula $N(IJ) = N(I)N(J)$ in an order of an algebraic number field
- Elementary solution to the Mordell equation $y^2=x^3+9$?
- How to find a quadratic form that represents a prime?
- Fermat's Last Theorem and Kummer's Objection
- What is the group of units of the localization of a number field?

(1) Use the fact that the group of roots unity in $K$ is finite.

Hence this group is cyclic. Let $\omega$ be its generator.

Compare [$\mathbb{Q}[\omega] : \mathbb{Q}$] with $l – 1$ = [$K : \mathbb{Q}$].

(2) Use the fact that the only prime number which ramifies in a cyclotomic number field of prime power order $p^n$ is $p$, except $p = 2$ and $n = 1$.

**Related question:**

The group of roots of unity in an algebraic number field

- Enumerating Bianchi circles
- Prerequisites for Dirichlet & Dedekind's Vorlesungen über Zahlentheorie
- Why do we use this definition of “algebraic integer”?
- Splitting of primes in the splitting field of a polynomial
- Integers in biquadratic extensions
- Approximation Lemma in Serre's Local Fields
- Integral solutions to $y^{2}=x^{3}-1$
- How to find all the ideals of a given norm?
- What's the difference between $\mathbb{Q}$ and $\mathbb{Q}(\sqrt{-d})$?
- When exactly is the splitting of a prime given by the factorization of a polynomial?

The OP has already suggested two ways to solve this:

(a) Let $\zeta_n$ generated the group of roots of unity in $\mathbb Q(\zeta_l)$. Then $2l$ divides $n$, and

also $\mathbb Q(\zeta_l) = \mathbb Q(\zeta_n)$. A consideration of degrees shows that $\varphi(n) = \varphi(l)$, and combining this with the fact that $2l$ divides $n$, elementary number theory implies that in fact $n = 2l$.

(b) Ramification theory rules out the possibility of $\zeta_n$ lying in $\mathbb Q(\zeta_l)$ if $n$ is divisible by an odd prime $p \neq l$ or by a power of $2$ greater than the first.

Here are some other arguments (I continue to let $\zeta_n$ be the generator of the roots of unity in $\mathbb Q(\zeta_l)$):

(c) Galois theoretic: since $\mathbb Q(\zeta_l) = \mathbb Q(\zeta_n)$,

passing to Galois groups over $\mathbb Q$, we find that the units in $\mathbb Z/n$ project isomorphically onto the units in $\mathbb Z/l$. Given that $2l | n$, we deduce from the Chinese remainder theorem that $n = 2l$.

(d) Discriminants: Since $\mathbb Q(\zeta_l) = \mathbb Q(\zeta_n)$, a consideration of the standard discriminant formulas shows that $n = 2l$.

(e) Looking at the reduction modulo split primes: Choose $p$ prime to $n$ and congruent to $1$ mod $l$. Then the group of $n$th roots of unity injects

into the residue field of any prime lying over $p$. Since $p \equiv 1 \bmod l$, this residue field is just $\mathbb F_p$, and so we find that $n | p-1$

if $p > n$ (say) and $p \equiv 1 \bmod l$. Dirichlet’s theorem then gives that the units in $\mathbb Z/n$ project isomorphically onto the units in $\mathbb Z/l$, from which we deduce that $n = 2l$.

(f) Working locally at l: it is not hard to check that the roots of unity in $\mathbb Q_l(\zeta_l)$ are precisely $\mu_{l(l-1)}$. So we have to show that the only $(l-1)$st roots of $1$ in $\mathbb Q(\zeta_l)$ are $\pm 1$. Actually I don’t see how to do this right now without reverting to one of the other arguments, but there’s probably a pithy way.

Note that (c) is just a fancy version of (a), while (d) is a more concrete form of (b) (which uses less theory). It may seem that (e) is overkill, and it certainly is for this question, but the method can be useful, and it has an obvious connection to (c) via reciprocity laws. Method (f) (unfortunately incomplete) is related to (b).

- Why does $1/x$ diverge?
- What's the lower bound of the sum $S(n) = \sum_{k=1}^n \prod_{j=1}^k(1-\frac j n)$?
- Proposed proof of analysis result
- If $AB = I$ then $BA = I$
- Verification of Proof that a nonabelian group G of order pq where p and q are primes has a trivial center
- Creating unusual probabilities with a single dice, using the minimal number of expected rolls
- Prove $\sum^{\infty}_{n=1} \frac{a_{n+1}-a_{n}}{a_{n}}=\infty$ for an increasing sequence $a_n$ of positive integers
- parametric integral relating to hyperbolic function
- existence of solution of a degenerate pde with change of variables
- Does the Levi-Civita connection determine the metric?
- I want to know why $\omega \neq \omega+1$.
- Let $f:(\mathbb{R}\setminus\mathbb{Q})\cap \to \mathbb{Q}\cap $. Prove there exists a continuous$f$.
- Expand $\binom{xy}{n}$ in terms of $\binom{x}{k}$'s and $\binom{y}{k}$'s
- Divisibility of $2^n – 1$ by $2^{m+n} – 3^m$.
- Can we make an integral domain with any number of members?