Suppose that F is a field of characteristic 0 and E is the...

Suppose that $F$ is a field of characteristic 0 and $E$ is the splitting field for some polynomial over $F$. If $\operatorname{Gal}(E / F)$ is isomorphic to $D_{6}$, prove that there are exactly three fields $L$ such that $E \supseteq L \supseteq F$ and $[E: L]=6 .$

Key Concepts

Subgroup Structure and Extension Degrees

In a finite Galois extension, the degrees of intermediate fields correspond to the orders of the subgroups of the Galois group. Specifically, an intermediate field L such that [E : L] = 6 corresponds to a subgroup of order 6 in the Galois group. By examining the subgroup structure of D6, one can determine the exact number of order 6 subgroups, which directly yields the number of intermediate fields with the specified degree.

Dihedral Groups

The dihedral group, often denoted Dn (with n indicating the number of sides of a regular polygon), is the group of symmetries of a regular polygon, including both rotations and reflections. In the context of D6, which has order 12, understanding its structure—including its cyclic rotation subgroup and the reflection subgroups—is essential for analyzing its subgroup lattice and determining the number of subgroups of a given order.

Galois Correspondence

This principle establishes a one?to?one, inclusion-reversing relationship between the subgroups of the Galois group of a field extension and the intermediate fields between the base field and the extension field. In particular, if E over F is a finite Galois extension, then for every subgroup H of the Galois group there is a corresponding intermediate field L such that [E : L] equals the order of H, and [L : F] equals the index of H in the full Galois group.

Splitting Fields

A splitting field for a polynomial over a base field F is the smallest extension in which the polynomial splits into linear factors. Splitting fields are both normal and separable extensions, making them ideal for the application of Galois theory, as their structure ensures that the corresponding Galois group fully reflects the symmetries among the roots of the polynomial.

Please give Ace some feedback