The free abelian topological group over aTychonoff space contains as a closed subspace a homeomorphic copy of each finite power of the space.A major and immediate corollary of this theorem is: if ~ is a closed hereditary property of Tychonoff spaces and if the free abelian topological group over a Tychonoff space has ~ then so does every finite power of the space.In particular, the corollary shows that the following properties are not preserved by passage to the free abelian topological group: normal, k-, sequential~ Frechet, Lindel~f~ paracompact~ pseudocompact, countably compact~ sequentially compact~ etc. In fact, the Main Theorem arose from studying the problem of preservation of topological properties by the free abelian topological group.The notions of free topological groups and free abelian topological groups were introduced by A. A. Markov in 1941 [ii] . He showed that every Tychonoff space has a free topological group which is Hausdorff~ and which contains as a closed subspace a homeomorphic copy of the original space. Markov's proof involves a complicated construction of multinorms on the free group over the underlying set of the space.Kakutani [8] and Samuel [16] have provided proofs of the existence of free topological groups~ and free abelian topological groups
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.