Problem 6 - A Course in Galois Theory

Question

Suppose that \(K\) is a subfield of \(\mathbb{R}\) and that \(f\) is an irreducible cubic in \(K[x]\) with three real roots. Show that if \(L: K\) is an extension by radicals with \(L \subseteq \mathbb{R}\) then \(f\) is irreducible over \(L\). (It is not possible to solve \(f\) only by extracting real roots!)

Step-by-Step Solution

Answer

Irreducible in \(K[x]\) remains irreducible in any real radical extension \(L \subseteq \mathbb{R}\).

Step 1: Understanding the Problem Statement

We are given a cubic polynomial \(f\) in \(K[x]\), where \(K\) is a subfield of \(\mathbb{R}\) and \(f\) is irreducible with three real roots. We need to show that \(f\) remains irreducible over any extension \(L\) of \(K\) by radicals, as long as \(L \subseteq \mathbb{R}\).

Step 2: Using Irreducibility in Real Subfields

Since \(f\) is irreducible over \(K[x]\) and has real roots, this implies that the roots are not expressible through arithmetic operations and root extractions limited to the field \(K\). If \(f\) were reducible over \(L\), then at least one non-trivial factorization would exist in \(L[x]\), contradicting its irreducibility in \(K[x]\).

Step 3: Understanding Radical Extensions in \(\mathbb{R}\)

A radical extension \(L:K\) involves adding any elements that can be expressed using radicals over \(K\). However, every element of \(L\) generated this way still lies within \(\mathbb{R}\) because \(L \subseteq \mathbb{R}\). Therefore, the added elements do not introduce new algebraic operations w.r.t irreducibility over \(L\) compared to \(K\).

Step 4: Applying Galois Theory

The key idea in using Galois Theory is to recognize that for radicals in \(\mathbb{R}\), roots of unity beyond those expressible in \(\mathbb{R}\) (not involving complex roots) do not further reduce polynomials with real roots. Since the field extensions staying within \(\mathbb{R}\) by radicals don't accommodate complex conjugate pairs, \(f\) cannot split into linear factors in \(L[x]\).

Step 5: Concluding Irreducibility Over L

Since \(f\) is irreducible in \(K[x]\) and none of the roots can be simplified by radical extensions exclusively in \(\mathbb{R}\), the structure implies each polynomial factor remains indivisible. Thus, \(f\) is irreducible in \(L[x]\) as well.

Key Concepts

Irreducible polynomial

An irreducible polynomial is a type of polynomial which cannot be factored into the product of two non-constant polynomials with coefficients in a given field. This means if you are working with such polynomials in a specific field, you cannot break them down into simpler polynomials within that same field.
When dealing with irreducible polynomials, especially over the field of real numbers or any of its subfields like our case with the field \(K\), it often implies that the roots of these polynomials cannot be constructed using simple addition, subtraction, multiplication, division, or the extraction of roots within that field.
For the cubic polynomial \(f\) we're examining, it remains stubbornly irreducible over \(K[x]\), despite having real roots. This highlights the fascinating importance of understanding irreducibility, as it means that these roots and the polynomial themselves maintain their complexity against subfield manipulations and extensions.

Cubic polynomial

A cubic polynomial is a polynomial of degree three. This means it has the standard form \( ax^3 + bx^2 + cx + d \), where \(a eq 0\). Cubic polynomials have some interesting properties:

• They always have three roots (real or complex), but the nature of these roots can vary.
• Because of the intermediate value theorem, a continuous function like a cubic polynomial crosses the x-axis a certain number of times depending on its real roots.
• Cubics can have one real root and two complex conjugate roots, or all three roots can be real.

When we speak of a cubic polynomial with three real roots in this context, it indicates a specific symmetry and balance in its structure.
Despite these roots being accessible theoretically, irreducibility in \(K[x]\) means these roots are sophisticated—they're interconnected in ways that cannot be simplified by mere radical operations in the field \(K\). Hence, in field extensions by radicals, like in the case of \(L\), these relationships don't simplify into lower-degree polynomials, preserving the irreducible nature of \(f\).

Field extension

In mathematical terminology, a field extension is a more extensive field that contains a smaller field as a subset. The larger field, known as the extension field, often has additional elements or numbers generated through operations permissible by the initial, smaller field.
The concept of field extension comes into play when one desires an expanded setting where polynomial equations unsolvable in the initial field may become solvable, or new algebraic numbers arise.
In our exercise, we consider \(L:K\) as a radical extension with \(L \subseteq \mathbb{R}\). This means we're expanding \(K\) by adjoining elements that are roots of polynomial equations in \(K\) but using operations allowed in \(\mathbb{R}\). Since \(L\) remains within the confines of real numbers, all algebraic operations maintain relationships of real solutions and do not introduce complex alterations that would complicate or factorize \(f\) further, aiding irreducibility.

Radical extensions

Radical extensions refer to extensions of a field through the inclusion of elements that are roots of numbers or polynomial expressions within that field. Essentially, you build the larger field by including solutions to polynomial equations involving radicals (e.g., square roots, cube roots, etc.).
A crucial part of radical extensions is they involve elements that are compatible within the underlying structure of real numbers in this context. They allow for expressions using radicals, yet they largely retain the characteristics of the field they extend from when confined to real numbers.
In our specific problem, this constraint means radical extensions do not offer alternative simplifying paths to break down the irreducible cubic polynomial \(f\) over the field \(L\).
Understanding radical extensions in this manner shows how the algebraic structure imposed by keeping everything within real numbers restricts drastic changes in polynomial behavior, reinforcing the irreducibility of \(f\) when extended as \(L\). These extensions add new roots or set new dimensional pathways but respect previously indivisible polynomials when roots are real, as illustrated in the problem.