Intereting Posts

Symmetries of a graph
Which is asymptotically larger: $\lg(\lg^* n)$ or $ \lg^*(\lg n)$?
Limit evaluation for oscillating function
Derivative of the Frobenius norm with respect to a vector
Prove or find a counterexample: For all real numbers x and y it holds that x + y is irrational if, and only if, both x and y are irrational.
Shortest method for $\displaystyle\int_{0}^{1}\dfrac{x^{4}\left(1-x\right)^{4}}{1+x^{2}}$
Polynomials over finite fields
Does TG prove that ZFC2 has a model?
Centralizer/Normalizer of abelian subgroup of a finite simple group
Product of compact and closed in topological group is closed
Logical errors in math deductions
Sine values being rational
Does a periodic function have to be bounded?
Examples of properties that hold almost everywhere, but such that explicit examples are not known
Context for Russell's Infinite Sock Pair Example

I am struggling to find the minimal polynomial for $\displaystyle \frac{\sqrt{2}+\sqrt[3]{5}}{\sqrt{3}}$.

Does anyone have any suggestions?

Thanks,

Katie.

- Given a group $G$, does there exist a domain $D$ with $G$ as its ideal class group?
- Proving $\left|\sqrt2-(a/b)\right|\geq1/(3b^2)$
- $\frac{x^5-y^5}{x-y}=p$,give what p ,the diophantine equation is solvable
- Proving the Kronecker Weber Theorem for Quadratic Extensions
- If $p\equiv 1,9 \pmod{20}$ is a prime number, then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$.
- An attempt of catching the where-abouts of “ Mysterious group $Ш$ ”

- The discriminant of an integral binary quadratic form and the discriminant of a quadratic number field
- Integral basis of an extension of number fields
- Splitting of primes in the splitting field of a polynomial
- Minimal polynomial of an algebraic number expressed in terms of another algebraic number
- Degree of $\mathbb{Q}(\zeta_n)$ over $\mathbb{Q}(\zeta_n+\zeta_{n}^{-1})$
- Ring class field of $\mathbb{Q}(\sqrt{-19})$
- Frobenius element in cyclotomic extension
- Algebraic integers of a cubic extension
- Ideal class group of a one-dimensional Noetherian domain
- Hilbert class field of a quadratic field whose class number is 3

One possible procedure that works in general is to first find some polynomial that has this number as its root. E.g. you can start as

$$

\alpha=\frac{\sqrt{2}+5^{1/3}}{\sqrt{3}}\Rightarrow (\sqrt{3}\alpha-\sqrt{2})^3=5,

$$

to get rid of the cube root, then factor out $\sqrt{2}$ and get rid of that, etc. Eventually, you will end up with some polynomial, which might not be irreducible. Decompose it into irreducible factors and check which one of these is satisfied by $\alpha$. If you are clever in deriving the initial polynomial, it will have very few irreducible factors. Also, think in advance what degree you might expect your minimal polynomial to have.

One can compute the minimal polynomial using resultants or Grobner bases. But that is a bit overkill here since it can be done fairly straightforwardly by hand. Namely, let $\rm\ y = \sqrt{2}+\sqrt[3] 5\:.\ $ Then $\rm\: (y-\sqrt 2)^3 = 5\:,\:$ i.e. $\rm\:y^3 + 6\ y – 5 – (3\ y^2 + 2)\ \sqrt{2} = 0\:.\:$ Multiplying that by its conjugate yields $\rm\: y^6 – 6\ y^4 -10\ y^3 + 12\ y^2 -60\ y + 17 = 0\:.\:$ Putting $\rm\ y = \sqrt{3}\ x\:,\:$ then multiplying that by its conjugate yields $\rm\:729\ x^{12} -2916\ x^{10} + 4860\ x^8 – 5670\ x^6 -11340\ x^4 – 9576\ x^2 + 289 = 0\:.$

