Splitting field of irreducible polynomial

Click For Summary

Discussion Overview

The discussion revolves around finding the splitting field of the irreducible polynomial \(x^3 + 3x^2 + 3x - 4\) over \(\mathbb{Q}\). Participants explore the nature of the roots, their solvability, and the structure of the splitting field, including the degree of the extension.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant notes that the polynomial is irreducible and questions how to describe its splitting field, suggesting that it may not be solvable by radicals.
  • Another participant asserts that every third degree polynomial is solvable by radicals and references a general formula for finding roots.
  • A different participant agrees with the previous assertion, expressing surprise at their earlier oversight.
  • One participant claims that the roots can be found through a minor rewriting of the polynomial and states that the splitting field has degree 6 over \(\mathbb{Q}\), suggesting it can be expressed in the form \(\mathbb{Q}(\omega, \sqrt[3]{b})\).
  • Another participant expands on this by discussing the process of "completing the cube" and the relationship between the degrees of the minimal polynomials for the real cube root and the primitive cube root of unity.

Areas of Agreement / Disagreement

There is disagreement regarding the solvability of the polynomial by radicals, with some participants asserting it is solvable while others express uncertainty. The discussion remains unresolved regarding the exact nature of the splitting field.

Contextual Notes

Participants reference the conjugate root theorem and the Fundamental Theorem of Algebra, indicating a reliance on these concepts without fully resolving the implications for the roots of the polynomial. The discussion also highlights the need for further exploration of the relationships between the roots and the splitting field.

joeblow
Messages
71
Reaction score
0
I need to find the splitting field in \mathbb {C} of x^3+3x^2+3x-4 (over \mathbb{Q}).

Now, I plugged this into a CAS and found that it is (probably) not solvable by radicals. I know that if I can find a map from this irreducible polynomial to another irreducible polynomial of the same degree, I can find an expression for the roots of the original polynomial by using the roots of the second (if they are solvable, that is). I cannot find such a polynomial, though.

By the conjugate root theorem in conjunction with FTA, we can have (1) one real root and two complex roots which must be conjugates of each other or (2) three real roots. In the case of (2), if one root is a radical expression, then its conjugate must also be a root. Thus, the third root cannot be a radical expression. Similarly for (1), the real root cannot be a radical expression.

Thus, I have no idea what a splitting field for this polynomial would be. Any ideas of a useful way of describing this splitting field? Thanks.
 
Last edited:
Physics news on Phys.org
You're darn right it is. Why'd I forget that?
 
The roots of this polynomial, you can find immediately, by just a minor rewriting, then it becomes obvious what the spliting field is. It has degree 6 over Q btw, and can be described in the form Q(ω,\sqrt[3]{b}).
 
to amplify Norwegien's answer, try "completing the cube".

if we can obtain all roots of f by adjoining a real cube root and a primitive complex cube root of unity, then to find the degree of the splitting field of f, it suffices to find the degree of the minimal polynomials for the (real) cube root, and the primitive cube root of unity.

that is:

[\mathbb{Q}(\sqrt[3]{b},\omega):\mathbb{Q}] = [\mathbb{Q}(\sqrt[3]{b},\omega):\mathbb{Q}(\sqrt[3]{b})][\mathbb{Q}(\sqrt[3]{b}):\mathbb{Q}]
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
3K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K