The intermediate bodies of a body extension can be assigned to certain subgroups of the Galois group. This means that structural studies of body extensions can be linked with group theoretical studies. Since finite Galois groups belong to finite-dimensional field extensions, such structural investigations can often be greatly simplified.
It was historically significant that the classic questions of constructibility - with compasses and ruler - of certain algebraic numbers could thus be translated into a group-theoretical formulation. For details on the classic question of constructibility with compass and ruler , examples and their modern solution, see → Constructible polygon .
In this situation the group of all body automorphisms of the extension body , which fix the base body element by element, is called the Galois group from over and is referred to as, formal
This can also be formulated like this: The Galois group of over consists exactly of the body automorphisms of , which are at the same time vector space endomorphisms of as -vector space.
Galois group of a polynomial
Be a body. The Galois group of the polynomial in the polynomial ring is the group where is a decay field of the polynomial . One speaks in this case of the disintegration body, since disintegration bodies - and thus the Galois group of a polynomial - are uniquely determined except for isomorphism.
The decay field of a polynomial is normal above the base field . In this case the - here finite-dimensional - body expansion is Galois if the irreducible factors are separable from . The article Galois theory deals with the concept of the Galois group of a polynomial, in this case the first version of the main clause mentioned below is sufficient - the main clause for finite Galois extensions.
Different meanings of the term
The Galois group is particularly useful when the body extension is a Galois extension (see below). In the literature, the term “Galois group” is often only used in this case. The group of automorphisms of used in this article is then denoted by.
- The Galois group is a subgroup of the automorphism group of .
- Is the body enlargement finite, i.e. H. is finite dimensional over , the group order is less than or equal to the degree of expansion . In this case the minimal polynomial of over exists for every element of the body . If is a finite Galois expansion, then we have .
- Let be a decay field of the polynomial over . Every automorphism from the Galois group of the polynomial maps a zero from back to a zero. The Galois group operates on the set of zeros in the body as a permutation group and is therefore isomorphic to a subgroup of the symmetrical group . For a separables about irreducible polynomial this operation is even transitive, that is, to two distinct zeros there is an element of the Galois group, which on maps: .
Galois Correspondence, Completed Subgroups and Intermediate Bodies
One can assign the subgroup of the Galois group to each intermediate body of the extension , the elements of which remain fixed element by element, and vice versa to each subgroup of the intermediate body it fixes. According to Hungerford (1981) , the "priming notation" is used here for both assignments, both of which are also referred to as Galois correspondence :
The following relationships apply to intermediate bodies and the extension, subgroups and from :
- and ,
- and ,
- and .
The expansion of the body is called Galois expansion if it is normal and separable. This is exactly the case if applies, i.e. if the Galois group does not fix any other elements of apart from the basic body . Since holds in all cases , the expansion is Galois if and only if is. The same condition applies to intermediate fields : The extension is a Galois extension if and only if applies. The terms normal and separable are defined in the article body enlargement regardless of the classifications used here. There, in the Galois extension section, the same is defined for the case that the extension is algebraic. According to Emil Artin and Hungerford (1981) , the definition used here does not allow algebraic extensions.
According to Hungerford (1981) a subgroup of the Galois group or an intermediate body of the extension is called closed , if this applies.
- All objects that appear as images of the correspondence described above are completed (after 6.).
- The trivial subgroup 1, and are closed.
- The expansion is a Galois expansion if and only if is complete.
With the terms agreed at the beginning of the section, the following applies:
- If is complete and is finite, then is complete and it applies .
- If is complete and is finite, then is complete and .
- Especially applies (for ): Every finite subgroup of the Galois group is closed.
- If is a finite-dimensional Galois extension of , then all intermediate fields and all subgroups of the Galois group are closed and the Galois group has the order .
Laws of Galois Theory
Finite-dimensional body expansion
If there is a finite-dimensional Galois extension of , then the Galois correspondence mediates a bijection between the set of intermediate fields and the set of subgroups of the Galois group. This correspondence maps the subset lattice of the intermediate bodies (with the order ) to the lattice of the subgroups (with the order ) in an orderly manner, whereby the subset relationship is reversed. The following applies:
- The relative dimension of two intermediate bodies is equal to the relative index of the corresponding subgroups.
- is Galois over every intermediate body . The Galois group coincides with the subgroup .
- An intermediate field is Galois if and only if the corresponding subgroup is a normal subgroup of the Galois group . In this case, which is the factor group isomorphic to the Galois group of the body over .
Infinite dimensional algebraic expansion
If an algebraic, not necessarily finite-dimensional Galois extension of , then the Galois correspondence mediates a bijection between the set of all intermediate fields and the set of closed subgroups of the Galois group. This correspondence maps the subset lattice of the intermediate bodies (with the order ) to the lattice of the closed subgroups (with the order ) in an orderly manner, whereby the subset relationship is reversed. The following applies:
- is Galois over every intermediate body . The Galois group coincides with the subgroup .
- An intermediate field is Galois if and only if the corresponding subgroup is a normal subgroup of the Galois group . In this case, the factor group is isomorphic to the Galois group of the body over .
- The complex numbers are a body and contain the body of the real numbers . So is a body enlargement. Since a vector space of dimension 2 is over ( is a basis ), we have . The Galois group contains the identity and the complex conjugation . The set of roots of the minimal polynomial is . The identity maps these two elements back onto itself as they are permuted by the complex conjugation . So the Galois group is restricted to the set of roots isomorphic to the symmetric group .
- More detailed examples for the calculation of a Galois group:
- Be the body of the rational functions above . Then for every number the mapping defined by is an -automorphism. If the body is infinite, there are infinitely many of these automorphisms and the Galois group is an infinite group. If the element itself is not a root of unity, then the subgroup of generated by the automorphism is not closed.
- The field of real numbers does not allow any nontrivial automorphisms, because its arrangement is an algebraic invariant: It is for two real numbers if and only if there is a square. Therefore the field of real numbers is not Galois over any of its proper subfields; the same is true for the field of real algebraic numbers.
- More generally this applies to all Euclidean fields : the Galois group of a Euclidean field over one of its subfields is always the trivial group .
Galois group of a cubic polynomial
The following detailed example shows , using the polynomial , how intermediate fields can be determined with the aid of the Galois group.
The real number of the above generated number field has the Galois group 1 because no other zeros of the minimal polynomial of (real!) In number fields are. So this extension is not Galois. Its degree is 3 because it is isomorphic to the factor ring (see factor ring ). The same applies to the two number fields and , which are generated by the two non-real roots and by over . All three fields are isomorphic intermediate fields of the decay field of the polynomial .
Since the basic field is perfect as a field with the characteristic 0 , the desired decay field is a Galois extension of and the Galois group must operate transitively on the zeros of . The only real subgroup of the symmetric group that operates transitively on is the normal subgroup of , generated by the 3-cycle , the alternating group . Since we have already identified three real intermediate bodies and which have no real subgroups, it cannot yet be the full Galois group. So this can only be the full symmetrical group, so it applies
In addition to the intermediate bodies that we have already identified, there must also be a normal intermediate body that is two-dimensional over (index of ). This remains fixed with cyclical interchanges of the zeros, this only applies to the circle division field of the third unit root, which is generated by the unit root . All results are shown in the graph below.
The intermediate bodies can now be used, among other things, to obtain various representations of the disintegration body:
- , this follows - entirely without Galois theory - from its definition as a disintegrating body.
- : That two zeros are sufficient for generation, follows from the fact that there are no other bodies between the bodies that are generated by a zero .
- : Here the (in this case the only maximum) subnormal series of the Galois group is reproduced (in the graphic the path on the far right). The relative extensions in are all Galois and their Galois groups are simple Abelian groups.
- can also be represented as a simple body extension: is certainly an element of and is not fixed by any nontrivial element of the Galois group. Hence is .
Of course, the zeros can be exchanged in any of the above representations .
- Thomas W. Hungerford: Algebra . 5th edition. Springer, 1989, ISBN 0-387-90518-9 .