МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ
Учреждение образования
"Гомельский государственный университет
имени Франциска Скорины"
Математический факультет
Кафедра алгебры и геометрии
Курсовая работа
КОНГРУЭНЦИИ ФРАТТИНИ УНИВЕРСАЛЬНЫХ АЛГЕБР
Исполнитель:
студентка группы H.01.01.01 М-43
Селюкова Н.В.
Научный руководитель:
доктор физико-математических наук,
профессор кафедры Алгебры и геометрии
Монахов В. С.
Гомель 2004
Содержание
Введение
1. Основные определения, обозначения и используемые результаты
2. Свойства централизаторов конгруэнции универсальных алгебр
3. Конгруэнция Фраттини, подалгебра Фраттини и их свойства
Список литературы
Введение
Одно из направлений исследований самых абстрактных алгебраических систем, в частности, универсальных алгебр, связано с изучением, определенным образом выделенных подсистем таких систем. Например, в группах - это силовские подгруппы, подгруппа Фраттини, подгруппа Фиттинга, в алгебрах Ли --- это подалгебра Картана, Фраттини и т.д. Разработка новых методов исследований мультиколец, универсальных алгебр, нашедших свое отображение в книге Л. А. Шеметкова и А. Н. Скибы ``Формации алгебраических систем''(1), дает мощный импульс в реализации этого направленияи в универсальных алгебрах. В этой курсовой работе решается задача, связанная с изучением свойств подалгебр Фраттини и конгруэнции Фраттини универсальных алгебр, принадлежащих некоторому фиксированному мальцевскому многообразию. В частности, получены новые результаты, указывающие на связь подалгебры Фраттини с фраттиниевой конгруэнцией (теоремы (4)и(5)). Установлено одно свойство подалгебры Фраттини нильпотентной алгебры (теорема(2)). Как следствие, из полученных результатов следуют аналогичные результаты теории групп и мультиколец.
Перейдем к подробному изложению результатов курсовой работы, состоящей из введения, трех параграфов и списка литературы, состоящего из пяти наименований.
1 носит вспомагательный характер. Здесь приведены все необходимые определения, обозначения и используемые в дальнейшем результаты. 2 носит реферативный характер. Здесь приводятся с доказательствами результаты работ , касающееся свойств централизаторов конгруэнций. 3 является основным. На основе введенного здесь понятия --- конгруэнции Фраттини, устанавливаются некотоые свойства подалгебры Фраттини универсальной алгебры. В частности, доказывается, что подалгебра Фраттини нильпотентной алгебры нормальна в (теорема(3)).1. Основные определения и используемые результаты
Определение 1.1 Пусть
--- некоторое непустое множество и пусть , отображение -ой декартовой степени в себя, тогда называют -арной алгебраической операцией.Определение 1.2 Универсальной алгеброй называют систему
состоящую из некоторого множества с заданной на нем некоторой совокупностью операций .Определение 1.3 Пусть
--- некоторая универсальная алгебра и ( ), тогда называют подалгеброй универсальной алгебры , если замкнута относительно операций из .• Для любой операции
, где и .• Для любой операции
элемент фиксируемый этой операцией в принадлежит .Определение 1.4 Всякое подмножество
называется бинарным отношением на .Определение 1.5 Бинарное отношение называется эквивалентностью, если оно:
• рефлексивно
• транзитивно
и• симметрично
Определение 1.6 Пусть
некоторая эквивалентность на , тогда через обозначают множество . Такое множество называют класс разбиения по эквивалентности содержащий элемент . Множество всех таких классов разбиения обозначают через и называют фактормножеством множества по эквивалентности .Определим
-арную операцию на фактормножестве следующим образом:
Определение 1.7 Эквивалентность
на алгебре называется ее конгруэнцией на , если выполняется следующее условие:Для любой операции
для любых элементов таких, что имеет место .Определение 1.8 Если
и --- конгруэнции на алгебре , , то конгруэнцию на алгебре назовем фактором на . тогда и только тогда, когда . или или 1 --- соответственно наименьший и наибольший элементы решетки конгруэнций алгебры .