Problem 14 - A Course in Galois Theory

Question

Suppose that \(L: K\) is a Galois extension of degree \(n\) with cyclic Galois group generated by \(\tau\), say, and that \(\alpha \in L\). Show that \(\operatorname{tr}(\alpha)=0\) if and only if there exists \(\beta\) in \(L\) such that \(\alpha=\beta-\sigma \beta\).

Step-by-Step Solution

Answer

The trace is zero if and only if the element is a difference of an element and its image under the Galois group generator.

Step 1: Understanding the Trace Function

In a Galois extension \(L: K\) of degree \(n\), where the Galois group \(\mathrm{Gal}(L/K)\) is cyclic and generated by \(\tau\), the trace of an element \(\alpha\) in \(L\) is defined as \(\operatorname{tr}(\alpha) = \alpha + \tau(\alpha) + \tau^2(\alpha) + \cdots + \tau^{n-1}(\alpha)\). Our goal is to show that \(\operatorname{tr}(\alpha) = 0\) if and only if \(\alpha = \beta - \tau(\beta)\) for some \(\beta \in L\).

Step 2: Show \(\operatorname{tr}(\alpha)=0\) Implies \(\alpha=\beta-\tau(\beta)\)

Suppose \(\operatorname{tr}(\alpha)=0\). This means \(\alpha + \tau(\alpha) + \cdots + \tau^{n-1}(\alpha) = 0\). To find \(\beta\), consider \(\beta = \frac{-1}{n}(\tau^{n-2}(\alpha) + 2\tau^{n-3}(\alpha) + \cdots + (n-1)\alpha)\). If \(\alpha = \beta - \tau(\beta)\), then \(\alpha\) joins the compensating cyclic permutations of \(\beta\) leading to \(\operatorname{tr}(\alpha) = 0\).

Step 3: Show \(\alpha=\beta-\tau(\beta)\) Implies \(\operatorname{tr}(\alpha)=0\)

If \(\alpha = \beta - \tau(\beta)\), then applying trace yields: \(\operatorname{tr}(\alpha) = \operatorname{tr}(\beta - \tau(\beta)) = \operatorname{tr}(\beta) - \operatorname{tr}(\tau(\beta))\). Note that \(\operatorname{tr}(\tau(\beta)) = \operatorname{tr}(\beta)\) since trace is invariant under permutations. Thus, \(\operatorname{tr}(\alpha) = \operatorname{tr}(\beta) - \operatorname{tr}(\beta) = 0\). This confirms \(\operatorname{tr}(\alpha)=0\).

Step 4: Conclusion of the Equivalence

The analysis shows that \(\operatorname{tr}(\alpha) = 0\) if and only if \(\alpha\) can be expressed as \(\alpha = \beta - \tau(\beta)\) where \(\beta\) is some element of \(L\). This completes our proof using the properties of Galois extensions and the definition of the trace.

Key Concepts

Galois extension

A Galois extension is a fundamental concept in Galois theory, named after the mathematician Évariste Galois. It involves two fields, say, a larger field \(L\) over a smaller field \(K\). This type of extension has specific properties, particularly related to its symmetry and how elements can be permuted. A characteristic property of a Galois extension \(L:K\) is that it is both normal and separable.

Why is this important? Well, the normal property ensures that any polynomial in \(K\) that has a root in \(L\) can have all its roots in \(L\). The separable characteristic means any polynomial involved has distinct roots, preventing doubling up of elements. These properties combined allow us to explore symmetries of polynomials, especially those with roots in \(L\), using the tools of Galois theory.

cyclic Galois group

The cyclic Galois group is a type of Galois group, simply structured because all elements can be generated by repeated applications of one single element. If you picture a clock, moving from number to number by the same constant step, you get a cyclic behavior—which is exactly the heart of a cyclic group.

In a Galois extension where the Galois group is cyclic, this symmetry group is generated by a single element—let's say \(\tau\). This means applying \(\tau\) over and over will cycle through all elements of the group, eventually returning to the starting point. Understanding this cyclic nature is crucial because it simplifies analyzing the extension by focusing on the action of this one generator \(\tau\).

From a practical standpoint, cyclic Galois groups help to solve polynomial equations, especially when these equations stem from field extensions that are not directly apparent.

trace function

The trace function is a significant tool in field theory and, specifically, in analyzing Galois extensions. It gives a way to 'summarize' elements from a larger field down to a smaller field. For a Galois extension \(L:K\) of degree \(n\), and a cyclic Galois group generated by \(\tau\), the trace of an element \(\alpha \in L\) is calculated by summing up the effects of the Galois group actions on \(\alpha\):

• \(\operatorname{tr}(\alpha) = \alpha + \tau(\alpha) + \tau^2(\alpha) + \cdots + \tau^{n-1}(\alpha)\)

This construction makes the trace a function that bridges \(L\) back to \(K\).The trace function is particularly useful when linked with properties like calculating roots or establishing equations involving elements from different fields. When the trace of an element is zero, it whispers about symmetrical properties and potential for specific element constructions within the extension.

Galois group

The Galois group ties into the greater structure of a field extension by capturing its automorphisms—are essentially the symmetries of the extension. Imagine a puzzle that snaps into place in different ways, but the image remains unchanged; such movements are described by the Galois group.In the context of a Galois extension \(L:K\), the Galois group, often denoted \(\mathrm{Gal}(L/K)\), comprises permutations of roots of polynomials in \(L\). Each "permutation" or automorphism maps \(L\) back onto itself, leaving \(K\) fixed. These automorphisms form a group structure because they can be composed, inverted, and they obey associativity.Understanding the group properties gives profound insights into solving polynomial equations and revealing hidden field structures. Essentially, the Galois group acts as a bridge—translating abstract algebraic field concepts into tangible constructions.

field theory

Field theory is a branch of abstract algebra that deals with fields. A field is a set endowed with two operations, addition and multiplication, obeying certain axioms. Fields are pivotal in algebra because they extend our number systems beyond familiar integers and rational numbers to more complex constructs that handle fractions, roots, and in Galois theory, polynomial roots. In studying fields, you often shift from examining concrete numbers to dealing with structures and symmetries. Galois theory, which emerged from field theory, cleverly connects polynomial equations and group theory, addressing when a polynomial can be solved using radicals. Through field extensions and Galois groups, one can tackle problems concerning solvability, construction, and more, fulfilling deeper inquiries into polynomial roots. Fundamentally, field theory and its offshoots like Galois theory provide a framework to tackle and visualize problems in algebra, opening doors to understanding the nature, structure, and interrelation of numbers and their extensions.