The character of free topological groups I

Abstract

Abstract.A systematic analysis is made of the character of the free and free abelian topological groups on uniform spaces and on topological spaces. In the case of the free abelian topological group on a uniform space, expressions are given for the character in terms of simple cardinal invariants of the family of uniformly continuous pseudometrics of the given uniform space and of the uniformity itself. From these results, others follow on the basis of various topological assumptions. Amongst these: (i) if X is a compact Hausdorff space, then the character of the free abelian topological group on X lies between w(X) and w(X) ℵ 0 , where w(X) denotes the weight of X; (ii) if the Tychonoff space X is not a P -space, then the character of the free abelian topological group is bounded below by the "small cardinal" d; and (iii) if X is an infinite compact metrizable space, then the character is precisely d. In the non-abelian case, we show that the character of the free abelian topological group is always less than or equal to that of the corresponding free topological group, but the inequality is in general strict. It is also shown that the characters of the free abelian and the free topological groups are equal whenever the given uniform space is ω-narrow. A sequel to this paper analyses more closely the cases of the free and free abelian topological groups on compact Hausdorff spaces and metrizable spaces.2000 AMS Classification: Primary 22A05, 54H11, 54A25; Secondary 54D30, 54D45.

The character of topological groups, via bounded systems, Pontryagin–van Kampen duality and pcf theory

“…However, Theorem 1.5 does not capture all of the related results of [24,25]. The proofs in [24,25] are more combinatorially oriented than ours.…”

The character of free topological groups II

“…In a previous paper [11], we investigated the topological character of free and free abelian topological groups. The results obtained were for the free groups on uniform spaces, with applications to the free groups on topological spaces deduced as appropriate.…”

“…In this sequel to [11], we specifically investigate the characters of the free and free abelian topological groups on metrizable spaces and on compact spaces, and on certain closely related spaces, obtaining more detailed information in both cases than was available in [11].…”

The three space problem in topological groups

“…Note that w(Y ) = ω 1 , so we can apply [47, Theorem 2.1] to infer that w(A(Y )) (ℵ 1 ) ω = c (in fact, one can show that w(A(Y )) = d, see [34]). By Lemma 4.12, we can find a topological monomorphism i of A(Y ) to a direct product H = α∈A H α of second countable Abelian topological groups, where |A| c, and a countable dense subgroup S of H such that S ∩ i(A(Y )) contains only the neutral element of H .…”