Article contents
Varieties of topological groups II
Published online by Cambridge University Press: 17 April 2009
Abstract
This paper is a sequel to one entitled “Varieties of topological groups”. The variety V of topological groups is said to be full if it contains every group which is algebraically isomorphic to a group in V For any Tychonoff space X, the free group F of V on X exists, is Hausdorff and disconnected, and has X as a closed subset. Any subgroup of F which is algebraically fully invariant is a closed subset of F. If X is a compact Hausdorff space, then F is normal. Let V be a full Schreier variety and X a Tychonoff space, then all finitely generated subgroups of F are free in V.
A β-variety V is one for which the free group of V on each compact Hausdorff space exists and is Hausdorff. For any β-variety V and Tychonoff space X, the free group of V exists, is Hausdorff and has X as a closed subset. A necessary and sufficient condition for V to be a β-variety is given.
The concept of a projective (topological) group of a variety V is introduced. The projective groups of V are shown to be precisely the summands of the free groups of V. A finitely generated Hausdorff projective group of a Schreier variety V is free in V.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1970
References
- 18
- Cited by