Free abelian topological groups on countable CW-complexes

Abstract

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).