8
$\begingroup$

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

My question: Is the following proposition true? If yes, how would you prove this?

Proposition

(1) $K_0 = \mathbb{Q}(\zeta + \zeta^{-1})$ is the maximal real subfield of $K$.

(2) $[K_0 : \mathbb{Q}] = (l - 1)/2$

(3) The ring of algebraic integers $A_0$ in $K_0$ is $\mathbb{Z}[\zeta + \zeta^{-1}]$.

(4) $\zeta + \zeta^{-1}$ and its conjugates constitute an integral basis of $A_0$.

Related questions

This and this.

$\endgroup$
3
  • 2
    $\begingroup$ You can get some of this cheaply, I think. (1) and (2) should follow from the fact that $\zeta + \zeta^{-1}$ is fixed by conjugation and the fact that $\mathbb Q(\zeta)$ will split the quadratic $(X - \zeta)(X - \zeta^{-1}) = X^2 - (\zeta + \zeta^{-1})X + 1$. $\endgroup$ Jul 25, 2012 at 5:54
  • $\begingroup$ Ah, right, sorry for botching the title. Just wanted to be a bit more descriptive. $\endgroup$ Jul 25, 2012 at 6:31
  • $\begingroup$ No problem, Dylan. Thanks. $\endgroup$ Jul 25, 2012 at 6:50

1 Answer 1

8
$\begingroup$

As Dylan points out, parts (1) and (2) are clear. Moreover, $\mathbb{Z}[\zeta + \zeta^{-1}]$ contains $\zeta^j + \zeta^{-j}$ for all $j \ge 1$ (by induction using the binomial theorem); these include all the conjugates of $\zeta + \zeta^{-1}$, so (4) implies (3). Thus it suffices to prove (4), which follows from the corresponding fact for the full cyclotomic field $\mathbb{Q}(\mu_\ell)$ (which is well known), as follows:

Let $u \in A_0$. Because $u$ is an algebraic integer in $\mathbb{Q}(\zeta)$, we can write $u = \sum_{i = 0}^{\ell - 1} u_i \zeta^i$ for some $u_i \in \mathbb{Z}$. But since $u = \overline{u}$, we have $u = \sum u_i \zeta^{-i} = \sum u_i \zeta^{\ell - i}$. Hence $u_i = u_{\ell - i}$. Thus we have $u = \sum_{i = 0}^{(\ell - 1)/2} u_i (\zeta_i + \zeta^{-i})$, and (4) is proved.

$\endgroup$
3
  • $\begingroup$ By u bar do you mean the conjugate of u? If yes then could you please explain why u and u conjugate are equal? Thanks! $\endgroup$
    – Todd
    Jul 6, 2021 at 19:46
  • $\begingroup$ and wont there only be l-1 elements in the integral basis of Q[zeta] ? $\endgroup$
    – Todd
    Jul 7, 2021 at 5:56
  • $\begingroup$ Ah since u is an element of a real field its conjugate must be equal to itself! $\endgroup$
    – Todd
    Jul 7, 2021 at 6:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.