Замечания. 1. Аналогично определяется понятие гомоморфизма, если на множествах и определены несколько операций

1. Аналогично определяется понятие гомоморфизма, если на множествах и определены несколько операций.

2. Так как полугруппа, группа, кольцо и т.д. множества с операциями, то ясно, что такое гомоморфизм полугрупп, групп и т.д.

Определение 19. Изоморфизм − это биективный гомоморфизм.

Определение 20. Пара изоморфна паре , если изоморфизм из в .

Обозначение. означает, что изоморфно . Иногда пишут .