Los grupos de homología y cohomología, por otra parte, son abelianos, y en muchos casos importantes son finitamente generados.