0
$\begingroup$

I have the following problem:

Let $E=\mathbb{Q}[\alpha, \beta]$ where $\alpha^2 \in \mathbb{Q}$, $\beta^2 \in \mathbb{Q}$, and $[E:\mathbb{Q}]=4$ If $\gamma \in E-\mathbb{Q}$ and $\gamma^2 \in \mathbb{Q}$ prove that $\gamma$ is a rational multiple of one of $\alpha, \beta, $or $\alpha \beta$.

I'm thinking a proof my contradiction would work, in combination with an argument concerning the degree of an extension, but it sounds fishy to me.

  • 0
    For a quick answer you can use the Galois correspondence. Otherwise see that $\{1,\alpha,\beta, \alpha\beta\}$ is a $\mathbb{Q}$-basis in $E$, write $\gamma$ as a linear combination of these four elements and see what it means that $\gamma^2\in\mathbb{Q}$ (some coefficients must be $0$).2012-11-27
  • 0
    What is the quick answer with the Galois correspondence?2012-11-27
  • 1
    The Galois group is isomorphic to the Klein group, so there are only three intermediate extensions of degree $2$.2012-11-27
  • 0
    @YACP How do you know the Galois group is isomorphic to the Klein four group instead of the cyclic group of order four?2013-01-05
  • 0
    Simply because all automorphisms have order $2$.2013-01-05

1 Answers 1

0

Hints:

== It must be $\,[\Bbb Q(\alpha):\Bbb Q]=[\Bbb Q(\beta):\Bbb Q]=[\Bbb Q(\alpha\beta):\Bbb Q]=2\,$

== Since $\gamma\in E\setminus\Bbb Q\,\,\,,\,\,\gamma^2\in Q\,$ , then also $\,[\Bbb Q(\gamma):\Bbb Q]=2\,$

== Make a diagram of the lattice of subfields of $\,E/\Bbb Q\,$ determined by the first hint, and then try to make "fix" $\,\Bbb Q(\gamma)\,$ somewhere in there...