Алгебраические структуры и морфизмы.
n-арной операцией на множестве А называется отображение , которое каждому упорядоченному набору длины n из элементов множества А сопоставляет некоторый вполне определённый элемент этого же множества.
Множество А вместе с набором заданных на нём операций , где называется алгебраической структурой или просто алгеброй. При этом множеств А называется носителем структуры, а набор операций - сигнатурой. Чаще всего встречаются операции, арность которой равна 2, бинарные. Таковы, в частности, обычные операции сложения и умножения на числовых множествах. Известными алгебраическими структурами являются группы, кольца, поля.
Подмножество называется системой образующих, если любой элемент А может быть получен из А с помощью операций сигнатуры. Так, в алгебре натуральных чисел с операцией сложения (полугруппе) один элемент 1 – является образующим, а в алгебре натуральных чисел с операцией умножения (моноиде) системой образующих является множество простых чисел и единица.
Пусть имеются две алгебры и , причем арность соответствующих операций одинакова.
Определение. Отображение называется гомоморфизм из A в B , если оно сохраняет все операции сигнатуры, то есть . Если f - биекция, то гомоморфизм называется изоморфизмом.
С алгебраической точки зрения изоморфные алгебраические структуры неразличимы. Примером изоморфизма алгебраических структур является алгебра множества действительных чисел с операцией сложения (группа) и алгебра положительных действительных чисел с операцией умножения (группа). Биективным отображением устанавливающим изоморфизм является функция , так как . На данном изоморфизме основано, в частности, выполнение умножения с помощью логарифмической линейки, так как обратное отображение задается логарифмической функцией и .
В качестве примера гомоморфизма алгебраических структур, не являющегося изоморфизмом, можно привести алгебру квадратных матриц заданного порядка n над полем действительных чисел с операцией умножения матриц (моноид) и алгебру действительных чисел с операцией умножения (моноид). Отображением, задающим гомоморфизм из множества матриц в множество чисел, является операция вычисления определителя квадратной матрицы: .
Гомоморфизм называется:
- мономорфизмом, если f - инъекция;
- эпиморфизмом, если f - сюръекция;
- эндоморфизмом, если f - отображает носитель
структуры на себя;
- автоморфизмом, если f - биективный эндоморфизм.
Примером автоморфизма группы является операция сопряжения с помощью фиксированного элемента , так как .
Пусть задана некоторая алгебраическая структура Отношение эквивалентности R на множестве A называется отношением конгруэнтности, если оно согласовано со всеми операциями сигнатуры в следующем смысле:
из
следует R .
Другими словами, класс эквивалентности, в который попадает результат любой операции сигнатуры, полностью определяется классами, из которых берутся аргументы операции.
Дата добавления: 2022-02-05; просмотров: 371;