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

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


Курсовик Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.

Информация:

Тип работы: Курсовик. Предмет: Математика. Добавлен: 22.09.2009. Сдан: 2009. Уникальность по antiplagiat.ru: --.

Описание (план):


Курсовая работа
"Абелевы универсальные алгебры"

Содержание
Введение
1. Основные определения, обозначения и используемые результаты
2. Свойства централизаторов конгруэнции универсальных алгебр
3. Формационные свойства нильпотентных алгебр
4. Классы абелевых алгебр и их свойства
Заключение
Список литературы
Введение
Теория формаций алгебраических систем, как самостоятельное направление современной алгебры, начало развиваться сравнительно недавно, в конце 60-х годов прошлого столетия. Отметим, что за последующие четыре десятилетия в таких классических областях исследования, как группы, кольца, алгебры Ли, мультикольца и т.д. формационные методы получили довольно широкое развитие. В теории же универсальных алгебр формационные методы не находят такого широкого применения, что, в первую очередь, связано со сложностью самого объекта исследований. Поэтому получение новых результатов, касающихся формационных свойств универсальных алгебр, представляет несомненный интерес. Именно этой задаче посвящается настоящая курсовая работа. Здесь на основе определения централизатора конгруэнции, введенного Смитом , дается определение абелевои алгебры и доказывается основной результат, что класс всех универсальных абелевых алгебр из мальцевского многообразия образует наследственную формацию. Также рассматривается и свойства абелевых универсальных алгебр.
Перейдем к краткому изложению результатов курсовой работы, которая включает в себя введение, четыре параграфа и список цитируемой литературы из восьми наименований.
1 является вспомогательным. Здесь приводятся основные определения, обозначения и результаты, используемые в дальнейшем.
2, 3 носят реферативный характер. Здесь подробно с доказательствами на основании результатов работ [1] и [2] излагается теория централизаторов конгруэнции универсальных алгебр и рассматриваются формационные свойства нильпотентных алгебр работы[3]. Сразу же отметим, что все рассматриваемые универсальные алгебры принадлежат фиксированому мальцевскому многообразию.
В 4, который является основным, на основании результатов 3 вводится понятие абелевой алгебры. Используя методы исследования работы [1] доказывается следующий основной результат: класс всех универсальных абелевых алгебр из мальцевского многообразия образует наследственную формацию.
1 Основные определения, обозначения и используемые результаты
Приведем определения основных понятий, используемых в данной работе из источников [1] и[2]. Для введения понятия алгебы необходимо сначала определить -арные операции.
Определение 1.1. Если - непустое множество и , то -арной операцией на множестве назовем отображение прямого произведения в . Рассматриваются и -арные операции, которые по определению, отмечают некоторый элемент из .
Определение 1.2. Пара , где - непустое множество, а (возможно, пустое) множество операций на , называется универсальной алгеброй или, короче, алгеброй.
Совокупность операций (или опрерационных символов) будем называть сигнатурой. Часто, при введении алгебры, указывают только множество и не указывают сигнатуру.
Элемент алгебры отмечаемый -арной операцией . будем обозначать через .
Определение 1.3. Подмножество называется подалгеброй, если для всякой -арной операции ,
а если и - -арная операция из , то
Определение 1.4. Если , - алгебры сигнатуры , то прямое произведение
становиться алгеброй той же сигнатуры, если для каждой -арной операции положить
а для -арной операции , где , -
Возникающая таким образом алгебра называется прямым произведением алгебр .
Приведем некоторые определения из
Определение 1.5. Отображение из алгебры в алгебру называется гомоморфизмом, если для любых элементов и любой -арной операции () справедливо равенство
Если же - нульарная операция, то полагаем
Взаимнооднозначный гомоморфизм алгебры на называется изоморфизмом и обозначается . Гомоморфизм алгебры в себя называется эндоморфизмом алгебры . Изоморфизм алгебры в себя называется ее автоморфизмом.
Определение 1.6. Конгруэнцией на алгебре называется всякая подалгебра прямого квадрата , обладающая следующими свойствами:
1) (рефлексивность): для всех ;
2) (симметричность): если , то ;
3) (транзитивность): если и , то .
Отметим, что условия 1) - 3) означают, что - эквивалентностъ на множестве .
Определение 1.7. Пусть - гомоморфизм алгебры в . Ядром гомоморфизма называется подмножество
В работе [3] приводятся следующие теоремы об изоморфизмах
Теорема 1 Ядро гомоморфизма является конгруэнцией.
Определение 1.8. Если - конгруэнция на алгебре и , то множество
называется классом конгруэнции . Множество всех классов конгруэнции обозначают через . При этом для каждой -арной операции считают , а для -арной операции , где , - . Получившуюся алгебру называют фактор-алгеброй алгебры по конгруэнции .
Теорема Первая теорема об изоморфизмах 2 Если - гомоморфизм алгебры в , то
Теорема Вторая теорема об изоморфизмах 3 Пусть конгруэнция на алгебре , - подалгебра алгебры . Тогда
Определение 1.9. Если , - конгруэнции на алгебре и содержится в , то обозначим
и назовем фактором алгебры или фактором на .
Теорема Третья теорема об изоморфизмах 4 Пусть - фактор на алгебре . Тогда

