Let it be a not necessarily finite Galois extension of the body. For an infinite extension, Galois means that the extension is separable and for every finite Galois partial extension also contains the normal envelope of .
There are several ways to define the Krull topology:
of the Galois groups for over finite partial extensions .
2. There is a canonical bijection
where all passes through finite partial extensions . If one provides the finite groups with the discrete topology and the projective limits with the limit topology, then one obtains the same topology as under 1. With this representation it can be seen that there is a pro- finite group .
Law of Galois Theory
The importance of the Krull topology lies in the fact that it enables the main theorem of Galois theory to be extended to infinite Galois extensions: If there is an infinite Galois extension, then there is a canonical bijection between partial extensions and closed subgroups of : The subgroup corresponds to an
a subgroup the extension
A partial expansion is normal (and thus Galois) if and only if a normal sub-divisor is in; the Galois group is canonically isomorphic to the quotient .
Let it be a body and a separable conclusion of . Further let us be a vector space (over any field). If one provides the discrete topology, then representations of on are continuous if and only if they factorize over a finite quotient for a finite extension . The category of the continuous representations of is in this sense the union of all categories of representations of the groups for finite extensions .
Generalization: Not algebraic extensions
Let it be any extension of the body. The Krull topology on the group of body automorphisms of which fix element by element is the topology for which the subgroups
for finite subsets form an environment basis of the element. becomes a topological group with this topology.