Akademik

- морфизм, обладающий характеристич. свойством естественного отображения группы на факторгруппу или кольца на факторкольцо. Пусть категория с нулевыми морфизмами. Морфизм наз. нормальным эпиморфизмом, если всякий морфизм для к-рого из всегда следует " однозначно представим в виде . Коядро любого морфизма является Н. э. Обратное утверждение в общем случае неверно, однако при существовании в категории ядер морфпзмов всякий Н. э. оказывается коядром. В абе-левой категории всякий эпиморфизм нормален. Двойственным к понятию Н. э. является понятие нормального мономорфизма.

М. Ш. Цаленко.