questions about construction of splitting fields of polynomial $\langle x^3-2\rangle$ over $\mathbb{Q}$

296 Views Asked by At

I'm thinking about using the construction of splitting field by quotient out the irreducible polynomial every time to construct the splitting field of polynomial $\langle x^3-2\rangle$ over $\mathbb{Q}$, so we should quotient out by the irreducible polynomial $\langle x^3-2\rangle$ the first time, my question is how do we know it's isomorphic to $\mathbb{Q}(\sqrt[2]{3})$ but not $\mathbb{Q}$ adjoining other roots of the irreducible polynomial?

1

There are 1 best solutions below

2
On BEST ANSWER

The polynomial $x^3-2$ has three distinct roots, one real and two complex. So $\mathbb{Q}(\sqrt[3]{2})$ cannot be the splitting field, because it's a subfield of the real numbers.

If $\omega$ is a complex non real number such that $\omega^3=1$, then you know that the roots of $x^3-2$ are $$ \sqrt[3]{2},\quad \omega\sqrt[3]{2},\quad\omega^2\sqrt[3]{2} $$ (because $\omega^2=\omega^{-1}=\bar{\omega}$ is the other complex cube root of $1$). Since $$ \omega=\frac{\omega\sqrt[3]{2}}{\sqrt[3]{2}} $$ belongs to the splitting field, you have that the splitting field contains $$ \mathbb{Q}(\sqrt[3]{2},\omega) $$ but, obviously, this field contains all roots of $x^3-2$ and so is the splitting field.