Separable Quotients of Free Topological Groups

2019 ◽  
Vol 63 (3) ◽  
pp. 610-623 ◽  
Author(s):  
Arkady Leiderman ◽  
Mikhail Tkachenko

AbstractWe study the following problem: For which Tychonoff spaces $X$ do the free topological group $F(X)$ and the free abelian topological group $A(X)$ admit a quotient homomorphism onto a separable and nontrivial (i.e., not finitely generated) group? The existence of the required quotient homomorphisms is established for several important classes of spaces $X$, which include the class of pseudocompact spaces, the class of locally compact spaces, the class of $\unicode[STIX]{x1D70E}$-compact spaces, the class of connected locally connected spaces, and some others.We also show that there exists an infinite separable precompact topological abelian group $G$ such that every quotient of $G$ is either the one-point group or contains a dense non-separable subgroup and, hence, does not have a countable network.

2008 ◽  
Vol 78 (3) ◽  
pp. 487-495 ◽  
Author(s):  
CAROLYN E. MCPHAIL ◽  
SIDNEY A. MORRIS

AbstractThe variety of topological groups generated by the class of all abelian kω-groups has been shown to equal the variety of topological groups generated by the free abelian topological group on [0, 1]. In this paper it is proved that the free abelian topological group on a compact Hausdorff space X generates the same variety if and only if X is not scattered.


1993 ◽  
Vol 114 (3) ◽  
pp. 439-442 ◽  
Author(s):  
Sidney A. Morris ◽  
Vladimir G. Pestov

We prove that any open subgroup of the free abelian topological group on a completely regular space is a free abelian topological group. Moreover, the free topological bases of both groups have the same covering dimension. The prehistory of this result is as follows. The celebrated Nielsen–Schreier theorem states that every subgroup of a free group is free, and it is equally well known that every subgroup of a free abelian group is free abelian. The analogous result is not true for free (abelian) topological groups [1,5]. However, there exist certain sufficient conditions for a subgroup of a free topological group to be topologically free [2]; in particular, an open subgroup of a free topological group on a kω-space is topologically free. The corresponding question for free abelian topological groups asked 8 years ago by Morris [11] proved to be more difficult and remained open even within the realm of kω-spaces. In the present paper a comprehensive answer to this question is obtained.


1986 ◽  
Vol 100 (2) ◽  
pp. 347-353 ◽  
Author(s):  
E. Katz ◽  
S. A. Morris ◽  
P. Nickolas

In this paper we prove a theorem which gives general conditions under which the free abelian topological group F(Y) on a space Y can be embedded in the free abeian topological group F(X) on a space X.


1995 ◽  
Vol 52 (2) ◽  
pp. 297-311 ◽  
Author(s):  
Vladimir Pestov

We study the class of Tychonoff topological spaces such that the free Abelian topological group A(X) is reflexive (satisfies the Pontryagin-van Kampen duality). Every such X must be totally path-disconnected and (if it is pseudocompact) must have a trivial first cohomotopy group π1(X). If X is a strongly zero-dimensional space which is either metrisable or compact, then A(X) is reflexive.


2003 ◽  
Vol 68 (2) ◽  
pp. 243-265 ◽  
Author(s):  
Peter Nickolas ◽  
Mikhail Tkachenko

We show that the subspace An(X) of the free Abelian topological group A(X) on a Tychonoff space X is locally compact for each n ∈ ω if and only if A2(X) is locally compact if an only if F2(X) is locally compact if and only if X is the topological sum of a compact space and a discrete space. It is also proved that the subspace Fn(X) of the free topological group F(X) is locally compact for each n ∈ ω if and only if F4(X) is locally compact if and only if Fn(X) has pointwise countable type for each n ∈ ω if and only if F4(X) has pointwise countable type if and only if X is either compact or discrete, thus refining a result by Pestov and Yamada. We further show that An(X) has pointwise countable type for each n ∈ ω if and only if A2(X) has pointwise countable type if and only if F2(X) has pointwise countable type if and only if there exists a compact set C of countable character in X such that the complement X \ C is discrete. Finally, we show that F2(X) is locally compact if and only if F3(X) is locally compact, and that F2(X) has pointwise countable type if and only if F3(X) has pointwise countable type.


1990 ◽  
Vol 41 (3) ◽  
pp. 451-456 ◽  
Author(s):  
Eli Katz ◽  
Sidney A. Morris

Let n be a positive integer, Bn the closed unit ball in Euclidean n-space, and X any countable CW-complex of dimension at most n. It is shown that the free Abelian topological group on Bn, F(Bn), has F(X) as a closed subgroup. It is also shown that for every differentiable manifold Y of dimension at most n, F(Y) is a closed subgroup of F(Bn).


Mathematika ◽  
2019 ◽  
Vol 65 (3) ◽  
pp. 708-718 ◽  
Author(s):  
Mikołaj Krupski ◽  
Arkady Leiderman ◽  
Sidney Morris

2017 ◽  
Vol 97 (1) ◽  
pp. 110-118 ◽  
Author(s):  
SAAK S. GABRIYELYAN ◽  
SIDNEY A. MORRIS

For a Tychonoff space $X$, let $\mathbb{V}(X)$ be the free topological vector space over $X$, $A(X)$ the free abelian topological group over $X$ and $\mathbb{I}$ the unit interval with its usual topology. It is proved here that if $X$ is a subspace of $\mathbb{I}$, then the following are equivalent: $\mathbb{V}(X)$ can be embedded in $\mathbb{V}(\mathbb{I})$ as a topological vector subspace; $A(X)$ can be embedded in $A(\mathbb{I})$ as a topological subgroup; $X$ is locally compact.


1980 ◽  
Vol 21 (3) ◽  
pp. 407-417 ◽  
Author(s):  
Eric C. Nummela

During the 1920's and 30's, two distinct theories of “completions” for topological spaces were being developed: the French school of mathematics was describing the familiar notion of “complete relative to a uniformity”, and the Russian school the less well-known idea of “absolutely closed”. The two agree precisely for compact spaces.The first part of this article describes these two notions of completeness; the remainder is a presentation of the interesting, but apparently unrecorded, fact that the two ideas coincide when put in the context of topological groups.


Sign in / Sign up

Export Citation Format

Share Document