The free topological group on a cell complex
The free topological group on a cell complex
It is proved that the free k -group on a CW -complex X is itself a CW -complex containing X as a subcomplex. It follows, as a corollary, that the free topological group on a countable CW -complex is a countable CW -complex.