Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $E=\mathbb{Q}(\sqrt{2},\sqrt{3})$ and $$ L = E \left( \sqrt{ ( \sqrt{2}+2 ) ( \sqrt{3} + 3)} \right) \ . $$ I want to show that $L/\mathbb{Q}$ is a Galois extension with the Quaternion group as its Galois group.

I know $E/\mathbb{Q}$ is Galois and $L/E$ is also Galois, but it is not true in general that if $K_1/K_0$ is Galois and $K_2/K_1$ is Galois then $K_2/K_0$ is Galois (take $K_0 = \mathbb{Q}$, $K_1 = \mathbb{Q}(\sqrt{2})$ and $K_2 = \mathbb{Q}(\sqrt[4]{2})$ as a counter-example).

share|improve this question
add comment

2 Answers 2

A hands-on method is to check that all the conjugates of
$$\theta = \sqrt{(\sqrt{2}+2)(\sqrt{3}+3)} $$ are in $\mathbb Q[\theta]$. It is easy to check that the eight conjugates are $\theta$, $$\theta_1 = \sqrt{(-\sqrt{2}+2)(\sqrt{3}+3)}, \quad\theta_2 = \sqrt{(\sqrt{2}+2)(-\sqrt{3}+3)} , \quad\theta_3 = \sqrt{(-\sqrt{2}+2)(-\sqrt{3}+3)}$$ and their negatives.

Now $\sqrt{2}, \sqrt{3}$, and $\sqrt{6} \in \mathbb Q[\theta]$, for example $$ (\theta^2 - 6 -2\sqrt{3} )^2 = 24 + 12\sqrt{3} $$ and it follows that $\sqrt{3} \in \mathbb Q[\theta]$. But now $$ \theta\theta_3 = 2\sqrt{3} $$ so it follows $\theta_3 \in \mathbb Q$ and a similar argument shows that $\theta_1$ and $\theta_2$ are also in $\mathbb Q[\theta]$. So $\mathbb Q[\theta]$ is the splitting field of the minimal polynomial of $\theta$ and as a consequence is Galois over $\mathbb Q$.

Now you can check by hand that the automorfisms $\theta\to\pm\theta_i$ behave as expected but I suppose there are much better methods to do this.

To do it you should work out the expression of $\theta_i$ in terms of $\theta$, for example: $$\begin{align} \theta_1 &= \frac{-1}{24}(\theta^7 -20\theta^5 + 60\theta^3 + 24\theta) \\\\ \theta_2 &= \frac{1}{12}(\theta^5 -18\theta^3 + 36) \\\\ \theta_3 &= \frac{1}{12}(\theta^7 -22\theta^5 + 102\theta^3-120\theta) \end{align}$$ to work in the field $\mathbb Q[\theta]$ you have to compute with polynomials modulo the minimal polynomial of $\theta$ ($x^8 -24x^6 + 144x^4 -288x^2 +144$).I recommend you to use some computer algebra system to perform these computations.

share|improve this answer
Let us check that $i = ( \theta \mapsto \theta_1 )$ satisfies $i^2 = -1$. Then $$ i^2 \left( \sqrt{ ( \sqrt{2} + 2 )( \sqrt{3} + 3) } \right) = i \left( \sqrt{ ( -\sqrt{2} + 2 )( \sqrt{3} + 3) } \right) = \sqrt{ ( \sqrt{2} + 2 )( \sqrt{3} + 3) } $$ so $i^2 = 1$ and not $-1$. Where is the mistake? –  LinAlgMan Dec 1 '12 at 12:00
In fact, one needs to define $i(\theta_1) = -\theta$ and $i(\theta_2)=\theta_3$ and $i(\theta_3) = -\theta_2$ in order for things work out. –  LinAlgMan Dec 1 '12 at 12:14
Note that by $$(\theta^2 - 6 - 2 \sqrt{3})^2 = 6 + \sqrt{2}$$ you already assumed $\sqrt{3}$ in $\mathbb{Q}(\theta)$. We need a more elementary way to prove $\sqrt{3} \in \mathbb{Q}(\theta)$. –  LinAlgMan Dec 1 '12 at 16:51
I worked it out, compute first $( \theta^2 - 6)^2$, then $(\theta^2 - 6 - 2 \sqrt{6} - 2 \sqrt{3} - 2 \sqrt{2})^2$ and then $( \theta^2 - 6 - 3 \sqrt{6} - 3 \sqrt{3} - 3 \sqrt{2} )^2$. –  LinAlgMan Dec 1 '12 at 17:48
I have corrected the right hand side of $(\theta^2-6-2\sqrt{3})^2$, sorry for that. I have also added some computations in the end to help you with the automorphisms. –  Esteban Crespi Dec 1 '12 at 22:19
add comment

The existing answer is very brute-force and not to my taste. I present an alternate method, essentially copy-pasted from another answer of mine.

Let $\sigma$ be the automorphism of $\mathbb Q(\sqrt 2, \sqrt 3)$ over $\mathbb Q$ sending $\sqrt 2$ to $-\sqrt 2$ and fixing $\sqrt 3$. Compute $\sigma(\alpha^2)/\alpha^2$. You will get $(2-\sqrt 2)/(2+\sqrt 2)$. This is $3-2\sqrt 2=(-\sqrt 2 + 1)^2$. So $\sigma(\alpha^2)=\alpha^2(-\sqrt 2 + 1)^2$. If $\alpha$ were in $\mathbb Q(\sqrt 2, \sqrt 3)$, then $(\sigma(\alpha))=\pm (-\sqrt 2+1)\alpha$ and $\sigma(\sigma(\alpha))=\alpha(1+\sqrt 2)(1-\sqrt 2)=-\alpha$, a contradiction as $\sigma$ has order $2$. This proves $\alpha$ has degree $2$ over $\mathbb Q(\sqrt 2, \sqrt 3)$.

We now see that $\sigma^4(\alpha)=\alpha$, so $\sigma$ generates a subgroup of order $4$ in the Galois group.

Let $\tau$ be the automorphism of $\mathbb Q(\sqrt 2, \sqrt 3)$ over $\mathbb Q$ sending $\sqrt 3$ to $-\sqrt 3$ and fixing $\sqrt 2$. You can do a similar computation with $\tau$. You will find they are both of order $4$ and anti-commute. The only group of order $8$ with such elements is the quaternions, as the only non-commuative groups of order $8$ are $Q$ and $D_8$, and $D_8$ does not have two anti-commuting elements of order $4$.

share|improve this answer
I am clueless! Is this answer adapted from Prof. Milne's solutions here or Milne adapted your proof? :) –  kan Apr 20 '13 at 4:26
@KannappanSampath I've seen the solution to a similar problem before in another book (not Milne's). –  Potato Apr 20 '13 at 4:46
Oh, OK. Thanks. –  kan Apr 20 '13 at 6:02
add comment

Your Answer


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

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