Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to prove the following assertion:

If an algebraic number field $K$ contains a complex root of unity, then the norm of every nonzero element of $K$ is positive.

I think this is supposed to be a simple application of the theory of geometry of numbers, but I can't see how to prove it.

Can someone please help me?

share|cite|improve this question
Hint: the given hypotheses imply that $K$ has no real places, and hence the embeddings into $\mathbb{C}$ come in complex-conjugate pairs. – Pete L. Clark Feb 4 '11 at 3:19
Thanks. I see it now. If K had a real embedding $\sigma$, then the group $W$ of roots of unity in K is isomorphic to the group $\sigma(W)$ of roots of unity in $\sigma(K)$. But the hypotheses imply $|W| > 2$, while $|\sigma(W)| = 2$ because $\sigma(W)$ is real. – AWC Feb 4 '11 at 3:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.