Рассмотрим две алгебраические системы: , , , , и , , , , . Очевидно, что алгебраические системы и являются однотипными. Рассмотрим отображение . Будем говорить, что это отображение согласовано с операцией и отношением , если выполняются следующие соотношения:
;
;
или в префиксной форме
.
Определение 3.5.
Отображение называется морфизмом алгебраической системы на алгебраическую систему , если оно согласовано со всеми парами операций ,, и отношений , .
Если отображение соръективно, то это гомоморфизм, если отображение инъективно, то это мономорфизм, если отображение биективно, то это изоморфизм.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление