Namespaces
Variants
Actions

Difference between revisions of "Galois extension"

From Encyclopedia of Mathematics
Jump to: navigation, search
(For finite extensions)
(Characterisation in terms of automorphisms)
Line 7: Line 7:
 
this extension, denoted by $\def\Gal{\textrm{Gal}}\Gal(K/k)$.  The study of these groups is a major part of [[Galois theory]].
 
this extension, denoted by $\def\Gal{\textrm{Gal}}\Gal(K/k)$.  The study of these groups is a major part of [[Galois theory]].
  
In the case of finite extensions, the order (number of elements) of $\Gal(K/k)$ is equal to the degree of $K$ over $k$.
+
An alternative characterisation of Galois extensions is that an extension $K/k$ is Galois if, taking $G$ to be the group of automorphisms of $K$ that leave all elements of $k$ fixed, then the subfield of $K$ fixed by $G$ is exactly $k$.
To each subgroup $H$of $\Gal(K/k)$ corresponds a subfield $P$ of $K$, consisting of all elements
+
 
from $K$ that remain fixed under all automorphisms from $H$. Conversely, to each subfield $P\subset K$ that contains $k$ corresponds a subgroup $H$ of $\Gal(K/k)$. It consists of all automorphisms leaving each
+
In the case of finite extensions, the order (number of elements) of $G = \Gal(K/k)$ is equal to the degree of $K$ over $k$.
 +
To each subgroup $H$of $G$ corresponds a subfield $P$ of $K$, consisting of all elements
 +
from $K$ that remain fixed under all automorphisms from $H$. Conversely, to each subfield $P\subset K$ that contains $k$ corresponds a subgroup $H$ of $G$. It consists of all automorphisms leaving each
 
element of $P$ invariant. Here, $K$ is a Galois extension of $P$ and $\Gal(K/P)=H$. The main theorem in Galois theory states that these correspondences are mutually inverse, and are therefore one-to-one
 
element of $P$ invariant. Here, $K$ is a Galois extension of $P$ and $\Gal(K/P)=H$. The main theorem in Galois theory states that these correspondences are mutually inverse, and are therefore one-to-one
correspondences between all subgroups of $\Gal(K/k)$ and all subfields of $K$ containing $k$. In this correspondence certain "good" properties of subgroups correspond to
+
correspondences between all subgroups of $\Gal(K/k)$ and all subfields of $K$ containing $k$. In this correspondence certain properties of subgroups correspond to
the "good" properties of subfields and vice versa. Thus, a subgroup $H$ will be a normal subgroup of $\Gal(K/k)=G$ if and only if the field $P$ which corresponds to it is a Galois extension of $k$.
+
the properties of subfields and vice versa. Thus, a subgroup $H$ will be a normal subgroup of $\Gal(K/k)=G$ if and only if the field $P$ which corresponds to it is a Galois extension of $k$.
 
Moreover, $\Gal(P/k)$ is isomorphic to $G/H$.
 
Moreover, $\Gal(P/k)$ is isomorphic to $G/H$.

Revision as of 07:51, 1 January 2016

2020 Mathematics Subject Classification: Primary: 12F10 [MSN][ZBL]

of a field

An extension of a field that is algebraic, normal and separable. The group of all automorphisms of a Galois extension $K / k$ that leave all elements of $k$ invariant is called the Galois group of this extension, denoted by $\def\Gal{\textrm{Gal}}\Gal(K/k)$. The study of these groups is a major part of Galois theory.

An alternative characterisation of Galois extensions is that an extension $K/k$ is Galois if, taking $G$ to be the group of automorphisms of $K$ that leave all elements of $k$ fixed, then the subfield of $K$ fixed by $G$ is exactly $k$.

In the case of finite extensions, the order (number of elements) of $G = \Gal(K/k)$ is equal to the degree of $K$ over $k$. To each subgroup $H$of $G$ corresponds a subfield $P$ of $K$, consisting of all elements from $K$ that remain fixed under all automorphisms from $H$. Conversely, to each subfield $P\subset K$ that contains $k$ corresponds a subgroup $H$ of $G$. It consists of all automorphisms leaving each element of $P$ invariant. Here, $K$ is a Galois extension of $P$ and $\Gal(K/P)=H$. The main theorem in Galois theory states that these correspondences are mutually inverse, and are therefore one-to-one correspondences between all subgroups of $\Gal(K/k)$ and all subfields of $K$ containing $k$. In this correspondence certain properties of subgroups correspond to the properties of subfields and vice versa. Thus, a subgroup $H$ will be a normal subgroup of $\Gal(K/k)=G$ if and only if the field $P$ which corresponds to it is a Galois extension of $k$. Moreover, $\Gal(P/k)$ is isomorphic to $G/H$.

How to Cite This Entry:
Galois extension. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Galois_extension&oldid=37207