Нормальный эпиморфизм

- морфизм, обладающий характеристич. свойством естественного отображения группы на факторгруппу или кольца на факторкольцо. Пусть [img: http://localhost:8080/file/031512-293.jpg] категория с нулевыми морфизмами. Морфизм [img: http://localhost:8080/file/031512-294.jpg] наз. нормальным эпиморфизмом, если всякий морфизм [img: http://localhost:8080/file/031512-295.jpg] для к-рого из [img: http://localhost:8080/file/031512-296.jpg] всегда следует [img: http://localhost:8080/file/031512-297.jpg] " однозначно представим в виде [img: http://localhost:8080/file/031512-298.jpg]. Коядро любого морфизма является Н. М. Ш. Цаленко.