10
$\begingroup$

I'm self-studying field extensions. I ran over an exercise which I can't completely solve. (I haven't yet started studying Galois theory, and I think this exercise isn't meant to be solved using it, just in case):

The problem is:

a) Prove $\sqrt{2}+\sqrt[3]{5}$ is algebraic over $\mathbb{Q}$ of degree 6.

Done: I know it has degree $\leq 6$ because $\mathbb{Q}\subset \mathbb{Q}(\sqrt{2}+\sqrt[3]{5})\subset \mathbb{Q}(\sqrt{2},\sqrt[3]{5})$ which has degree 6; then I explicitly found the polynomial by solving a 6-equation linear system, and Wolfram Alpha proved it irreducible (btw: how can I prove it by hand?). The polynomial is $t^6-6t^4-10t^3+12t^2-60t+17$.

b) What's its degree over $\mathbb{Q}(\sqrt{2})$ and $\mathbb{Q}(\sqrt[3]{5})$?

It is this part b) which I can't solve. Of course its degree is $\leq 6$ in both cases, but I don't know what else to do.

  • 0
    You can probably use Eisensteins criterion, that comes up a lot in Galois theory.2010-10-30
  • 0
    It's not useful in this case. It would have to be 17, but also divide 12...2010-10-30
  • 1
    A systematic way of showing that it has degree 6 is to compute powers of $\alpha=\sqrt{2}+\sqrt[3]{5}$ as linear combinations of $\sqrt{2}^r\sqrt[3]{5}^s$ and solve for $\sqrt{2}$ and $\sqrt{3}$ in terms of $\alpha$.2010-10-31
  • 0
    (typo above. Meant $\sqrt[3]{5}$, not $\sqrt{3}$).2010-10-31
  • 0
    @muad: 34053 is not divisible by 2... I had forgotten about using Eisenstein this way: f(t) is irreducible iff f(at+b) is irreducible. But how to realize what a,b are useful for Eisenstein?2010-10-31
  • 0
    @George: if I understood correctly, that is what I did to find the polynomial, but it remains to see it is irreducible, no? I argued like this: $\\{(\sqrt{2}+\sqrt[3]{5})^i\\}_{i=0}^6$ is linearly dependent over $\mathbb{Q}$, then there exist $\\{q_i\\}_{i=0}^6\subset \mathbb{Q}$ such that $\sum_{i=0}^6 q_i (\sqrt{2}+\sqrt[3]{5})^i = 0$. I read the expression on the left as $\in \mathbb{Q}[\sqrt{2},\sqrt[3]{5}]$ then grouping the terms on $\sqrt{2}$, $\sqrt[3]{5}$, $\sqrt[3]{5}^2$, etc. I got the 6-equation linear system I described above, solving it to get the polynomial...2010-10-31
  • 0
    @Bruno Stonek, oh that was stupid of me, I removed that comment now.2010-10-31
  • 1
    @Bruno: You solved to find a linear dependency. If instead you solved to show that $\sqrt{2},\sqrt[3]{5}$ is in the (rational) linear span of $\{\alpha^k:k=0,...,5\}$ then this would give $\mathbb{Q}(\alpha)=\mathbb{Q}(\sqrt{2},\sqrt[3]{5})$. So, the degree of $\mathbb{Q}(\alpha)$ over $\mathbb{Q}$ would be a multiple of 2 and 3, giving degree 6.2010-10-31
  • 0
    See here for a solution http://math.stackexchange.com/questions/825884/minimum-polynomial-of-sqrt2-sqrt35-above-mathbbq-and-a-general/825900#8259002014-06-08

2 Answers 2

7

Bruno: The degree over ${\mathbb Q}(\sqrt2)$ is 3: Consider $(x-\sqrt 2)^3-5$. Since $\root 3\of 5$ is in ${\mathbb Q}(\sqrt 2)(\sqrt 2+\root 3\of 5)$, the only other option is that it already belongs to ${\mathbb Q}(\sqrt 2)$. But this is impossible, since its minimal polynomial is $x^3-5$ over ${\mathbb Q}$ and ${\mathbb Q}(\sqrt 2)$ is an extension of degree 2.

[ By the way, one can use this and the tower law, to show that ${\mathbb Q}(\sqrt 2+\root 3\of 5)$ has degree 6 over ${\mathbb Q}$. The irreducibility of your polynomial then follows for free. ]

Similarly, the degree over ${\mathbb Q}(\root 3\of 5)$ is 2.

  • 0
    "...the only other option is that it already belongs to Q(√2)". I don't follow this. I get that the degree must be $\leq$ 3, but I don't understand why it can't be <.2010-10-30
  • 0
    @Bruno: because 3 is prime. The degree divides 3, so it must equal either 3 or 1. In the latter case, $\sqrt[3]{5}$ is in $\mathbb{Q}(\sqrt{2})$.2010-10-31
  • 0
    @Bruno: There is a way of arguing directly about the question in your comment: Only one of the roots of $t^3-5$ is real. Since ${\mathbb Q}(\sqrt 2)\subset{\mathbb R}$, if $(x-\sqrt 2)^3-5$ is not irreducible over ${\mathbb Q}(\sqrt 2)$ then, having degree 3, it must factor into a linear and a quadratic term, so one of its roots is in ${\mathbb Q}(\sqrt 2)$, and it must therefore be the real one.2010-10-31
  • 0
    @Andres Caicedo: Got it. Now, I don't understand your line between brackets. What tower do you consider?2010-10-31
  • 0
    First, I observe that $\mathbb{Q}(\sqrt{2})(\sqrt{2}+\sqrt[3]{5}) = \mathbb{Q}(\sqrt{2},\sqrt[3]{5})$. Now, arguing over the tower $\mathbb{Q}\subset \mathbb{Q}(\sqrt{2})\subset \mathbb{Q}(\sqrt{2},\sqrt[3]{5})$ and using what has just been proved, we get $|\mathbb{Q}(\sqrt{2},\sqrt[3]{5}):\mathbb{Q}|=6$. Then, using this in $\mathbb{Q}\subset \mathbb{Q}(\sqrt{2}+\sqrt[3]{5})\subset \mathbb{Q}(\sqrt{2},\sqrt[3]{5})$, it remains to prove that $|\mathbb{Q}(\sqrt{2},\sqrt[3]{5}):\mathbb{Q}(\sqrt{2}+\sqrt[3]{5})|=1$. How to do it? Is this the right way or did you have another idea in mind?2010-10-31
  • 0
    Hi Bruno, yes, this is what I had in mind. By the tower law, ${\mathbb Q}(\sqrt2,\root 3\of 5)$ is an extension of ${\mathbb Q}(\sqrt 2+\root 3\of 5)$ of degree 1, 2, or 3. It is not of degree 3, because this means (by the tower law) that $\sqrt 2+\root 3\of 5$ has degree 2 over ${\mathbb Q}$. This leads to a contradiction: It would mean that $\root 3\of 5$ is of degree 1 or 2 over ${\mathbb Q}(\sqrt 2)$, which the tower law forbids.2010-10-31
  • 0
    And it is not of degree 2, for the same reason: This would mean that there is a cubic over ${\mathbb Q}$ with $\sqrt 2+\root 3\of 5$ as a solution, and this means again that $\root 3\of 5$ is root of a quadratic over ${\mathbb Q}(\sqrt 2)$. (To see this, explicitly write the cubic, and rewrite it as a quadratic in $\root 3\of 5$.)2010-10-31
  • 0
    I'm probably being a little dense here, but I still don't understand. In your first comment, where you say: "this leads to a contradiction...", you are saying that $|\mathbb{Q}(\sqrt{2}+\sqrt[5]{3}:\mathbb{Q}|=2$ implies $|\mathbb{Q}(\sqrt{2},\sqrt[5]{3}:\mathbb{Q}(\sqrt{2})|=1,2$, and that this is absurd, and I don't see why the implication holds.2010-11-01
4

For part b, we can find the minimal polynomial in both cases.

Consider $a =\sqrt{2} + \sqrt[3]{5}$ over $\mathbb{Q}(\sqrt[3]{5})$. Notice that

$ (x - \sqrt[3]{5})^2 -2 = 0$

is a degree two polynomial in $\mathbb{Q}(\sqrt[3]{5})[x]$ that $a$ is a root of. We know that $a \notin \mathbb{Q}(\sqrt[3]{5})$, so the degree of its minimal polynomial must be greater than 1, and now we have a polynomial of degree 2 that it is a root of, so its minimal polynomial must be that one above. Therefore $a$ has degree two over $\mathbb{Q}(\sqrt[3]{5})$.

Similarly, consider $a$ over $\mathbb{Q}(\sqrt{2})$. Notice that

$ (x - \sqrt{2})^3 - 5 = 0 $

is a degree 3 polynomial in $\mathbb{Q}(\sqrt{2})[x]$ that $a$ is a root of, and hence the minimal polynomial, which must divide this polynomial, can have degree either 2, or 3. But, if it has degree two, then it is attained from the above one by dividing by $x - a$. We get by polynomial division that

$ (x - \sqrt{2})^3 - 5 = (x - \sqrt{2} - \sqrt[3]{5})(-2 - \sqrt{2} \sqrt[3]{5} + \sqrt[3]{25} + (-2\sqrt{2} + \sqrt[3]{5})x + x^2) $

and $-2 - \sqrt{2} \sqrt[3]{5} + \sqrt[3]{25} + (-2\sqrt{2} + \sqrt[3]{5})x + x^2 \notin \mathbb{Q}(\sqrt{2})[x]$ because the $x$ coefficient is not in $\mathbb{Q}(\sqrt{2})$. If it were, then as $2\sqrt{2} \in \mathbb{Q}(\sqrt{2})$, we would get that

$2 \sqrt{2} + (-2\sqrt{2} + \sqrt[3]{5}) = \sqrt[3]{5} \in \mathbb{Q}(\sqrt{2})$

which is impossible. Thus that quadratic polynomial cannot be the minimal polynomial for $a$. Hence, the minimal polynomial of $a$ has degree 3.

  • 0
    Eric, to argue like this in the second case you need to justify that either the constant term or the term for $x$ in your quadratic polynomial is not in ${\mathbb Q}(\sqrt 2)$ --granted, this is not too difficult, but it is needed here.2010-10-31
  • 0
    Yes you are right. I thought it was kind of self-evident, but since the person asking this may not have much experience with algebra I will edit my answer. Thanks.2010-10-31