First homology (source code)

= First homology
{title2=$H_1(X)$}

The first homology group $H_1(X)$ is the group of one-dimensional cycles modulo boundaries. For a path-connected space it is the <abelianization> of the <fundamental group>.