# Galois group

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
The automorphism group of a Galois extension of a field , i.e. the group of all automorphisms of the field leaving the elements of the subfield fixed. The group is denoted by or by . The field of invariants coincides with the field . If is the splitting field of a polynomial over , the Galois group is also called the Galois group of the polynomial . These groups are important in the Galois theory of algebraic equations. The computation of the Galois groups for extensions of algebraic number fields is one of the fundamental tasks of algebraic number theory. Finding Galois extensions with an Abelian Galois group (Abelian extensions) is a part of class field theory. Galois groups of algebraic function fields are also a subject of algebraic geometry.
Let be a field and let be a finite subgroup of the automorphism group of ; will then be a Galois extension of the field of invariants , and the Galois group of this extension is isomorphic to ; moreover, the degree of the extension, , is equal to the order of .
The fundamental result on Galois groups is the following theorem, which is sometimes called the main theorem on Galois extensions or the theorem on Galois correspondence. If is a Galois extension of finite degree of a field , then there exists a one-to-one correspondence between all subgroups of the Galois group and all subfields of that contain , and the and corresponding to each other are such that is the field of invariants of and is the Galois group of (cf. Galois correspondence). This theorem has numerous analogues in many mathematical theories, and can be generalized to extensions of infinite degree (cf. Galois topological group). There exists a generalization of the concept of a Galois group to extensions of arbitrary commutative rings, schemes (cf. Fundamental group), and also to the case of extensions of skew-fields.