spezielle Restklassengruppe.

Es sei K ein orientierter Komplex und \({Z}_{I}^{r}(K)\) die Gruppe aller r − I-Zyklen von K. Weiterhin sei F^r <?PageNum _434die Gruppe aller r − I-Ränder von K. Dann heißt die Restklassengruppe \begin{eqnarray}{H}_{I}^{r}(K)={Z}_{I}^{r}(K)/{F}_{I}^{r}(K)\end{eqnarray} die r-te Homologiegruppe von K bezüglich I.

Man vergleiche auch die Einträge zu Homologiegruppen der projektiven Räume und Homologiegruppen der Sphäre.