There is a systematic procedure for finding a polynomial which annihilates an algebraic element of a field extension and which involves no *ad hoc* manipulation.Since it is rarely mentioned in textbooks (except sometimes in exercises), I’ll describe it. It even works for the elements $a\in A$ of a finite-dimensional commutative algebra $A$ over the field $k$.

Consider on the subalgebra $k[a]\subset A$ the endomorphism $\mu_a:k[a]\to k[a]:x\mapsto ax$. It has a characteristic polynomial $\chi (X)=\chi _{\mu_a}(X)=det( XId-\mu_a) \in k[X]$ which, by Cayley-Hamilton’s theorem, annihilates $\mu_a$ and hence also $a$. [Here is an example clarifying the last assertion. If $ \mu_a^3+7\mu_a^4-2Id=0\in End(k[a])$, then, applying the endomorphisms on both sides of that equality to the unit element $1_A$, we get

$a^3+7a^4-2.1_A=0 \in A$]

Now that we have found an annihilating polynomial $\chi (X)$, the minimal polynomial of $a$ is the same as that of $\mu_a$ and can be found, as has already been mentioned, by decomposing $\chi (X)$ into irreducible factors and making finitely many tests to see which divisors of $\chi (X)$ still kill $a$. [Beware that if the algebra $A$ is not a field, the minimal polynomial of $a$ needn’t be irreducible!]

What are the conjugates of this number? Their elementary functions are the coefficients of the minimal polynomial.

*Hint:* The conjugates of $\sqrt 2$ are $\pm \sqrt 2$. The conjugates of $\sqrt 3$ are $\pm \sqrt 3$. The conjugates of $\sqrt[3] 5$ are $\omega \sqrt[3]5$, where $\omega^3=1$. Combine all those and you get all conjugates of the number in question. The minimal polynomial is $\prod (X-\alpha)$, where $\alpha$ runs through the conjugates.

I also used WolframAlpha to get the minimal polynomial

$$289 – 9576x^2 – 11340x^4 – 5670x^6 + 4860x^8 – 2916x^{10} + 729x^{12}$$

Alternately, in Mathematica:

First[RootReduce[(Sqrt[2] + 5^(1/3))/Sqrt[3]]][x] // InputForm

When I’m dealing with lots of algebraics, I always use RootReduce because it’s the most consistent way to eliminate duplicates.

I realize that this question was asked 3 years ago, so I apologize for creating a zombie thread. However, I feel that something major has been missed here, and I want to clarify for anyone Googling and finding this question.

** The question, as asked, is too vague**. What do I mean by this? Well, consider finding the minimal polynomial of $\sqrt{2}$. Of course, if we are in, say, the real numbers $\mathbb{R}$, then the minimal polynomial is simply $f(x) = x – \sqrt{2}$. This is easily verified: the polynomial is of minimal degree, and its coefficients all lie in $\mathbb{R}$, so we are good! However, if I asked you to find the minimal polynomial over $\mathbb{Q}$, then this is a completely different situation, because now our polynomial must have

- Bounds for the size of a circle with a fixed number of integer points
- Easy examples of non-arithmetic lattices
- Product of degree of two field extensions of prime degree
- Smallest $k$ s.t. $7x+1=9y+2=11z+3=k$, all positive integers
- General solution to Wright-Fisher model – Diploid selection
- Interesting circles hidden in Poncelet's porism configuration
- Checking my understanding: $1 – 1 + 1 – 1 + 1 – … = \frac{1}{2}$
- Recommend a concise book on mathematical logic
- Prove that $y-x < \delta$
- Multiplying by a $1\times 1$ matrix?
- Combining probabilities from different sample spaces
- Compact metrizable space has a countable basis (Munkres Topology)
- Dense subset of Cantor set homeomorphic to the Baire space
- recurrence relation number of bacteria
- If U1, U2, U3 are iid Uniform, then what is the probability of U1+U2>U3?