3
$\begingroup$

Possible Duplicate:
Unique quad. subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ if $p \equiv 1$ $(4)$, is $\mathbb{Q}(\sqrt{-p})$ if $p \equiv 3$ $(4)$

This question may be quite naive. In here $\omega=e^{\frac{2\pi i}{p}}$ and $\mathbb{Q}(\omega)$ is the cyclotomic field. I believe this should be an easy execrise for Galois theory, but I could not prove it using standard tools available (norm and trace, discriminants) as I have not used Galois theory for years.

After some algebraic manipulation I even constructed a ${\bf{wrong}}$ proof as this:

All elements of $Q(\omega)$ can be written in form $\sum^{i=p-1}_{i=0} a_{i}w^{i}$. For $\sqrt{p}=\sum^{i=p-1}_{i=0} a_{i}w^{i}$, this would imply $p=\sum a_{i}^{2}w^{2i}+2\sum_{i\not=j}a_{i}a_{j}w^{i+j}$. This implies all the powers remaining in the reducted form must be equal to $p$. Hence the non-constant terms must vanish, implying for all $w^{k},k>0$ its coefficient must be 0. But adding equations of the type $a_{i}^{2}+2\sum a_{j}a_{k}=0$ and $a_{0}^{2}+2\sum_{s+t=p}a_{s}a_{t}=p$ would imply $(\sum a_{i})^{2}=p$. This is impossible since $\sum a_{i}\in \mathbb{Q}$. Thus $\sqrt{p}$ is not in $Q(\omega)$.

I think I am definitely on the wrong track somehow. After struggling with this HW problem for more than 4 hours I decided to give up. If someone could give some directions(instead of solving the problem) I would be grateful.

  • 0
    @Ted: I see. Thanks for pointing out. I guess I was twice confused.2012-02-19

1 Answers 1

5

Let $K = \mathbf Q(\omega)$, and let $f$ be the minimal polynomial of $\omega$. For the purpose of calculation, the formula \[ d = (-1)^{p(p - 1)/2}N_{K/\mathbf Q}(f'(\omega)) \] for the discriminant is probably best. You've found that this is equal to $p^{p - 2}$. But we have another expression for $d$, namely \[ \prod_{0 \leq i < j \leq p} (\omega^i - \omega^j)^2. \] See Proposition 2.6 of Milne's notes for proofs. Thus, $d$ has a square root in $K$. Why does this help?

  • 0
    @DylanMoreland: $f$or$g$et to note I was $f$ollowing the directions in this sheet:http://www.dpmms.cam.ac.uk/study/II/Galois/2009-2010/ex2.pdf2012-02-19