MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Must the natural quotient group of the inverse limit of a sequence of nested discrete free monoids have topological dimension zero?

The question might well be open, but I would be grateful for news to the contrary, history of the problem, or other feedback.

To make the question precise, suppose $M_{1} \subset M_{2}...$ is a sequence of discrete free monoids such that $M_{n}$ is generated by a set $L_n \cup L_n^{-1}$. Suppose we have retraction epimorphisms $r_{n}:M_{n+1} \rightarrow M_{n}$ (fixing $M_{n}$ pointwise). Suppose $M=lim_{\leftarrow}M_{n}$ is the inverse limit of the spaces $M_{n}$.

Let $G_{n}$ denote the discrete canonical free group determined by $M_{n}$. Let $q:M \rightarrow lim_{\leftarrow}G_{n}$ denote the canonical homomorphism, and let $G=q(M) \subset lim_{\leftarrow}G_{n}$.

If G has the quotient topology must G have topological dimension zero?

To see why the question hard, by construction, $G$ naturally continuously injects into $lim_{\leftarrow}G_{n}$, and thus $G$ is Hausdorff and totally disconnected. However the injection $G \rightarrow lim_{\leftarrow}G_{n}$ is unlikely to be a topological embedding.

(For the simplest counterexample, if $G_n$ is the free group on $x_{1},x_{2},...,{x_n}$ then G is the fundamental group of the Hawaiian earring. Moreover examples such as Erdos space reveal that a totally disconnected Hausdorff space can have nonzero dimension.)

share|cite|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.