Problem 6 - A Course in Galois Theory

Question

Suppose that \([L: K]\) is a prime \(p\), that \(p \neq\) char \(K\) and that \(L\) is algebraically closed. Suppose (if possible) that \(p>2\). (i) Show that the cyclotomic polynomials \(\Phi_{p}\) and \(\Phi_{p^{\prime}}\) split over \(K\). (ii) Show that there exists \(\theta\) in \(K\) such that \(x^{p}-\theta\) is irreducible over \(K\) and \(L: K\) is the splitting field extension for \(x^{p}-\theta\). (iii) Show that \(f=x^{p^{2}}-\theta\) has no roots in \(K\), and must be of the form \(f=f_{1} \ldots f_{p}\), where each \(f_{j}\) is an irreducible polynomial in \(K[x]\) of degree \(p\). (iv) Show that if \(\alpha_{1}, \ldots, \alpha_{p}\) are roots of \(f_{1}\) then \(\alpha_{1} \ldots \alpha_{p}=\omega \beta\), where \(\omega\) is a \(p^{2}\) th root of unity and \(\beta^{p}=\theta\). Explain why this gives a contradiction.

Step-by-Step Solution

Answer

The assumptions lead to contradictions due to cyclotomic splitting, minimal degree restrictions, and cyclotomic root overlaps.

Step 1: Show Cyclotomic Polynomials Split

We need to show that the cyclotomic polynomials \( \Phi_p \) and \( \Phi_{p'} \) split over \( K \). Since \( [L:K] = p \) is prime and \( L \) is algebraically closed, \( L \) contains all \( p \)-th roots of unity. Thus, \( \Phi_p(x) = x^{p-1} + x^{p-2} + \cdots + x + 1 \) splits completely in \( L \). Since \( p ot= \text{char} \ K \), the same holds for \( \Phi_{p'} \). Hence, \( K \) contains all coefficients since \( L:K \) is primitive.

Step 2: Existence of \(\theta\) in \(K\)

Since \( L:K \) is a splitting field and the degree is \( p \), there must exist a \( \theta \in K \) such that the polynomial \( x^p - \theta \) is irreducible over \( K \). Since it's the minimal polynomial for some element in \( L \), \( L:K \) ensures that \( x^p - \theta \)'s roots are precisely \( L \)'s, confirming irreducibility.

Step 3: Properties of \(f=x^{p^2}-\theta\)

Consider whether \( f = x^{p^2} - \theta \) has roots in \( K \) or can be completely factored in \( K[x] \). Since \( \theta \) came from an irreducible polynomial, \( x^{p^2} - \theta \) must fail to have roots in \( K \). It must be factored as \( f = f_1 \cdots f_p \), each \( f_j \) being degree \( p \) irreducible polynomials in \( K[x] \).

Step 4: Relationship Between Roots and Contradiction

Assume \( \alpha_1, \ldots, \alpha_p \) are roots of \( f_1 \). The product \( \alpha_1 \cdots \alpha_p = \omega \beta \), where \( \omega \) is a \( p^2 \)th root of unity and \( \beta^p = \theta \), reflects properties of cyclotomic roots and relations with \( \theta \). Since these overlap lower indices (relatively prime shares), it leads to considering cardinality contradictions, an intrusion against \( L:K \) being \( p \). This exposes where we assumed more roots than permissible under the degree of irreducibility and field degree bounds, a contradiction.

Key Concepts

Field Extensions

In Galois theory, field extensions are a central concept that illuminate the relationships between different fields. When we say a field extension "\([L: K]\) is of degree \(p\)," it means that the larger field, \(L\), contains \(K\) and can be constructed by adjoining a root of an irreducible polynomial of degree \(p\) over \(K\). This is particularly useful in understanding how roots of polynomials are related to each other across different fields.

• An extension field \(L\) includes \(K\) as a subfield with additional elements that allow for the roots of polynomials not solvable in \(K\).
• This results in a minimal polynomial in \(K[x]\), which cannot be simplified further within that field.
• Field extensions are essential for operations such as splitting fields, where polynomials are broken into linear factors.

By understanding field extensions, students discover how new fields are constructed and the degree to which polynomials can be solved within them. It’s a foundational step in mastering Galois Theory and analyzing the structure of solutions to polynomial equations.

Cyclotomic Polynomials

Cyclotomic polynomials are a special class of polynomials that play a pivotal role in number theory and field theory. A cyclotomic polynomial \(\Phi_n(x)\) has roots that are the primitive \(n\)-th roots of unity.

• The \(p\)-th cyclotomic polynomial \(\Phi_p(x)\) is defined as \(x^{p-1} + x^{p-2} + \cdots + x + 1\).
• These polynomials split completely over a field containing all \(p\)-th roots of unity.
• This completeness is significant because it allows us to study these roots by expressing them in a form that can be easily handled mathematically.

Understanding cyclotomic polynomials involves recognizing their role in expressing relationships between roots and simplifying analyses across different fields. As such, they provide insights into the structure and solution sets of polynomial equations within a broader algebraic context.

Irreducible Polynomials

Irreducible polynomials are fundamental to Galois Theory. These are polynomials that cannot be factored into the product of two or more non-constant polynomials over a given field. In the context of our exercise, the irreducibility of \(x^p - \theta\) over \(K\) signifies that it cannot be simplified further within this field.

• Irreducible polynomials serve a pivotal role, as they determine the structure of field extensions.
• An element \(\theta\) that turns \(x^p - \theta\) into an irreducible polynomial indicates we're at the minimal degree of extension required to form the field \(L\).
• Understanding these polynomials helps in determining the structure of both the splitting field and the minimal polynomial relations.

The significance of irreducible polynomials lies in their direct relationship with the degree of field extensions, allowing for a clear pathway into understanding more complex algebraic structures in Galois Theory.

Root of Unity

A root of unity is a complex number that, when raised to a certain positive integer power, equals 1. Roots of unity are crucial in cyclotomic fields and polynomials. In this exercise, we encounter roots of unity in the context of field splits and irreducible structures.

• The \(n\)-th roots of unity are the solutions to the equation \(x^n - 1 = 0\).
• For a prime \(p\), the \(p^2\)-th root of unity \(\omega\) becomes integral to understanding contradictions in field extensions.
• These roots provide insight into the symmetry and structure in complex fields, which is fundamental to many theorems and algebraic proofs.

By studying roots of unity, students can better understand how polynomials decompose into simpler parts and how these parts relate to the larger algebraic field context. They exemplify a key concept through which the intricacies of number fields are understood and analyzed within the wider domain of Galois Theory.