Инструменты пользователя
Гомоморфизм
Гомоморфизм (от др.-греч. ὁμός — равный, одинаковый и μορφή — вид, форма) — это морфизм в категории алгебраических систем. Это отображение алгебраической системы А, сохраняющее основные операции и основные отношения.
Отображение называется гомоморфизмом групп , , если оно одну групповую операцию переводит в другую: .
Некоторая общая теория, уточняющая понятия гомоморфизма, изоморфизма и морфизма предложена известной группой французских математиков Николя Бурбаки в их книге «Теория множеств» (Глава IV, §2).
Связанные определения
- Гомоморфный образ — образ математического объекта, имеющего структуру полугруппы, группы, кольца, алгебры при гомоморфном отображении. Иногда говорят и о гомоморфных образах других математических объектов, например, графов.
- Ядро гомоморфизма
- для гомоморфизма абелевых групп (в частности для колец, векторных пространств и т. д.) — прообраз нуля,
- для общих групп — прообраз единицы.
Свойства
Ядро гомоморфизма является нормальной подгруппой. Гомоморфный образ группы изоморфен факторгруппе по ядру гомоморфизма (теорема о гомоморфизме).
Типы гомоморфизмов
- Мономорфизм — однозначный (инъективный) гомоморфизм
- Эпиморфизм — сюръективный гомоморфизм
- Изоморфизм — взаимно однозначный (биективный) гомоморфизм
- Эндоморфизм — гомоморфизм в само множество
- Автоморфизм — изоморфизм в само множество
См. также
Литература
Корн Г., Корн Т. Справочник по математике — 1970, стр. 332 (1974, стр. 373).
Инструменты страницы