Koszul-Komplex

Ein kanonischer endlicher freier Kettenkomplex, konstruiert aus einer endlichen Folge von Elementen eines kommutativen Rings, der durch Kontraktion mit diesen Elementen Relationen kodiert; er erkennt reguläre Folgen und berechnet Tor sowie bestimmte Homologiegruppen relativ zu dieser Folge.