Algebraic Topology – Non-Simply-Connected Space with Trivial First Homology Group

algebraic-topologyhomology-cohomology

Is there a path connected topological space such that its fundamental group is non-trivial, but its first homology group is trivial?

Since the first homology group of a space is the abelianization of the fundamental group, we are looking for a non-trivial group whose abelianization is trivial. Is there such a group?

Best Answer

Yes, for any group $G$ there exists a (path connected) $K(G,1)$, and there are non-trivial groups with trivial abelianization.