91Ó°ÊÓ

Let's dive into the fascinating world of degree 3 polynomials. A polynomial of degree 3 is often referred to as a cubic polynomial. It takes the general form \(f(t) = at^3 + bt^2 + ct + d\), where \(a, b, c,\) and \(d\) are coefficients from a field \(F\).
Cubic polynomials play a crucial role in many areas of algebra due to their unique properties. They are known for having exactly three roots, though these roots can sometimes be complex or even repeated. One intriguing aspect is when these polynomials are irreducible over a given field, meaning they cannot be factored into polynomials of a lower degree with coefficients in that field.
This irreducibility is significant because it ensures the polynomial must be solved using the entire splitting field, where all roots exist. This leads us to the concept of splitting fields and their related structures, like extensions and discriminants.

In algebra, Galois extensions are a central theme that connects fields, polynomials, and the behavior of roots. These extensions occur when the field extension, which includes all roots of a polynomial, exhibits symmetry represented by a Galois group.
The splitting field of our cubic polynomial \(f(t)\) is a Galois extension. This means it contains all the roots of \(f(t)\), and its corresponding Galois group reveals important structural insights.
The degree of this extension and the behavior of the Galois group are linked. For our cubic, depending on how its roots behave—whether they form simple roots or involve further quadratic components like \(\sqrt{D}\)—the degree of the extension can be either 3 or 6.
When diving deeper, it's the interplay between the degree of \(f(t)\) and the structure of the Galois group that unveils potential subfields, especially those of degree 2.

The discriminant \(D\) of a polynomial is a vital concept that offers insight into the nature of its roots. For a cubic polynomial \(f(t) = at^3 + bt^2 + ct + d\), its discriminant is calculated by a specific formula involving the coefficients \(a, b, c,\) and \(d\).
The discriminant tells us about the root behavior without fully solving the polynomial. For instance, when \(D > 0\), the roots are all real and distinct. If \(D = 0\), there is at least one repeated root.
A negative \(D\) indicates the presence of complex or non-real roots. This quality makes the discriminant essential when examining possible extensions or subfields.
When considering a quadratic subfield like \(F(\sqrt{D})\), the role of the discriminant becomes even more prominent. If \(D\) is a perfect square within \(F\), the polynomial's behavior changes, impacting the field's structure and eliminating the possibility of a degree 2 subfield.

In the context of field extensions, a subfield of degree 2 over a base field \(F\) holds a special place. It effectively represents a halfway point in the overall structure of the fields involved.
Specifically, if the polynomial's entire splitting field \(K\) contains such a subfield of degree 2, it signifies the existence of a quadratic extension like \(F(\sqrt{D})\).
This extension results from the presence of two roots whose relationship can be expressed via the square root of the discriminant \(D\). This is only possible if \(D\) itself isn't a square in \(F\); otherwise, the degree 2 extension wouldn't distinctly step away from the base field.
When \(D\) is a square in \(F\), then \(F(\sqrt{D})\) reduces to \(F\) itself, resulting in the absence of a distinct degree 2 subfield, aligning perfectly with the conclusions drawn from Galois theory and correspondence.