6
$\begingroup$

I have to determine the degree of $\mathbb{Q}\left(\sqrt{2},\sqrt{3}\right)$ over $\mathbb{Q}$ and show that $\sqrt{2}+\sqrt{3}$ is a primitive element ? Could someone please give me any hints on how to do that ?

  • 0
    What's the degree of $\mathbb{Q}(\sqrt{2},\sqrt{3})$ over $\mathbb{Q}(\sqrt{3})$ ? What's the degree of $\mathbb{Q}(\sqrt{3})$ over $\mathbb{Q}$ ? This determines the degree you're looking for. Next, show that $\mathbb{Q}(\sqrt{2},\sqrt{3})=\mathbb{Q}(\sqrt{2}+\sqrt{3})$ to get the second part.2012-10-30
  • 0
    http://math.stackexchange.com/users/47574/user47574 and http://math.stackexchange.com/users/47580/user47580 same?2012-10-30
  • 0
    @Bey The last equality is just the definition of "primitive", which I knew already :(2012-10-30
  • 0
    Well, obviously $\sqrt{2}+\sqrt{3}\in\mathbb{Q}(\sqrt{2},\sqrt{3})$. Now show that $\sqrt{2}, \sqrt{3}\in\mathbb{Q}(\sqrt{2}+\sqrt{3})$.2012-10-30
  • 0
    @Bey Show that $\sqrt{2},\sqrt{3}\in \mathbb{Q}(\sqrt{2}+\sqrt{3})$ turned out to be more difficult that I thought. After playing some time I could show that roots like $\sqrt{6}$ or $\sqrt{12}$ are in there, but not for $\sqrt{2},\sqrt{3}$ (frustration :( ). What is the right polynomial ??2012-10-30
  • 0
    Once you get $\sqrt{6}$ is in there, you're not too far away. Read Hagen von Eitzen's solution below (though it appears you already have since you gave it the green check)2012-10-30

2 Answers 2

7

Clearly $[\mathbb Q(\sqrt 2):\mathbb Q]\le 2$ becasue of the polynomial $X^2-2$ and $[\mathbb Q(\sqrt 2,\sqrt 3):\mathbb Q(\sqrt 2)]\le 2$ because of the poylnomial $X^2-3$. In fact, $\sqrt 2\notin \mathbb Q$ implies $[\mathbb Q(\sqrt 2):\mathbb Q]=2$. We also have $\sqrt 3\notin \mathbb Q(\sqrt 2)$ because $(a+b\sqrt 2)^2 = 3$ implies $(a^2+2b^2) + 2ab\sqrt 2 = 3$, hence $2ab = 0$ and $a^2+2b^2=3$; thus either $a=0$ and $b^2=\frac 32$, or $b=0$ and $a^2=3$. But both $\sqrt{\frac32}$ and $\sqrt 3$ are irrational. Therefore $[\mathbb Q(\sqrt 2,\sqrt 3):\mathbb Q(\sqrt 2)]=2$ and finally $$[\mathbb Q(\sqrt 2,\sqrt 3):\mathbb Q]=4.$$

For the second part , note that $\mathbb Q(\sqrt 2+\sqrt 3)$ contains $(\sqrt 2+\sqrt 3)^2=2+2\sqrt 6+3$, hence also $\sqrt 6$ and $\sqrt6(\sqrt 2+\sqrt 3)=2\sqrt 3+3\sqrt 2$, and finally both $3(\sqrt2+\sqrt 3)-(2\sqrt 3+3\sqrt 2)=\sqrt 2$ and $(2\sqrt 3+3\sqrt 2)-2(\sqrt2+\sqrt 3)=\sqrt 3$.

5

$$x=\sqrt 2+\sqrt 3\Longrightarrow x^2-2\sqrt 2\,x+2=3\Longrightarrow x^4-2x^2+1=8x^2\Longrightarrow$$

$$\Longrightarrow x^4-10x^2+1=0$$

Can you now prove the polynomial $\,t^4-10t^2+1\in\Bbb Q[t]\,$ is irreducible?