Гомоморфизм: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м линк на морфизм
Строка 1:
{{distinguish|гомеоморфизм}}
'''Гомоморфизм''' (от греч. ''homós'' — равный, одинаковый и ''morphe'' — вид, форма) — это [[морфизм]] в категории [[алгебраическая система|алгебраических систем]]. Это отображение алгебраической системы '''А''', сохраняющее основные операции и основные соотношения.
 
Например, рассмотрим [[группа (математика)|группы]] <math>(G_1,*)</math>, <math>(G_2,\times)</math>. Отображение <math>f \colon G_1 \to G_2</math> называется гомоморфизмом групп <math>G_1</math> и <math>G_2</math>, если оно одну групповую операцию переводит в другую: <math>f(a*b)=f(a)\times f(b)</math>.