Гомоморфизм: различия между версиями

299 байт добавлено ,  10 лет назад
** для гомоморфизма [[абелева группа|абелевых групп]] (в частности для [[кольцо|колец]], [[векторное пространство|векторных пространств]] и т. д.) — [[прообраз]] нуля,
** для общих [[группа|групп]] — прообраз единицы.
Ядро гомоморфизма является нормальной подгруппой. Гомоморфный образ группы изоморфен [[Факторгруппа|факторгруппе]] по ядру гомоморфизма (теорема о гомоморфизме).
 
== Типы гомоморфизмов ==