91Ó°ÊÓ

Field extensions are a fundamental concept in Galois Theory, used to explore the relationship between different fields. A field is a set equipped with two operations: addition and multiplication, that satisfy specific properties such as distributivity. An extension field of a field \( F \) is a larger field \( E \) that contains \( F \) and has the same operations defined. The idea is to "extend" a field by adding elements that are not in the original field to study its properties.
For example, if we start with the rational numbers \( \mathbb{Q} \) and add \( \sqrt{2} \), we create a new field \( \mathbb{Q}(\sqrt{2}) \) that includes all numbers of the form \( a + b\sqrt{2} \) where \( a \) and \( b \) are rational numbers.

• The extension degree \([E:F]\) measures the "size" of the extension, i.e., the number of times \( E \) is larger than \( F \).
• Degrees can often be calculated using the polynomial equations that the added elements satisfy, considering them as roots of those polynomial equations.

A Galois group is a mathematical structure that helps understand the symmetries in a field extension. For a given field extension \( E/F \), the Galois group, denoted \( \operatorname{Gal}(E/F) \), consists of all field automorphisms of \( E \) that leave elements of \( F \) unchanged. An automorphism is a function that preserves the field operations and structure.
To analyze these symmetries, consider any transformation that changes the elements of \( E \) in a way that the field's properties remain intact. For example, taking the complex conjugate or swapping square roots are such transformations.

• The order of a Galois group \(|\operatorname{Gal}(E/F)|\) is equal to the degree of the field extension \([E:F]\), signifying a close relationship between these concepts.
• Finding a Galois group can become a tool to explore deeper properties such as solubility, offering insights into polynomial roots and predictability of numbers.

Intermediate fields are fields that lie between the base field \( F \) and its extension \( E \). This means each field \( K \) within this chain satisfies \( F \subseteq K \subseteq E \).
These fields can help to break down complex field extensions into more manageable pieces. For instance, in examining \( E = \mathbb{Q}(\sqrt{2}, \sqrt{3}, i) \), various intermediate fields can be formed, such as \( \mathbb{Q}(i) \) or \( \mathbb{Q}(\sqrt{2}) \).

• By considering different possible intermediate fields, you gain a better understanding of how the entire extension is structured.
• This also aids in computing \( |\operatorname{Gal}(E/K)| \) for each \( K \), as different intermediate fields influence the degree of the Galois group's subgroups.

The degree of an extension \([E:F]\) is the number of dimensions of \( E \) as a vector space over \( F \). This concept is essential in Galois Theory as it offers a quantitative measure of how "large" the extension is in comparison to the base field.
For example, if \( E = \mathbb{Q}(\sqrt{2}, \sqrt{3}, i) \), the degree of extension \([E: \mathbb{Q}]\) informs us there is a multiplication of these degrees: \(2 \times 2 \times 2 = 8\).

• The degree is tied to the number of automorphisms in the Galois group; therefore, it's equivalent to the group's order.
• A smaller degree might indicate more straightforward properties, whereas a higher degree implies more complexity and more potential symmetries to explore.

Understanding the degree of an extension plays a crucial role in calculating crucial measures like \(|\operatorname{Gal}(E/K)|\), which reflect on field relationships and trustable properties of the extension.