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

мат. normal epimorphism

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

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

норма́льний епіморфі́зм

норма́льний епіморфі́зм