Problem 4 - A Course in Galois Theory

Question

Let \(f\) be an irreducible cubic in \(K[x]\), where \(K\) is a subfield of \(\mathbb{R}\). Show that \(f\) has three real roots if and only if its discriminant is positive.

Step-by-Step Solution

Answer

A cubic polynomial is irreducible with three real roots if its discriminant is positive.

Step 1: Understanding Discriminant of a Cubic Polynomial

The discriminant of a cubic polynomial \( f(x) = ax^3 + bx^2 + cx + d \) is given by \( D = 18abcd - 4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2 \). The discriminant provides crucial information about the nature of the roots. For a cubic polynomial, a positive discriminant indicates three distinct real roots.

Step 2: Properties of the Irreducible Cubic Polynomial

An irreducible cubic polynomial in the subfield \(K \subseteq \mathbb{R}\) ensures it cannot be factored into lower-degree polynomials with coefficients in \(K\). For \(K = \mathbb{R}\), irreducibility implies at least one complex root or that all roots are irrational. With a positive discriminant, the polynomial must have three distinct real roots since it cannot split over \(K\).

Step 3: Showing Equivalence

To show that \(f\) has three real roots if and only if its discriminant is positive, we need to connect irreducibility and root nature. An irreducible cubic with positive discriminant doesn't factor over \(K\), suggesting all roots are distinct real and irrational - thus the only way for \(K\) to be a real subfield of \(\mathbb{R}\) and maintain irreducibility. Conversely, if \(f\) has three real roots, especially distinct ones, the factorization in \(\mathbb{R}[x]\) confirms \(D > 0\).

Step 4: Conclusion Linkage

Linking the above, the characteristics of irreducibility in \(K\) and root conditions (distinct real roots) confirm that for any irreducible cubic polynomial \(f\) in \(K[x]\), a positive discriminant assures three real roots, since negativity or zero in \(D\) indicates the existence of non-real roots or multiplicity, contrary to distinctness and reality.

Key Concepts

Cubic Polynomials

Cubic polynomials are polynomials of degree three and have the general form \(ax^3 + bx^2 + cx + d\), where \(a, b, c, d\) are constants and \(a eq 0\). The degree of the polynomial tells us that there are three roots or solutions to look for.
These roots might be real or complex, and they can have multiplicity, meaning that some or all roots could be repeated. With cubic polynomials, the fundamental theorem of algebra says there are exactly three roots when we count multiplicity.

• Real roots are those numbers that we can find on the number line.
• Complex roots come in conjugate pairs if they are not real.
• The behavior of these roots influences the shape of the polynomial's graph.

Understanding these concepts lays the groundwork for analyzing polynomials more deeply, including what's happening with their discriminants and irreducibility.

Irreducible Polynomials

An irreducible polynomial is one that cannot be factored into lower-degree polynomials with coefficients from its field. For a polynomial like \(f(x)\) with coefficients in a subfield \(K\) of \(\mathbb{R}\), irreducibility indicates some critical root properties.

• If a cubic polynomial is irreducible in \(\mathbb{R}[x]\), it might have one real root and two non-real complex conjugate roots, or all roots could be irrational.
• When the polynomial can't be broken down further in \(K\), it suggests an indivisible structural complexity.
• In the context of real fields, irreducibility generally rules out factorization into polynomials of any lower degree with real coefficients.

With this irreducibility, the polynomial offers a robust framework for understanding how its discriminant relates to root nature. This concept helps springboard into deeper properties of the roots themselves, such as being real, distinct, or repeated.

Discriminant of Polynomials

The discriminant of a polynomial is a calculated number that provides key insights into the nature and type of roots the polynomial has. For a cubic polynomial \(ax^3 + bx^2 + cx + d\), the discriminant \(D\) is given by the formula:\[ D = 18abcd - 4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2 \]
This discriminant plays a fascinating role, especially in determining the type and distinctness of the roots:

• If \(D > 0\), the cubic polynomial has three distinct real roots.
• If \(D = 0\), at least two roots are equal, which means the roots could be real and repeated, or complex with multiplicity.
• If \(D < 0\), there is one real root and two complex conjugate roots.

The discriminant, therefore, acts as a shortcut to understanding complex root structures without needing to solve the polynomial explicitly. For irreducible polynomials, the discriminant can affirm the non-reducibility by confirming distinct real roots under certain conditions, leveraging the relationship between being irreducible and having a positive discriminant when considering cubic polynomials within a real subfield.