ciąg dokładny

Niech będzie ciągiem grup oraz – ciągiem homomorfizmów: Ten ciąg grup i homomorfizmów nazywamy ciągiem dokładnym, jeśli obraz każdego homomorfizmu jest równy jądru następnego homomorfizmu: , gdzie: jest elementem neutralnym grupy Ciągi dokładne określa się także dla innych niż grupy struktur algebraicznych, na przykład dla modułów, jeśli są one grupami ze względu na jedno z działań.