" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

НОРМАЛЬНЫЙ ЭПИМОРФИЗМ

Значение НОРМАЛЬНЫЙ ЭПИМОРФИЗМ в математической энциклопедии:

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

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