2
$\begingroup$

Let $d$ be a real positive algebraic integer of degree $3$ or $5$. Assume that $\mathbb{Q}(d)$ and $\mathbb{Q}(\sqrt{d})$ are totally real number fields. Is there a possible $d$ which makes that $\mathbb{Q}(d)=\mathbb{Q}(\sqrt{d})$?

  • 0
    Yes. You are right. I edited my question though. What if degree of $d$ is $3$ or $5$?2012-09-05

1 Answers 1

2

Let $c=2\cos(2\pi/7)$. then $\mathbb{Q}(c)$ is a totally really cubic field. Let $d=c^2\notin\mathbb{Q}$. Then $\mathbb{Q}(d)$ cannot be a proper subfield of $\mathbb{Q}(c)$, because then the latter would have an even degree.

In the quintic case the example $c=2\cos(2\pi/11)$, $d=c^2$, works for much the same reason.

  • 1
    +1. It's amazing what a difference in obviousness you can get from such a tiny change as considering $\mathbb{Q}(c)$ and its subfield $\mathbb{Q}(c^2)$ rather than $\mathbb{Q}(d)$ and its extension field $\mathbb{Q}(\sqrt{d})$2012-09-05