- НОРМАЛЬНЫЙ МОНОМОРФИЗМ
- морфизм, обладающий характеристическим свойством вложения группы (кольца) в группу (кольцо) в качестве нормального делителя (идеала). Пусть
- категория с нулевыми морфизмами. Морфизм
наз. нормальным мономорфизмом, если всякий морфизм
для которого из
всегда следует
однозначно представим в виде
Ядро любого морфизма является Н. м. Обратное в общем случае неверно, однако при существовании в категории коядер морфизмов всякий Н. м. оказывается ядром своего коядра. В любой абелевой категории всякий мономорфизм нормален. Понятие Н. м. двойственно понятию нормального эпиморфизма.
М. Ш. Цаленко.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.