Abstract:
It is shown that, under the assumption of the continuum hypothesis, the normality of all finite powers of a topological space does not imply the normality of its free topological group.
Keywords:free topological group, normal space, strongly collectionwise normal space, countably compact space, pseudocompact space, inductive limit, HFD-set.