0
$\begingroup$

Let $\alpha = \sqrt{2+\sqrt{2}}$

a) find the minimal polynomial of $\sqrt{2}$ over the rationals

b) find the minimal polynomial of $\alpha$ over $\mathbb{Q}(\sqrt{2})$

c) determine $[\mathbb{Q}(\alpha):\mathbb{Q}]$

d) Find the minimal polynomial of $\alpha$ over rationals.

This is not a homework assignment. This is additional material not covered in my course since it is not for galois theory, only because we didn't get enough time to cover it, but I will be taking the next math class for this, and would appreciate help on this and explanations.

  • 1
    Does not change the answers, which assumed that $s$, whatever it was, lay in $\mathbb{Q}$; $2$ certainly does. The answers are still perfectly applicable, if you understand them.2011-05-03

2 Answers 2

4

An alternative to (c) which uses the results in both (a) and (b) (given by Dennis's answer) is the following:

Since the minimal polynomial of $\sqrt{2}$ over $\mathbb{Q}$ is $x^2-2$, then $[\mathbb{Q}(\sqrt{2}):\mathbb{Q}]=2$.

Since the minimal polynomial of $\sqrt{2+\sqrt{2}}$ over $\mathbb{Q}(\sqrt{2})$ is $x^2 - (2+\sqrt{2})$, then $[\mathbb{Q}(\alpha):\mathbb{Q}(\sqrt{2})]=2$.

Now use the fact that since $\mathbb{Q}\subseteq \mathbb{Q}(\sqrt{2})\subseteq \mathbb{Q}(\alpha)$, then $[\mathbb{Q}(\alpha):\mathbb{Q}]$ can be expressed in terms of $[\mathbb{Q}(\alpha):\mathbb{Q}(\sqrt{2})]$ and $[\mathbb{Q}(\sqrt{2}):\mathbb{Q}]$.

5

a) You need to find a polynomial in $\mathbb{Q}[x]$ that vanishes at $\sqrt{2}$, and is irreducible. As you can see, $x^2-2$ vanishes at $\sqrt{2}$ and doesn't decompose over $\mathbb{Q}$

b) You need to specify what is $s$. Assuming that $s\in\mathbb{Q}(\sqrt{2})$, check that $x^2-\sqrt{2}-s$ is the required polynomial.

c) The degree of the extension is equal to the degree of the minimal polynomial of $\alpha$ over $\mathbb{Q}$

d) You can build it in two steps: $\alpha^2=s+\sqrt{2}$. Hence $(\alpha^2-s)^2=2$. So we get that $(x^2-s)^2-2=x^4-2sx+s^2-2$ vanishes at $\alpha$. Check that it's irreducible over $\mathbb{Q}$.

  • 0
    @Arturo: right, thanks.2011-05-03