Namespaces
Variants
Actions

Galois topological group

From Encyclopedia of Mathematics
Revision as of 13:11, 16 July 2014 by Ivan (talk | contribs) (TeX)
(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 $L/K$ is a finite Galois extension, the topology of its Galois group $G(L/K)$ is discrete. If the field $L$ is the union of finite Galois extensions $K_i$ of a field $K$, the (topological) Galois group $G(L/K)$ is the projective limit of the finite groups $G(K_i/K)$ where each of the $G(K_i/K)$ is given the discrete topology, and is a profinite group, hence a totally-disconnected compact topological group. If $K'$ is the field of invariants for $G(L/K)$, the subgroup $G(L/K')$ is everywhere dense in $G(L/K)$. 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 $L/K$ and the subfields of $L$ containing $K$.


Comments

Open subgroups of $G(L/K)$ correspond to subfields of $L$ that have finite degree over $K$. If $H$ is an arbitrary subgroup of $G(L/K)$, then the extension $L/L^H$ is Galois (cf. Galois extension), and $G(L/L^H)$ is the closure of $H$.

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