#ФакторотображениеФакторотображениеИсследуйте Области знанийУ нас представлены тысячи статейТегФакторотображениеФакторотображениеНайденo 2 статьиТерминыТермины ФакторкольцоФакторкольцо́ кольца по идеалу , факторгруппа аддитивной группы кольца по подгруппе с умножением Факторкольцо оказывается кольцом и обозначается . Отображение , где , является сюръективным кольцевым гомоморфизмом, который называется естественным гомоморфизмом.Термины Нормальный эпиморфизмНорма́льный эпиморфи́зм, морфизм, обладающий характеристическим свойством естественного отображения группы на факторгруппу или кольца на факторкольцо. Пусть – категория с нулевыми морфизмами. Морфизм называется нормальным эпиморфизмом, если всякий морфизм , для которого из , , всегда следует , однозначно представим в виде . Коядро любого морфизма является нормальным эпиморфизмом. Обратное утверждение в общем случае неверно, однако если в категории существуют ядра морфизмов, то всякий нормальный эпиморфизм оказывается коядром. В абелевой категории всякий эпиморфизм нормален. Двойственным к понятию нормального эпиморфизма является понятие нормального мономорфизма.
