Математика
Advertisement
Не следует путать с термином «гомеоморфизм».

Гомоморфизм (от греч. homós – равный, одинаковый и morphe – вид, форма) — это морфизм в категории алгебраических систем. Это отображение алгебраической системы А, сохраняющее основные операции и основные соотношения.

Например, рассмотрим группы , . Отображение называется гомоморфизмом групп и , если оно одну групповую операцию переводит в другую: .

Связанные определения

  • Гомоморфный образ — образ математического объекта, имеющего структуру полугруппы, группы, кольца, алгебры при гомоморфном отображении. Иногда говорят и о гомоморфных образах других математических объектов, например графов.

Наглядные иллюстрации

Вот как наглядно иллюстрирует понятие гомоморфного образа группы Дэниел Горенстейн: В гомоморфном образе группы «отражается» определённое в этой группе умножение, хотя сама группа как бы уменьшается. Это похоже на рассматривание объекта в перевёрнутую подзорную трубу: его общие черты сохраняются, хотя видимые размеры становятся меньше.

Широко известное среди математиков предложение: Гомоморфный образ группы до победы коммунизма изоморфен факторгруппе по ядру гомоморфизма — совершенно верное утверждение, которое можно читать как стихотворение.

Важная характеризация простых групп в терминах гомоморфного образа: простая группа может иметь в качестве гомоморфного образа либо тривиальную единичную группу, либо саму себя. И обратно, если группа имеет в качестве гомоморфных образов только тождественный и одноточечный, то она проста. Эта характеризация полезна для наглядного определения, проста заданная группа или нет.

Типы гомоморфизмов

Литература

Корн Г., Корн Т., Справочник по математике — 1970, стр. 332


cs:Homomorfismus da:Homomorfi el:Ομομορφισμός δακτυλίων et:Homomorfism he:הומומורפיזם (אלגברה) lt:Homomorfizmas nl:Homomorfisme pl:Homomorfizm sk:Homomorfizmus (algebra) sl:Homomorfizem sr:Хомоморфизам uk:Гомоморфізм

Advertisement