Namespaces
Variants
Actions

Galois topological group

From Encyclopedia of Mathematics
Revision as of 17:10, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A Galois group endowed with the Krull topology; the filter base (i.e. a basis of the open neighbourhoods of the identity) of this topology consists of normal subgroups of finite index. If is a finite Galois extension, the topology of its Galois group is discrete. If the field is the union of finite Galois extensions of a field , the (topological) Galois group is the projective limit of the finite groups where each of the is given the discrete topology, and is a profinite group, hence a totally-disconnected compact topological group. If is the field of invariants for , the subgroup is everywhere dense in . The main theorem on finite Galois extensions may be generalized to infinite extensions: There is a one-to-one correspondence between the closed subgroups of the topological Galois group of a Galois extension and the subfields of containing .


Comments

Open subgroups of correspond to subfields of that have finite degree over . If is an arbitrary subgroup of , then the extension is Galois (cf. Galois extension), and is the closure of .

How to Cite This Entry:
Galois topological group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Galois_topological_group&oldid=32456
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article