On a sequence of K. A. Hardie
We show that the first homology group of a locally connected compact metric space is either uncountable or finitely generated. This is related to Shelah's well-known result (1988) which shows that the fundamental group of such a space satisfies a similar condition. We give an example of such a space whose fundamental group is uncountable but whose first homology is trivial, showing that our result does not follow from Shelah's. We clarify a claim made by Pawlikowski (1998) and offer a proof of the...
The homotopy category of Moore spaces in degree 2 represents a nontrivial cohomology class in the cohomology of the category of abelian groups. We describe various properties of this class. We use James-Hopf invariants to obtain explicitly the image category under the functor chain complex of the loop space.