MHB Polynomial of degree 3. splitting field.

Click For Summary
For the polynomial \( p(x) = x^3 + ax + b \) over the field of rational numbers \( F \), the necessary and sufficient conditions for its splitting field to have degree exactly 3 over \( F \) include ensuring that \( p(x) \) is irreducible and has three real roots. The absence of rational roots is essential, which can be confirmed through the discriminant \( \Delta = -4a^3 - 27b^2 \); it must be negative to guarantee three distinct real roots. Additionally, the square root of \( -\Delta \) must be rational to maintain the degree condition. Understanding these conditions is crucial for determining the nature of the roots and the structure of the splitting field.
caffeinemachine
Gold Member
MHB
Messages
799
Reaction score
15
If $F$ is the field of rational numbers, find the necessary and sufficient conditions on $a$ and $b$ so that the splitting field of $p(x)=x^3+ax+b=0$ has degree exactly $3$ over $F$.

ATTEMPT:
If $p(x)$ is not irreducible in $F[x]$ then the splitting field of $p(x)$ over $F$ can have degree $2!=2$ over $F$.
Thus $p(x)$ should have no rational roots.
Now.
Claim: $p(x)$ should not have any complex root (in the field of complex numbers).
Proof: Suppose it did. Say $\alpha$ is a complex root of $p(x)$. Now since $p(x)$ is a polynomial of degree three it has at least one real root say $a$. Let $E$ be the splitting field of $p(x)$ over $F$. Then $[F(a):F]$ divides $[E:F]=3$. $[F(a):F] \neq 1$ since $p(x)$ is irreducible in $F[x]$. Thus $[F(a):F]=3$. Clearly $\alpha \not \in F(a)$. Thus $[F(a, \alpha):F] > [F(a):F]$. Since $[F(a, \alpha):F]$ divides $[E:F]$, it follows that $[E;F]> [F(a):F]=3$.

So all three roots of $p(x)$ in the field of complex numbers are real.

Now what do I do?
 
Physics news on Phys.org
have you considered looking at the discriminant? in this case $\Delta = -4a^3 - 27b^2$. now argue that $\Delta < 0$ and $\sqrt{-\Delta}$ is rational (you might want to consider the vieta substitution:

$$x = w - \frac{a}{3w}$$

to see where I'm coming from).
 
Deveno said:
have you considered looking at the discriminant? in this case $\Delta = -4a^3 - 27b^2$. now argue that $\Delta < 0$ and $\sqrt{-\Delta}$ is rational (you might want to consider the vieta substitution:

$$x = w - \frac{a}{3w}$$

to see where I'm coming from).
I don't know what the discriminant is in case of cubic equation.
I didn't know that the question requires that knowledge.
But thanks for your post Denevo. I will attempt this question again after reading more about the cubic.
 
use the substitution i mentioned, and then multiply through by $w^3$. you should get a quadratic in $w^3$. what are the conditions that a quadratic has two real rational roots?
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

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