Problem 15 - A Course in Galois Theory

Question

Suppose that \(K\) is a field which contains a primitive \(n\)th root of unity and that \(x^{n}-a\) and \(x^{n}-b\) are irreducible over \(K\). Show that if \(b=a^{r} c^{n}\) for some \(r\) which is prime to \(n\) and some \(c\) in \(K\), then \(x^{n}-a\) and \(x^{n}-b\) have the same splitting field extension over \(K\).

Step-by-Step Solution

Answer

Both polynomials have the same splitting field because they share roots via the transformation \(b = a^r c^n\).

Step 1: Establish Preliminary Setup

Consider the field extension over which we can split the polynomials \(x^n - a\) and \(x^n - b\). Let \(\zeta\) represent a primitive \(n\)th root of unity in \(K\). In terms of roots, both \(x^n - a\) and \(x^n - b\) will split over their respective splitting fields, making use of both \(a^{1/n}\) and \(b^{1/n}\).

Step 2: Express \(b\) in terms of \(a\)

Given that \(b = a^r c^n\), we can express \(b^{1/n}\) in relation to \(a^{1/n}\) and \(c\). This expression becomes \(b^{1/n} = (a^r c^n)^{1/n} = a^{r/n}c\), since \(c^n\) over \(K\) implies that \(c^{1/n}\) does not necessarily add new elements to the splitting field.

Step 3: Use Cyclotomic Argument

Since \(r\) is prime to \(n\), there exists an integer \(s\) such that \(rs \equiv 1 \mod n\) by Bezout's lemma. Consider the transformation \(\alpha = a^{1/n}\), then \(\alpha^r = b^{1/n}\), hence, this transformation keeps the polynomials within the same splitting field.

Step 4: Verify Splitting Field Consistency

For both polynomials to share a splitting field, they must split over the same extension of \(K\); because \(x^n-a\) contains all elements involving \(a^{1/n} \zeta^k\) and \(x^n-b\) must relate to these via \(b^{1/n}\). The existence of \(r\) and \(c\) keeps them equivalent over field operations given the primitive root of unity.

Key Concepts

Field Extension

A field extension is created when we expand a base field to include new elements not originally present. In the context of the exercise, we expand the field \( K \) to include roots that make polynomials like \(x^n - a\) and \(x^n - b\) solvable.When we talk about these polynomials being irreducible over \( K \), it means we cannot factor them into polynomials of lower degree with coefficients still in \( K \).
A field extension allows us to solve these polynomials by incorporating additional elements, such as \( a^{1/n} \) or a primitive root of unity.Here, \( \zeta \) represents such a root, helping form the smallest field where the polynomials split completely.

• Field extensions are crucial for finding solutions to complex polynomial equations.
• They involve extending \( K \) to include elements required for solving the equation.

Understanding field extensions facilitates the comprehension of how polynomials behave over larger fields.

Splitting Field

The splitting field of a polynomial is the smallest field extension over which the polynomial splits into linear factors.For the polynomial \( x^n - a \) in our exercise, its splitting field is the field where it can be expressed entirely in terms of linear factors like \((x - \alpha) (x - \beta) ... (x - \omega)\), where \(\alpha, \beta, ... , \omega\) are all the roots.
The concept of a splitting field is pivotal in ensuring that an extension contains precisely the elements necessary to express all roots of a polynomial.These roots include possible complex elements and extensions formed by additional elements like \(a^{1/n}\).

• A splitting field contains all roots of the polynomial, offering the completion of factorization into linear terms.
• It gives rise to the simplest field where a polynomial's roots reside, portraying all solutions succinctly.

The exercise verifies that \(x^n - a\) and \(x^n - b\) have the same splitting field by examining relationships between their roots influenced by structure of \(b\).

Roots of Unity

Roots of unity are special mathematical constructs and denote complex numbers that satisfy the equation \(x^n = 1\).A primitive \(n\)th root of unity, denoted \(\zeta\), is essential as it forms a base for the other roots of unity, like \(\zeta^2, \zeta^3,..., \zeta^{n-1}\).
In the exercise, \(K\) contains a primitive \(n\)th root of unity, essential for verifying whether the polynomials have the same roots in the context of the splitting field extension.The primitive root \(\zeta\) transforms complex multiplication into a rotation pattern, binding together the structural arithmetic needed for determining relationship amongst roots of polynomials \(x^n - a\) and \(x^n - b\).

• Roots of unity embody solutions to \(x^n = 1\), giving structural integrity to the polynomial roots.
• They play a role in forming the splitting fields by contributing to composite root formation.

Recognizing how they factor into polynomial roots clarifies solving and plotting these equations within extended fields.

Irreducible Polynomials

Irreducible polynomials are those which cannot be factored into simpler polynomials within the same field.For instance, in the given exercise, \(x^n - a\) and \(x^n - b\) are stated to be irreducible over \(K\).This implies that there are no factors of lesser degree that utilize only elements from \(K\) itself.
Understanding irreducibility is crucial to understanding the constraints it imposes on solving polynomial equations.The polynomial remains complex with its structure until sufficient extension or the splitting field is achieved.

• Irreducible polynomials are basic building blocks in field extension theory, as they dictate the nature of field expansion needed for solutions.
• They ensure the polynomial retains its complexity until the extension is broadened to accommodate a solution field.

The exercise leverages their irreducibility to assert necessary conditions for polynomials \(x^n - a\) and \(x^n - b\) to share the same splitting fields.