Определение

Ядро гомоморфизма $f$ (где $f$ - гомоморфизм) - множество, для которого справедливо:
$\text{Ker }f=\{g \in G| f(g)=e' \in G'\}$, где:
$e'$ - единичная группа;
$\text{Ker }f$ - ядро гомоморфизма.