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

Материал из Национальной библиотеки им. Н. Э. Баумана
Последнее изменение этой страницы: 19:39, 10 августа 2016.

Образ

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

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


Ядро

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

, такой что

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


Свойства

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