Intereting Posts

Square free finite abelian group is cyclic
How many “good” graphs of size $n$ are there?
Is the number $-1$ prime?
n-th roots of unity form a cyclic group in a field of characteristic p if gcd(n,p) = 1
How to define this pattern as $f(n)$
Quotients and products
How to obtain a closed form for summation over polynomial ($\sum_{x=1}^n x^m$)?
Unclear proof of a proposition on semisimple rings in Lang
How to calculate the norm of an ideal?
Number of ways distribute 12 identical action figures to 5 children
Second longest prime diagonal in the Ulam spiral?
Is $SO_n({\mathbb R})$ a divisible group?
expected number of edges in a random graph
solving inequalities with fractions on both sides
Relative error of machine summation

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$.

- sequence $\{a^{p^{n}}\}$ converges in the p-adic numbers.
- Fermat's Last Theorem and Kummer's Objection
- Galois representations and normal bases
- How to show that the norm of a fractional ideal is well-defined?
- Norm homomorphism between ideal class groups
- Classifying algebraic integers satisfying a positivity condition

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

(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

- Uniqueness of prime ideals of $\mathbb F_p/(x^2)$
- The elliptic curve $y^2 = x^3 + 2015x - 2015$ over $\mathbb{Q}$
- Solving the diophantine equation $y^{2}=x^{3}-2$
- There is a primitive $m^{th}$ root of unity in $\mathbb{Q}_p$ $\Leftrightarrow m \mid (p-1)$
- A binary quadratic form and an ideal of an order of a quadratic number field
- Volume of first cohomology of arithmetic complex
- Method for determining irreducibles and factorising in $\mathbb Z$
- Exercise 1.10 from Silverman “The Arithmetic of Elliptic Curves ”

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).

- Prove that a group of order 3 must be cyclic.
- Cardinality != Density?
- Visualization of Lens Spaces
- What is a natural number?
- On maximal submodules of projective modules
- Matrix with zeros on diagonal and ones in other places is invertible
- Fisher information of a Binomial distribution
- Convergence of finite differences to zero and polynomials
- Contour integral – $\int_C \frac{\log z}{z-z_0} dz$ – Contradiction
- Limit $\frac{x^2y}{x^4+y^2}$ is found using polar coordinates but it is not supposed to exist.
- How to remember a particular class of trig identities.
- CW complexes and manifolds
- Find the number of non-zero squares in the field $Zp$
- Is Singular value decomposition suitable for solving matrix equations Ax=b?
- What are some interesting sole exceptions or counterexamples?