I don't know enough algebraic topology to answer this question, but I do know that , the free group on two generators, contains a copy of as a subgroup, and therefore so does . Here, n can be any positive integer or even infinity. If a, b are generators of then (if I remember correctly) you can take as generators for a copy of .