Определение 1.10. Если и - конгруэнции алгебры , то полагают
Теорема 5 Произведение двух конгруэнции является конгруэнцией тогда и только тогда, когда они перестановочны.
Определение 1.11. Класс алгебраических систем называется формацией, если выполняются следующие условия:
1) каждый гомоморфный образ любой -системы принадлежит ;
2) всякое конечное поддекартово произведение -систем принадлежит .
Определение 1.12. Формальное выражение , где и - слова сигнатуры в счетном алфавите , называется тождеством сигнатуры . Скажем, что в алгебре выполнено тождество , если после замены букв любыми элементами алгебры и осуществления входящих в слова и операций слева и справа получается один и тот же элемент алгебры , т.е. для любых в алгебре имеет место равенство
Определение 1.13. Класс алгебр сигнатуры называется многообразием, если существует множество тождеств сигнатуры такое, что алгебра сигнатуры принадлежит классу тогда и только тогда, когда в ней выполняются все тождества из множества . Многообразие называется мальцевским, если оно состоит из алгебр, в которых все конгруэнции перестановочны.
2. Свойства централизаторов конгруэнции универсальных алгебр
Напомним, что класс алгебр сигнатуры называется многообразием, если существует множество тождеств сигнатуры такое, что алгебра сигнатуры принадлежит классу тогда и только тогда, когда в ней выполняются все тождества из множества .
Многообразие называется мальцевским, если оно состоит из алгебр, в которых все конгруэнции перестановочны.
Все алгебры считаются принадлежащими некоторому фиксированному мальцевcкому многообразию. Используются стандартные обозначения и определения из[2].
В данной работе конгруэнции произвольной алгебры будем обозначать греческими буквами.
Если - конгруэнция на алгебре , то
смежный класс алгебры по конгруэнции . или - диагональ алгебры .
Для произвольных конгруэнции и на алгебре будем обозначать множество всех конгруэнции на алгебре таких, что
тогда и только тогда, когда
Так как , то множество не пусто.
Следующее определение дается в работе[2].
Определение 2.1. Пусть и - конгруэнции на алгебре . Тогда централизует (записывается: ), если на существует такая конгруэнция , что:
1) из
всегда следует
2) для любого элемента
всегда выполняется
3) если
то
Под термином «алгебра» в дальнейшем будем понимать универсальную алгебру. Все рассматриваемые алгебры предполагаются входящими в фиксированное мальцевское многообразие .
Следующие свойства централизуемости, полученные Смитом[3], сформулируем в виде леммы.
Лемма 2.1. Пусть . Тогда:
1) существует единственная конгруэнция , удовлетворяющая определению 2.1;
2) ;
3) если
то
Из леммы 2.1. и леммы Цорна следует, что для произвольной конгруэнции на алгебре всегда существует наибольшая конгруэнция, централизующая . Она называется централизатором конгруэнции в и обозначается .
В частности, если , то централизатор в будем обозначать .
Лемма 2.2. Пусть , - конгруэнции на алгебре , , , . Тогда справедливы следующие утверждения:
1) ;
2) , где ;
3) если выполняется одно из следующих отношений:
4) из всегда следует
Доказательство:
1) Очевидно, что - конгруэнция на , удовлетворяющая определению 2.1. В силу пункта 1) леммы 2.1. и .
2) - конгруэнция на , удовлетворяющая определению 2.1. Значит
3) Пусть . Тогда
Применим к последним трем соотношениям мальцевский оператор такой, что
Тогда получим
т.е.
Аналогичным образом показываются остальные случаи из пункта 3).
4) Пусть
Тогда справедливы следующие соотношения:
Следовательно,
где - мальцевский оператор.
Тогда
то есть .
Так как
то .
Таким образом . Лемма доказана.
Следующий результат оказывается полезным при доказательстве последующих результатов.
Лемма. 2.3. Любая подалгебра алгебры , содержащая диагональ , является конгруэнцией на алгебре .
Доказательство:
Пусть
Тогда из
следует, что
Аналогичным образом из
получаем, что
Итак, симметрично и транзитивно. Лемма доказана.
Доказательство следующего результата работы [1] содержит пробел, поэтому докажем его.
Лемма 2.4. Пусть . Тогда для любой конгруэнции на алгебре .
Доказательство:
Обозначим и определим на алгебре бинарное отношение следующим образом:
тогда и только тогда, когда
где
Используя лемму 2.3, нетрудно показать, что - конгруэнция на алгебре , причем
Пусть
то есть
Тогда
и, значит
Пусть, наконец, имеет место
Тогда справедливы следующие соотношения:
применяя мальцевчкий оператор к этим трем соотношениям, получаем
Из леммы 2.2 следует, что
Так как
то
Значит,
Но , следовательно, .
Итак,
и удовлетворяет определению 2.1. Лемма доказана.
Лемма 2.5. Пусть , - конгруэнции на алгебре , и - изоморфизм, определенный на .
Тогда для любого элемента отображение определяет изоморфизм алгебры на алгебру , при котором .
В частности, .
Доказательство.
Очевидно, что - изоморфизм алгебры на алгебру , при котором конгруэнции , изоморфны соответственно конгруэнциям и .
Так как
то определена конгруэнция
удовлетворяющая определению 2.1.
Изоморфизм алгебры на алгебру индуцирует в свою очередь изоморфизм алгебры на алгебру такой, что
для любых элементов и , принадлежащих . Но тогда легко проверить, что - конгруэнция на алгебре , изоморфная конгруэнции .
Это и означает, что
Лемма доказана.
Определение 2.2. Если и - факторы на алгебре такие, что
то конгруэнцию обозначим через и назовем централизатором фактора в .
Напомним, что факторы и назыавются перспективными, если либо
либо
Докажем основные свойства централизаторов конгруэнции.
Теорема 6 Пусть , , , - конгруэнции на алгебре . Тогда:
1) если , то
2) если , то
3) если , и факторы , перспективны, то
4) если - конгруэнции на и , то
где , .
Доказательство.
1) Так как конгруэнция централизует любую конгруэнцию и , то
2) Из первого пункта лемы 2.2 следует, что
а в силу леммы 2.4 получаем, что
Пусть - изоморфизм . Обозначим
По лемме 2.5 , а по определению
Следовательно,
3) Очевидно, достаточно показать, что для любых двух конгруэнции и на алгебре имеет место равенство
Покажем вналале, что
Обозначим . Тогда, согласно определению 2.1. на алгебре существует такая конгруэнция , что выполняются следующие свойства:
а) если , то
б) для любого элемента ,
в) если
то
Построим бинарное отношение на алгебре следующим образом:
тогда и только тогда, когда
и
Покажем, что - конгруэнция на . Пусть
для . Тогда
и
Так как - конгруэнция, то для любой -арной операции имеем
Очевидно, что
и
Следовательно,
Очевидно, что для любой пары
Значит,
Итак, по лемме 2.3, - конгруэнция на . Покажем теперь, что удовлетворяет определению 2.1, то есть централизует . Пусть
Тогда
Так как , и , то . Следовательно, удовлетворяет определению 2.1.
Если , то
значит,
Пусть, наконец, имеет место (1) и
Тогда
Так как и , то , следовательно, . Из (2) следует, что , а по условию . Значит, и поэтому
Тем самым показано, что конгруэнция удовлетворяет определению 2.1, то есть централизует .
Докажем обратное включение. Пусть
Тогда на алгебре определена конгруэнция
удовлетворяющая определению 2.1. Построим бинарное отношение на алгебре следующим образом:
тогда и только тогда, когда
и , .
Аналогично, как и выше, нетрудно показать, что - конгруэнция на алгебре . Заметим, что из доказанного включения в одну сторону следует, что . Покажем поэтому, что централизует .
Так как
то
то есть удовлетворяет условию 1) определения 2.1.
Если , то
следовательно,
Пусть имеет место (3) и .
Так как
то
Из (4) следует, что , следовательно,
то есть
На основании леммы 2.2 заключаем, что
Следовательно, .
А так как , то , то есть
4) Обозначим . Пусть
и удовлоетворяет определ и т.д.................


Перейти к полному тексту работы



Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.