Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $A$ is a closed subspace of a Tychonoff space $X$. Does the inclusion $i:A\hookrightarrow X$ induce a closed embedding of topological groups on the free (Markov -the unbased version) topological groups $F_{M}(i):F_{M}(A)\rightarrow F_{M}(X)$?

Since the underlying algebraic groups are just the usual free groups the injection is immediate. It is not too hard to see that the subgroup $\langle A\rangle $ generated by $A$ in $F_{M}(X)$ is closed (this shows up in the paper "The free topological group over the rationals"). But what about the embedding part? Does this always hold? If not, what if $X$ is a metric space? If it can be helped, I would like to avoid placing compactness conditions on $A$ and $X$.

Update: I have recently come upon a result which makes this easier. A theorem of O.V. Sipacheva in Free topological groups of spaces and their subspaces says that for Tychonoff $X$ and arbitrary $A\subset X$, $i:F_{M}(A)\rightarrow F_{M}(X)$ is a topological embedding if and only if $A$ is P-embedded in $X$. This is also equivalent to saying that $A$ with its universal uniformity is a uniform subspace of $X$ with its universal uniformity.

So I guess the updated question is: If $A$ is closed in Tychonoff $X$, then does $A$ with its universal uniformity become a uniform subspace of $X$ with its universal uniformity. If not, what are some sufficient conditions (on $A$) for this to occur?

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.