Изменения
Нет описания правки
:<tex>\forall a,b\in G_1 : \phi(a\cdot b) = \phi(a)\times \phi(b)</tex>
}}
'''Обозначения:'''
<tex>e(G_i)</tex> единица в <tex>G_i</tex>ой группе.
{{Определение
|definition=
<tex>\textrm{ker}\phi=\{x\in G_1\vert\phi(x)=e(G_2)\}</tex> — '''ядро гомоморфизма''' <tex>\phi:G_1\rightarrow G_2</tex>.
}}
{{Определение
|definition=
<tex>\textrm{im}\phi=\{y\in G_2\vert\exists x\in G_1:\phi(x)=y\}</tex> — '''образ гомоморфизма''' <tex>\phi:G_1\rightarrow G_2</tex>.
}}
=== Свойства гомоморфизмов ===
