Математическая энциклопедия - нормальный мономорфизм

морфизм, обладающий характеристическим свойством вложения группы (кольца) в группу (кольцо) в качестве нормального делителя (идеала). Пусть категория с нулевыми морфизмами. Морфизм наз. нормальным мономорфизмом, если всякий морфизм для которого из всегда следует однозначно представим в виде

Ядро любого морфизма является Н. м. Обратное в общем случае неверно, однако при существовании в категории коядер морфизмов всякий Н. м. оказывается ядром своего коядра. В любой абелевой категории всякий мономорфизм нормален. Понятие Н. м. двойственно понятию нормального эпиморфизма.

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985