Gruppen/Kettenkomplex/Definition

Kettenkomplex

Ein Kettenkomplex (von kommutativen Gruppen) ist eine Folge , , von kommutativen Gruppen zusammen mit einer Folge von Gruppenhomomorphismen

mit der Eigenschaft

für alle .