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?
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

Replies
48
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
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