[Math] Calculate the degree of the field extensions.

abstract-algebraextension-fieldgalois-theoryirreducible-polynomialsminimal-polynomials

I have been staring at this question for a while. I'm sure there is a little trick I am missing…anyway, it is the following:

$ f = x^3 + x + 3 $

a) Show $f$ is irreducible over $\mathbb{Q}[x]$: Did this fine, using the following theorem: "If $f$ is primitive (i.e. the GCD of the coefficients is 1), then $f$ is irreducible in $\mathbb{Z}[x] \iff f$ is irreducible in $\mathbb{Q}[x]$, then showed by contradiction that $f$ was irreducible in $\mathbb{Z}[x]$.

b) Show that $f$ has exactly one real root: Pretty straightforward with Intermediate Value Theorem and showing that $~f' > 0. $

c) Let $\theta$ be the real root of $f$. Let $\phi, \phi'$ be the two other
roots. Compute:

[$\mathbb{Q}(\theta)$ : $\mathbb{Q}$], [$\mathbb{Q}(\theta, \phi)$ : $\mathbb{Q}$], [$\mathbb{Q}(\theta, \phi, \phi')$ : $\mathbb{Q}$].

Managed to compute the first one as 3, as $f$ is the minimal polynomial for $\theta$ and is of degree 3.

As for the second one, using the tower law, I can get

$\displaystyle [\mathbb{Q}(\theta, \phi) : \mathbb{Q}] = [\mathbb{Q}(\theta) : \mathbb{Q}][\mathbb{Q}(\theta, \phi) : \mathbb{Q}(\theta)] = 3[\mathbb{Q}(\theta, \phi) : \mathbb{Q}(\theta)]. $

My question is, how do I compute $[\mathbb{Q}(\theta, \phi) : \mathbb{Q}(\theta)]$? If I know this, i'm sure I can extend the method to get the final part. Would I need to find the minimal polynomial of $\phi$ over $\mathbb{Q}(\theta)$? If so, how do I show the polynomial is in $\mathbb{Q}(\theta)$ and not just $\mathbb{Q}$ ?

Best Answer

Over $\mathbb Q(\theta)$, you can divide out the factor $x-\theta$ from $f$ to obtain a quadratic polynomial with $\phi,\phi'$ as roots. But is it minimal? Could possibly $\mathbb Q(\theta,\phi)=\mathbb Q(\theta)$? (Use that $\theta\in\mathbb R$)

Related Question