Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Алгебраические структуры и морфизмы



n -арной операцией на множестве А называется отображение , которое каждому упорядоченному набору длины n из элементов множества А сопоставляет некоторый вполне определённый элемент этого же множества.

Множество А вместе с набором заданных на нём операций , где называется алгебраической структурой или просто алгеброй. При этом множеств А называется носителем структуры, а набор операций - сигнатурой. Чаще всего встречаются операции, арность которой равна 2, бинарные. Таковы, в частности, обычные операции сложения и умножения на числовых множествах. Известными алгебраическими структурами являются группы, кольца, поля.

Подмножество называется системой образующих, если любой элемент А может быть получен из А с помощью операций сигнатуры. Так, в алгебре натуральных чисел с операцией сложения (полугруппе) один элемент 1 – является образующим, а в алгебре натуральных чисел с операцией умножения (моноиде) системой образующих является множество простых чисел и единица.

Пусть имеются две алгебры и , причем арность соответствующих операций одинакова.

Определение. Отображение называется гомоморфизм из A в B, если оно сохраняет все операции сигнатуры, то есть . Если f - биекция, то гомоморфизм называется изоморфизмом.

С алгебраической точки зрения изоморфные алгебраические структуры неразличимы. Примером изоморфизма алгебраических структур является алгебра множества действительных чисел с операцией сложения (группа) и алгебра положительных действительных чисел с операцией умножения (группа). Биективным отображением устанавливающим изоморфизм является функция , так как . На данном изоморфизме основано, в частности, выполнение умножения с помощью логарифмической линейки, так как обратное отображение задается логарифмической функцией и .

В качестве примера гомоморфизма алгебраических структур, не являющегося изоморфизмом, можно привести алгебру квадратных матриц заданного порядка n над полем действительных чисел с операцией умножения матриц (моноид) и алгебру действительных чисел с операцией умножения (моноид). Отображением, задающим гомоморфизм из множества матриц в множество чисел, является операция вычисления определителя квадратной матрицы: .

Гомоморфизм называется:

- мономорфизмом, если f - инъекция;

- эпиморфизмом, если f - сюръекция;

- эндоморфизмом, если f - отображает носитель

структуры на себя;

- автоморфизмом, если f - биективный эндоморфизм.

Примером автоморфизма группы является операция сопряжения с помощью фиксированного элемента , так как .

Пусть задана некоторая алгебраическая структура Отношение эквивалентности R на множестве A называется отношением конгруэнтности, если оно согласовано со всеми операциями сигнатуры в следующем смысле:

из

следует R .

Другими словами, класс эквивалентности, в который попадает результат любой операции сигнатуры, полностью определяется классами, из которых берутся аргументы операции.

Отношение конгруэнтности позволяет определить так называемую фактор-структуру, носителем которой является множество классов эквивалентности. Приведём примеры.

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

Отношение эквивалентности элементов группы G по нормальной подгруппе H является отношением конгруэнтности и позволяет определить на множестве смежных классов фактор-группу G/H.

Контрольные вопросы

1. Дайте определение бинарного отношения.

2. Какое бинарное отношение называют транзитивным?

3. Приведите пример бинарного отношения.

4. Какое бинарное отношение называют отношением эквивалентности?

5. Что называют функцией?





Дата публикования: 2015-03-26; Прочитано: 961 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.008 с)...