The structure of abelian pro-Lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2004
- Type: Text , Journal article
- Relation: Mathematische Zeitschrift Vol. 248, no. 4 (Dec 2004), p. 867-891
- Full Text: false
- Reviewed:
- Description: A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.
- Description: C1
- Description: 2003000910
Density character of subgroups of topological groups
- Authors: Leiderman, Arkady , Morris, Sidney , Tkachenko, Mikhail
- Date: 2017
- Type: Text , Journal article
- Relation: Transactions of the American Mathematical Society Vol. 369, no. 8 (2017), p. 5645-5664
- Full Text:
- Reviewed:
- Description: We give a complete characterization of subgroups of separable topological groups. Then we show that the following conditions are equivalent for an omega-narrow topological group G: (i) G is homeomorphic to a subspace of a separable regular space; (ii) G is topologically isomorphic to a subgroup of a separable topological group; (iii) G is topologically isomorphic to a closed subgroup of a separable path-connected, locally path-connected topological group. A pro-Lie group is a projective limit of finite-dimensional Lie groups. We prove here that an almost connected pro-Lie group is separable if and only if its weight is not greater than the cardinality c of the continuum. It is deduced from this that an almost connected pro-Lie group is separable if and only if it is homeomorphic to a subspace of a separable Hausdorff space. It is also proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. We show that every precompact (abelian) topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact (abelian) group of weight c. This result implies that there is a wealth of closed non-separable subgroups of separable pseudocompact groups. An example is also presented under the Continuum Hypothesis of a separable countably compact abelian group which contains a non-separable closed subgroup.