3
$\begingroup$

Let $L_f$ be the splitting field of the irreduicble polynomial $f = x^3 − x + 1$ over $\Bbb{Q}[x]$. I want to determine $\operatorname{dim}_{\Bbb{Q}}L_f$.

$f$ has three roots in its splitting field and it has no roots in $\mathbb{Q}$ because it is irreducible (can I deduce that?).

$f$ is irreducible so every polynomial which has a common root with $f$ must be other $f$ or a $f$ divides the polynomial. Hence, $f$ is the minimal polynomial of the roots of $f$. So $\operatorname{dim}_{\Bbb{Q}}L_f = \deg(f) = 3$ ?

Is this correct?

  • 2
    It has no roots in $\mathbb Q$, _hence_ it is irreducible over $\mathbb Q$. Do you know about the discriminant? It determines whether the degree of the splitting field is $3$ or $6$. Do you see why $6 = \#S_3$ is an upper bound?2012-09-06
  • 1
    To be super explicit, $f$ is irreducible because it is degree 3 and has no roots.2012-09-06
  • 2
    A cubic with integer coefficients which is irreducible over $\mathbb Q$ has either one or three real roots (note that a double root would be rational, since it would also be a root of the formal derivative). What can you say about the two cases? Which case does yours belong to?2012-09-06
  • 0
    Edit: Sorry, I forgot. The irreducible is given.2012-09-06
  • 3
    Just for, um, culture. Given a prime $p > 3$ with Legendre symbol $(-23|p) = 1,$ then $$x^3 - x + 1 \equiv 0 \pmod p $$ has three distinct roots if and only if there is an integer expression $ p = u^2 + u v + 6 v^2. $ Otherwise we get some expression $ p = 2 u^2 + u v + 3 v^2. $ Not both. If you decide to experiment with this, a good idea, note you need to allow $uv < 0$ sometimes.2012-09-06
  • 0
    Oh, forgot, $p=23$ is a single special case, I forget what happens. Anyway, worthwhile computer experiment. Special cases $2,3,23.$ Note, as $23 \equiv 3 \pmod 4,$ for odd primes $p$ we get $(-23|p) = (p|23).$ So, allowing $uv$ sometimes negative, we have three distinct general cases, $$ p = u^2 + u v + 6 v^2, \; \; p = 2 u^2 + u v + 3 v^2, \; \; (p|23) = -1. $$2012-09-06
  • 0
    Ok, so you know it is irreducible. Therefore when you join **one** of the roots you get a degree three extension (irrespective of which one you join). To get to the splitting field you must join **all three**. They may or may not come as a consequence of joining the first root. Which is the case here? To get to the answer, you should (at least) answer the question posed by Mark Bennet.2012-09-06
  • 0
    What about my answer to one of your questions (this should be a counter example) ? http://math.stackexchange.com/questions/191371/dimension-of-a-splitting-field/191375#1913752012-09-06

1 Answers 1

4

I'm sure you're looking for a completely algebraic solution, which I'm sure you're very close to, based on the other comments. I'm going to toss in a method that brings in elementary calculus.

I'm beginning at the point where you believe the polynomial is irreducible over $\mathbb{Q}$. Since it is has odd degree and it's in $\mathbb{R}[x]$, it has a real root. Using basic calculus you can check that the graph has exactly one real root, so the rest are complex.

Let $\alpha$ be the real root. Since $f$ has degree 3 and is irreducible and has $\alpha$ as a root, $[\mathbb{Q}[\alpha]:\mathbb{Q}]=3$. This field contains only reals, so you will need to adjoin another (complex) root to finish splitting the polynomial. After factoring out the real root, the complex roots are the remaining zeros of a quadratic factor of $f$.

So, adjoining another root is another extension of degree 2.

Thus the splitting field's degree over $\mathbb{Q}$ is 6.