23. Алгебраическая операция.

n-арная операция на G — это отображение прямого произведения n экземпляров множества в само множество .

Операция - отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин операция как правило применяется к арифметическим или логическим операциям

Пусть дано множество М.

Определение. Говорят, что на М определена бинарная алгебраическая операция, если всякой упорядоченной паре элементов множества М по некоторому закону ставится в соответствие вполне определенный элемент этого же множества. Примерами бинарных операций на множестве целых чисел являются сложение и умножение. Однако нашему определению не удовлетворяют, например, множество отрицательных чисел относительно умножения и множество действительных чисел относительно деления из-за невозможности деления на нуль.

1.Операция композиции бинарных отношений.

2.Операция композиции бинарных отношений.

3.Операция композиции бинарных отношений.

24. Операция композиции Б отн

25. Понятие гомоморфизма.

Пример 3 (гомоморфизм).

Любое отображение любой модели <A;p> типа <2> на модель <A;V> (где V – пустое бинарное отношение) является гомоморфизмом, так как первое условие выполняется ввиду отсутствия операций, а второе – из-за того, что посылка импликации всегда ложна.

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

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

26. Понятие изоморфизма.

Если гомоморфизм является биекцией и обратное отображение тоже – гомоморфизм, то такой гомоморфизм называется изоморфизмом. Алгебраические системы, для которых существует изоморфизм, называются изоморфными.

Пример 4 (изоморфизм алгебр).

Покажем, что алгебры <R ; +> и <R+ ;·> * изоморфны. Определим отображение j : R ® R+ как j(x) = ex. Это отображение – биекция и j(x+y) = e(x+y) = ex · ey = j(x) · j(y).

зоморфизм — это очень общее понятие, которое употребляется в различных разделах математики. В общих чертах его можно описать так: Пусть даны два множества с определённой структурой (группы, кольца, линейные пространства и т. п.). Биекция между ними называется изоморфизмом, если она сохраняет эту структуру. Такие множества со структурой называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких множеств со структурой.

Объекты, между которыми существует изоморфизм, являются в определённом смысле «одинаково устроенными», они называются изоморфными. Классическим примером изоморфных систем могут служить множество всех вещественных чисел с определённой на нём операцией сложения и множество положительных вещественных чисел с заданной на нём операцией

умножения. Отображение в этом случае является изоморфизмом.