Problem 16 - A Course in Galois Theory

Question

Suppose \(K\) is a field which contains a primitive \(n\)th root of unity, and that \(x^{n}-a\) and \(x^{n}-b\) are irreducible polynomials over \(K\) with the same splitting field extension \(L: K\). Let \(\alpha\) be a root of \(x^{n}-a\) in \(L\), \(\beta\) a root of \(x^{n}-b\). By considering the action of \(\Gamma(L: K)\) on \(\alpha\) and \(\beta\), show that there exists \(r\), prime to \(n\), such that \(\beta \alpha^{-r} \in K\). Show that \(b=a^{r} c^{n}\) for some \(c\) in \(K\).

Step-by-Step Solution

Answer

There exists an integer \(r\) coprime to \(n\) such that \(b = a^r c^n\) for some \(c\) in \(K\), due to the Galois group's root permutation properties.

Step 1: Understanding Roots and Splitting Fields

The problem states that over a field \(K\), both polynomials \(x^n - a\) and \(x^n - b\) are irreducible and share the same splitting field \(L\). The primitive nth root of unity present in \(K\) suggests that each of these polynomials splits completely in \(L\). We denote by \(\alpha\) a root of \(x^n - a\) in \(L\), meaning \(\alpha^n = a\), and \(\beta\) a root of \(x^n - b\), meaning \(\beta^n = b\).

Step 2: Analyzing Galois Group Action

The Galois group \(\Gamma(L:K)\) consists of automorphisms of \(L\) that fix \(K\). Because \(L\) is the splitting field of both \(x^n - a\) and \(x^n - b\), the action of \(\Gamma(L:K)\) permutes the roots of both polynomials. Each automorphism maps a root to another root within the set of roots. Specifically, there's an automorphism mapping \(\alpha\) to a power \(\beta \alpha^{-r}\), for some integer \(r\) that is coprime to \(n\).

Step 3: Understanding the Existence of r

Since each polynomial is irreducible and both have the same splitting field extension, their roots are linked through the Galois group. By elementary group theory, for any \(\sigma\) in the Galois group, if \(\sigma(\alpha) = \beta\alpha^{-r}\), then \(\beta^n = b = (\alpha^n)^r = a^r\cdot(\text{some power of a primitive root})\). This shows that \(\beta \alpha^{-r}\) must belong to \(K\) because it's fixed by all automorphisms of \(L\) over \(K\).

Step 4: Concluding with Expression for b

Having \(\beta \alpha^{-r} \in K\) implies that we can express \(\beta\) as \(\alpha^r \cdot k\) where \(k\) is some element in \(K\). Raising both sides to the nth power gives \(b = (\alpha^r \cdot k)^n = a^r \cdot k^n\). Therefore, \(b = a^r c^n\) for some \(c = k\) in \(K\).

Step 5: Compiler Result

Our analysis shows that there exists an integer \(r\) that is coprime to \(n\) such that \(b = a^r c^n\) for some \(c\) in \(K\). This results from the structure of roots being permuted by the Galois group \(\Gamma(L:K)\) consistently over the splitting field \(L\).

Key Concepts

Field Theory

Field theory is a branch of mathematics that studies fields, which are algebraic structures used in many areas including algebra and number theory. A field is essentially a set equipped with two operations, addition and multiplication, that satisfy certain properties like commutativity, associativity, and distributivity.

- **Operations:** In a field, you can add, subtract, multiply, and divide (except by zero) elements. This allows for solving equations and understanding polynomials. - **Field Extensions:** A key concept in field theory is the notion of field extensions, where you have a larger field that contains a smaller field as a subfield. This is useful for examining how polynomial equations can have solutions that lie outside their original field, leading to larger fields. - **Example:** The set of rational numbers, real numbers, and complex numbers are all commonly used fields.
Field theory provides the framework to understand deeper algebraic structures and is essential in the study of polynomial equations, especially in contexts like Galois Theory and splitting fields.

Irreducible Polynomials

An irreducible polynomial is a polynomial that cannot be factored into the product of two non-constant polynomials. Over a given field, irreducibility is a crucial property because:

• **Field Extensions:** When a polynomial is irreducible over a field, the field can be extended by adjoining a root of the polynomial. This root does not initially belong to the field but does in the extension.
• **Example:** Consider a polynomial like \(x^2 + 1\) over the real numbers. It is irreducible, but adding one of its roots (the imaginary unit \(i\)) creates the complex field.
• **Relevance in Exercise:** In the original exercise, both \(x^n-a\) and \(x^n-b\) are irreducible, ensuring they don't split in field \(K\), leading to constructing the splitting field \(L\).

Understanding irreducible polynomials is vital as they serve as building blocks for constructing new fields where solutions to equations can reside.

Galois Group

The Galois group of a field extension is a set of automorphisms (bijective maps from the field to itself) that fix the base field and permute the roots of polynomials.

- **Structure:** Each element of the Galois group is an automorphism, and the group operation is function composition. These properties make the Galois group a powerful tool for understanding the symmetries of field extensions.- **Relation to Extensions:** In the exercise, the Galois group \(\Gamma(L:K)\) plays a role in coordinating the permutation of roots of the polynomials \(x^n-a\) and \(x^n-b\). It gives insight into how these roots are related within the splitting field.- **Importance:** Understanding the Galois group helps in the determination of how different elements (like \(\alpha\) and \(\beta\)) relate to each other and discover hidden symmetries that lead to conclusions about the elements in the base field \(K\).
Galois groups link field theory with group theory and offer profound insight into polynomial equations' solvability.

Root of Unity

A root of unity is a complex number that, when raised to a certain positive integer power, results in one. These roots are significant in field extensions and are crucial in understanding polynomial roots.

• **Definition:** If \(\zeta\) is a primitive \(n\)th root of unity, then \(\zeta^n = 1\) and \(\zeta^k eq 1\) for \(0 < k < n\).
• **Role in Polynomials:** Roots of unity are used to express roots of many kinds of polynomial equations, especially those that involve symmetry, such as cyclotomic polynomials.
• **Presence in Exercise:** In the given problem, the presence of a primitive \(n\)th root of unity in \(K\) allows the polynomials \(x^n-a\) and \(x^n-b\) to split completely in the larger field \(L\).

Roots of unity not only simplify the solutions of polynomial equations but also play an integral role in the connection between field extensions and group theory through Galois Theory.