PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] examples of minimal polynomials (Example)

Note that $\sqrt[4]{2}$ is algebraic over the fields $\mathbb{Q}$ and $\mathbb{Q}(\sqrt{2})$ . The minimal polynomials for $\sqrt[4]{2}$ over these fields are $x^4-2$ and $x^2-\sqrt{2}$ , respectively. Note that $x^4-2$ is irreducible over $\mathbb{Q}$ by using Eisenstein's criterion and Gauss's lemma (see this entry for more details), and $x^2-\sqrt{2}$ is irreducible over $\mathbb{Q}(\sqrt{2})$ since it is a quadratic polynomial and neither of its roots ($\sqrt[4]{2}$ and $-\sqrt[4]{2}$ ) are in $\mathbb{Q}(\sqrt{2})$ .

A common method for constructing minimal polynomials for numbers that are expressible over $\mathbb{Q}$ is ``backwards algebra'': The number can be set equal to $x$ , and the equation can be algebraically manipulated until a monic polynomial in $\mathbb{Q}[x]$ is equal to 0. Finally, if the monic polynomial is not irreducible, then it can be factored into irreducible polynomials $\mathbb{Q}[x]$ , and the original number will be a root of one of these. A very simple example is $\sqrt[4]{2}$ :

\begin{displaymath}\begin{array}{rl} x & =\sqrt[4]{2} \ x^4 & =2 \ x^4-2 & =0 \end{array}\end{displaymath}

This method will be further demonstrated with three more examples: One for $\displaystyle \frac{1+\sqrt{5}}{2}$ , one for $1+\omega_5$ where $\omega_5$ is a fifth root of unity, and one for $\sqrt[3]{2}+\sqrt[3]{3}$ .

\begin{displaymath}\begin{array}{rl} x & =\displaystyle \frac{1+\sqrt{5}}{2} \\ ... ... 4x^2-4x+1 & =5 \ 4x^2-4x-4 & =0 \ x^2-x-1 & =0 \end{array}\end{displaymath}
\begin{displaymath}\begin{array}{rl} x & =1+\omega_5 \ x-1 & =\omega_5 \ (x-... ...-10x^2+5x-1 & =1 \ x^5-5x^4+10x^3-10x^2+5x-2 & =0 \end{array}\end{displaymath}
\begin{displaymath}\begin{array}{rl} x & =\sqrt[3]{2}+\sqrt[3]{3} \ x^3 & =2+3... ...ot 25x^3-125 & =162x^3 \ x^9-15x^6-87x^3-125 & =0 \end{array}\end{displaymath}

Since $x^2-x-1$ is a quadratic and has no roots in $\mathbb{Q}$ , it is irreducible over $\mathbb{Q}$ . Thus, it is the minimal polynomial over $\mathbb{Q}$ for $\displaystyle \frac{1+\sqrt{5}}{2}$ .

On the other hand, $x^5-5x^4+10x^3-10x^2+5x-2$ factors over $\mathbb{Q}$ as $(x-2)(x^4-3x^3+4x^2-2x+1)$ . Since $1+\omega_5$ is not a root of $x-2$ , it must be a root of $x^4-3x^3+4x^2-2x+1$ . Moreover, this polynomial must be irreducible. This fact can be proven in the following manner: Let $m(x)$ be the minimal polynomial for $1+\omega_5$ over $\mathbb{Q}$ . Since $\mathbb{Q}(1+\omega_5)=\mathbb{Q}(\omega_5)$ , $\deg m(x)=[\mathbb{Q}(1+\omega_5)\!:\!\mathbb{Q}]=[\mathbb{Q}(\omega_5)\!:\!\mathbb{Q}]=\varphi(5)=4=\deg (x^4-3x^3+4x^2-2x+1)$ . (Here $\varphi$ denotes the Euler totient function.) Since $m(x)$ divides $x^4-3x^3+4x^2-2x+1$ and they have the same degree, it follows that $m(x)=x^4-3x^3+4x^2-2x+1$ .

It turns out that $x^9-15x^6-87x^3-125$ is irreducible over $\mathbb{Q}$ . (This can be proven in a similar manner as above. Note that $[\mathbb{Q}(\sqrt[3]{2}+\sqrt[3]{3})\!:\!\mathbb{Q}]=9$ .) Thus, it is the minimal polynomial over $\mathbb{Q}$ for $\sqrt[3]{2}+\sqrt[3]{3}$ .




"examples of minimal polynomials" is owned by Wkbj79.
(view preamble | get metadata)

View style:

See Also: irreducible polynomials obtained from biquadratic fields


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: degree, Euler totient function, factors, root of unity, irreducible polynomials, monic polynomial, equation, expressible, numbers, roots, polynomial, Eisenstein's criterion, irreducible, minimal polynomials, fields, algebraic

This is version 10 of examples of minimal polynomials, born on 2007-04-14, modified 2008-03-13.
Object id is 9184, canonical name is ExamplesOfMinimalPolynomials.
Accessed 2189 times total.

Classification:
AMS MSC12E05 (Field theory and polynomials :: General field theory :: Polynomials )
 12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)