Точная последовательность
Материал из Википедии — свободной энциклопедии
Точная последовательность — последовательность гомоморфизмов некоторых алгебраических объектов такая для любого i образ совпадает с ядром (если оба гомоморфизма с такими индексами существуют). В большинстве приложений роль Gi играют коммутативные группы, иногда векторные пространство или алгебры над кольцами.
Точные последовательности типа
называются короткими точными последовательностями, в этом случае мономорфизм а ψ эпиморфизм.