5
$\begingroup$

Suppose I want to find the minimal polynomial of the number $\sqrt[3]{2} + \sqrt{3}$.

Now that means I want to find a unique polynomial that is irreducible over $\Bbb Q$ such that $f(x)=0$. Now I know that because $\sqrt[3]{2} + \sqrt{3}$ belongs to $\Bbb Q( \sqrt[3]{2} , \sqrt{3})$ it might be degree $2$, $3$ or $6$ and does not belong to $\Bbb Q( \sqrt[3]{2})$ so it cannot be of degree $3$ or $\Bbb Q( \sqrt{3})$ so it cannot be of degree $2$.

So it is of degree $6$. I think my sayings are a bit intuitive and not formal and lack rigorous. Couldn't it belong to another extension of degree $2$? or $3$? I can't answer that. Why checking only those $2$ is enough? Or is it wrong at all to say that?

$\endgroup$
1
  • 1
    $\begingroup$ Your number is an irrational $\approx 2.99197$ and your intuitive reasoning is good. On the other hand you have two other formal possibilites. The first is to disappear radicals in $x=\sqrt[3]{2}+\sqrt 3$ so you get $x^6-9x^4-4x^3+27x^2-36x-23=0$ (ask yourself why there is not a term for $x^5$; it could be interesting for you); the second is the theorem of multiplication of degrees. $\endgroup$
    – Piquito
    May 29, 2016 at 12:26

3 Answers 3

7
$\begingroup$

You are correct that $\def\Q{\Bbb Q}x=2^{1/3}+3^{1/2}\in \Q( \sqrt[3]{2} , \sqrt{3})$. You are also correct that the degree of the minimal polynomial $f_x$ will equal the extension degree $[\Q(x):\Q]$, and hence $\deg f_x\mid [\Q( \sqrt[3]{2} , \sqrt{3}):\Q]=6$. However, there might be more intermediate fields $\Q( \sqrt[3]{2} , \sqrt{3})\supset \Q(\alpha)\supset \Bbb Q$ then just $\Q(2^{1/3})$ and $\Q(3^{1/2})$. In particular, $\Q(x)$ might just be a third field that is strictly between $\Q( \sqrt[3]{2} , \sqrt{3})$ and $\Q$. Hence your reasoning in incomplete.

One can show however, that $\Q(3^{1/2})\subset \Q(x)$ and $\Q(2^{1/3})\subset \Q(x)$. This would force the degree $[\Q(x):\Q]$ to be six, since now $$[\Q(x):\Q]=[\Q(x):\Q(3^{1/2})][\Q(3^{1/2}):\Q]=2[\Q(x):\Q(3^{1/2})]$$ $$[\Q(x):\Q]=[\Q(x):\Q(2^{1/3})][\Q(2^{1/3}):\Q]=3[\Q(x):\Q(2^{1/3})]$$ Hence $2\mid [\Q(x):\Q]$ and $3\mid [\Q(x):\Q]$. Also, we already saw $[\Q(x):\Q]\leq [\Q(3^{1/2},2^{1/3}):\Q]=6$. Hence we conclude that $[\Q(x):\Q]=6$.

$\endgroup$
2
  • $\begingroup$ @ManolisLyviakis see my edit. $\endgroup$ May 29, 2016 at 12:19
  • $\begingroup$ Thank you YOur answer Along with @watson 's answer is a complete answer to what ive asked.!!!!! $\endgroup$
    – Jam
    May 29, 2016 at 12:27
6
$\begingroup$

Let $a=\sqrt[3]{2} + \sqrt{3}$. Notice that $$(a-\sqrt{3})^3=2=a^3-3\sqrt 3 a^2+9a-3\sqrt 3 = a^3+9a-\sqrt 3 (3a^2+3) \tag 1$$

therefore

$$\sqrt 3 = \frac{a^3+9a-2}{3a^2+3} \tag 2$$

In particular, $\Bbb Q(a)$ contains $\Bbb Q(\sqrt 3)$ and also contains $\Bbb Q(a-\sqrt 3) = \Bbb Q(\sqrt[3]{2})$. Therefore your intuition is correct: the degree of $\Bbb Q(a)$ is a multiple of $3$ and a multiple of $2$ (over $\Bbb Q$).

The degree of the minimal polynomial of $a$ over $\Bbb Q$ is then at least $6$.

From $$(a^3+9a-2)^2 = [\sqrt 3 (3a^2+3)]^2 \tag 3$$ you get a monic polynomial $P \in \Bbb Q[X]$ of degree $6$, such that $P(a)=0$. Thus $P$ is the minimal polynomial of $a$ over $\Bbb Q$.

Here is the minimal polynomial $P(X)$ of $a$ over $\Bbb Q$ :

$P(x) = x^6-9 x^4-4 x^3+27 x^2-36 x-23$.

$\endgroup$
4
  • 1
    $\begingroup$ I know that is A p(x) has root the same as the minimal polynomial then the minimal polynomial divides that polynomial and since both have degree 6 then P(x)=m*a a belongs to Q but why they are equal? $\endgroup$
    – Jam
    May 29, 2016 at 12:42
  • $\begingroup$ You are right, my polynomial $P(X)$ can be written as $P(X) = Q(X) M(X)$ where $M(x)$ is the minimal polynomial of $a$ over $\Bbb Q$. Since $\text{deg}(P) = \text{deg}(M)=6$, the polynomial $Q$ is a constant, and since $P$ and $M$ are monic (dominant coefficient = $1$), it follows that this constant is $1$, i.e. $P=M$, as desired. $\endgroup$
    – Watson
    May 29, 2016 at 12:45
  • $\begingroup$ Ohhh but you would not be able to state that fact if your P was not monic you should first reduce it to one. But that can always happen . $\endgroup$
    – Jam
    May 29, 2016 at 12:47
  • $\begingroup$ @ManolisLyviakis : you're right! Here my polynomial $P$ is already monic, but if it wasn't, I could make it into a monic polynomial. Therefore you get the desired minimal polynomial :-) $\endgroup$
    – Watson
    May 29, 2016 at 12:49
-2
$\begingroup$

The number requires a sixth-order polynomial to solve. The intuition here is that for belonging to $Z(\sqrt{3}, \sqrt[3]{2})$ that it actually belongs to say $Z(1,\sqrt{3})(1,\sqrt[3]{2},\sqrt[3]{4})$.

One might note that these pair of systems are closed to multiplication, addition and subtraction, and that the appending of the $(1,\sqrt{3})$ will either result in an integer, or a number oin this set. Since the intersection of this set and the second set $(1,\sqrt[3]{2},\sqrt[3]{4})$ is the integers only (ie $Z$), then because the solution is in neither of the axial sets, it is in the union.

This particular set does not provide any means for a subset other than the two axial sets, in that no subset of the six base units make a set closed to multiplication. And there are six units, and so it must solve a calculation in terms of a sixth order equation.

An example where one might get a possible subset is $Z(1,\sqrt[3]{2},\sqrt[3]{4})(1,\sqrt[3]{2},\sqrt[3]{4})$ which contains possible sets like $Z(1,\sqrt[3]{2},\sqrt[3]{36})$ and $Z(1,\sqrt[3]{12},\sqrt[3]{18})$.

$\endgroup$
2
  • $\begingroup$ what is $Z$ ??? $\endgroup$
    – reuns
    May 29, 2016 at 16:05
  • $\begingroup$ Z is the set of integers. The $Z(1,\sqrt 3)$ is the span of that set. $\endgroup$ May 21, 2018 at 8:25

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .