logo
АТЧ_Моисеев_С

§ 2. Алгебраические операции. Алгебры. Алгебраические системы. Изоморфизмы. Гомоморфизмы

Понятия бинарной и n-местной алгебраической операции. Алгебры. Алгебраические системы. Сигнатура. Подалгебры. Подсистемы. Прямое (декартово) произведение алгебр. Отображения алгебр и алгебраических систем. Изоморфизмы. Эпиморфизмы. Гомоморфизмы.

Теорема 1. Свойства изоморфизма.

1°. Тождественное отображение алгебры является изоморфизмом.

2°. Отображение, обратное изоморфизму, является изоморфизмом.

3°. Композиция двух изоморфизмов является изоморфизмом.

Отношение изоморфизма. @.

Теорема 2. Отношение изоморфизма в классе алгебр данной сигнатуры является отношением эквивалентности.

Некоторые свойства бинарных операций: коммутативность, ассоциативность, нейтральные элементы, аннулирующие элементы, обратные элементы, обратимость операции; дистрибутивности. Полугруппы. Квазигруппы. Лупы.

Теорема 3. Эпиморфизмы сохраняют перечисленные свойства бинарных операций.