3
$\begingroup$

I want to find the minimal polynomial (over $\mathbb{Q}$) of: $k:=\sqrt[3]{7-\sqrt{2}}$.

With simple 'tricks' I got that: $P=(x^3-7)^2+2$ is a polynomial such that $P(k)=0$.

But I don't know if, or how to prove that $P$ is the minimal polynomial. How can I prove this/find the minimal polynomial ?

  • 0
    Yes, @PatrickDaSilva, of course you're right, it's not a reason. \frac{x^n-1}{x-1}=\prod_{1 have nontrivial factorizations for odd composite $n$, for example $x^4+x^2+1=\frac{x^6-1}{x^2-1}=(x^2+x-1)(x^2-x-1).$2012-03-18

3 Answers 3

5

Any irreducible polynomial having $\rm\:k\:$ as a root necessarily has minimal degree. This proof is easy: the set $\rm\:S\:$ of polynomials $\rm\:f \in \mathbb Q[x]\:$ such that $\rm\:f(k) = 0\:$ is closed under addition, and under multiplication by any $\rm\:g\in \mathbb Q[x],\:$ hence it is closed under gcd, since, by Bezout, the gcd of $\rm\:f,g\:$ is a linear combination $\rm\:a\:f + b\:g,\:$ for some $\rm\: a,b\in \mathbb Q[x].\:$ Suppose irreducible $\rm\:f \in S.\:$ Now $\rm\:g\in S\:$ $\Rightarrow$ $\rm\:gcd(f,g)\in S.\:$ Since $\rm\:f\:$ is irreducible, $\rm\:gcd(f,g) = 1\:$ or $\rm\:f.\:$ But $\rm\:1\not\in S\:$ since $\rm\:k\:$ is not a root of $\:1,\:$ so $\rm\:gcd(f,g) = f,\:$ i.e. $\rm\:f\ |\ g.\:$ Since $\rm\:f\:$ divides every $\rm\:g\in S,\:$ we infer $\rm\:f\:$ has minimal degree in $\rm\:S.$ The structure at the heart of this proof will become clearer once you learn some ideal theory.

In your case $\rm\:f(x) = (x^3-7)^2-2 = x^6 - 14\:x^3 + 47\:$ is irreducible over $\rm\mathbb Q$ since it is irreducible mod $5$. Hence it is the minimal polynomial of $\rm\:k\:$ over $\mathbb Q$.

  • 2
    Why is it irreducible mod 5 ?2012-03-18
4

The only point of this answer is to supplement Bill Dubuque's answer, and to give a short argument proving that $f(x)$ is irreducible in the ring $F_5[x]$.

Here $f(x)\equiv x^6+x^3+2$. Because $g(x)=x^2+x+2$ is irreducible, it is not a factor of $x^8-1=(x^4-1)(x^4+1)=(x-1)(x-2)(x-3)(x-4)(x^2-2)(x^2+2)$ in the ring $F_5[x]$. Let $\alpha\in F_{25}$ be a zero of $g(x)$. Then $\alpha^{24}=1$, but $\alpha^8\neq1$. Thus the order of $\alpha$ is a multiple of three ($\alpha$ is actually a generator of $F_{25}^*$ but we won't need that fact).

Next consider $f(x)=g(x^3)$. Let $\beta$ be a zero of $f(x)$ in some extension field of $F_5$. Then $\beta^3$ is a zero of $g(x)$, so by our earlier observation $\beta$ has order that is a multiple of nine. But $F_{5^6}$ is the smallest extension of $F_5$ that has elements of order nine, because $k=6$ is the smallest positive integer with the property $5^k\equiv 1\pmod 9$. Therefore $f(x)$ is the minimal polynomial of $\beta$, and the claim follows.

3

Let $\alpha = \sqrt[3]{7 - \sqrt{2}}$ and $P(x) = x^6 - 14x^3 + 47$. Since $P(\alpha) = 0$, in order to show $P$ is irreducible it suffices to show $[Q(\alpha):Q] = 6$. Since $7 - \alpha^3 = \sqrt{2}$, you have that $\sqrt{2} \in Q(\alpha)$ and thus $[Q(\alpha):Q] =[Q(\alpha):Q(\sqrt{2})][Q(\sqrt{2}):Q] = 2[Q(\alpha):Q(\sqrt{2})]$ Thus our goal is to show that $[Q(\alpha):Q(\sqrt{2})] = 3$. Since $\alpha$ satisfies the third-degree polynomial equation $Q(x) = x^3 - 7 + \sqrt{2} = 0$ over $Q(\sqrt{2})$, our task is equivalent to showing $Q(x)$ is irreducible over $Q(\sqrt{2})$.

But if $Q(x)$ were not irreducible over $Q(\sqrt{2})$, it would have a linear factor. Thus it would have a root $a + b\sqrt{2}$, with $a$ and $b$ rational. But the roots of $Q(x) = 0$ are the numbers $\alpha$, $e^{2\pi i \over 3}\alpha$, and $e^{4\pi i \over 3}\alpha$. Of these, only $\alpha$ is real, so we have $\alpha = a + b\sqrt{2}$ Cubing, we get $7 - \sqrt{2} = (a + b\sqrt{2})^3$ Thus we must have $7 + \sqrt{2} = (a - b\sqrt{2})^3$ Multiplying the above two equations together we get $47 = (a^2 - 2b^2)^3$ Since $47$ is not the cube of a rational number, we have arrived at a contradiction and we are done.

  • 0
    @Zarrax - can you explain please how did you get $7+\sqrt2$ ?2012-03-28