Образ и ядро отображения

Образ

Пусть существует гомоморфизм

TemplateDifinitionIcon.svg Определение «Образ»
Образ , такой что
TemplateStatementIcon.svg Утверждение
- эпиморфизм


Ядро

TemplateDifinitionIcon.svg Определение «Kerf-ядро»
Kerf-ядро - множество элементов, переходящих в "1". Это множество характеризует степень неактивности.

, такой что

Ядро характеризует насколько элемент отклоняется от инъекции.
TemplateStatementIcon.svg Утверждение
- мономорфизм


Свойства

TemplateStatementIcon.svg Утверждение
- подгруппа в
TemplateStatementIcon.svg Утверждение
- подгруппа в