Homology Group is Group

Theorem
The $p^{th}$ singular homology group of a space $X$ is a group.