Свойства и признаки нильпотентных групп
Группа, как совокупность преобразований, замкнутая относительно их композиции. Изучение нильпотентных групп, их простейших свойств и признаков. Особенности доказывания теорем Силова, Лагранжа, Виланда. Подгруппа Фраттини конечной группы нильпотентна.
| Рубрика | Математика |
| Вид | курсовая работа |
| Язык | русский |
| Дата добавления | 10.04.2011 |
| Размер файла | 553,1 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Федеральное агентство по образованию
Государственное образовательное учреждение высшего
Профессионального образования
Брянский Государственный Университет
Курсовая работа на тему
«Свойства и признаки нильпотентных групп»
Выполнила:
студентка ФМФ
Морозова А.В.
Научный руководитель:
кандидат физико-математических наук,
Корпачева М.А.
Брянск 2010
Содержание
Введение
Перечень условных обозначений
Используемые определения
Известные результаты, используемые в работе
Нильпотентные группы
Простейшие свойства конечных нильпотентных групп
Признаки нильпотентных групп
Список используемой литературы
Введение
Понятие группы послужило во многих отношениях образцом при перестройке математики на рубеже 19-20 вв. Истоки понятия группы обнаруживаются во многих дисциплинах. Галуа (1830) принадлежат многие достижения собственно в теории групп: открытие роли так называемых нормальных подгрупп в связи с задачей о разрешимости уравнений в радикалах, установление свойства простоты знакопеременных групп степени n; он же ввел термин «группа» (le groupe), хотя и не дал строгого определения. Важную роль в систематизации и развитии теории групп сыграл трактат К. Жордана (1870) о группах подстановок. А. Кэли (1854 и далее), он явно пользовался термином «группа», систематически использовал таблицы умножения, ныне называемые таблицами Кэли, доказал представимость всякой конечной группы подстановками.
Еще один источник понятия группы - теория чисел. Уже Л. Эйлер (1761), изучая «вычеты, остающиеся при делении степеней», по существу пользовался сравнениями и разбиениями на классы вычетов, что на теоретико-групповом языке означает разложение группы на смежные классы по подгруппе. К. Гаусс в «Арифметических исследованиях» (1801), занимаясь уравнением деления круга, фактически определил подгруппы его группы Галуа. Там же, изучая «композицию двоичных квадратичных форм», К. Гаусс, по существу, доказывает, что классы эквивалентных форм образуют относительно композиции конечную абелеву группу.
Осознание в конце 19 века принципиального единства теоретико-групповых идей, существовавших к тому времени независимо в разных областях математики, привело к выработке современного абстрактного понятия групп. (С. Ли, Г. Фробениус и др.). Уже в 1895 С. Ли определял группу как совокупность преобразований, замкнутую относительно их композиции. Изучение групп без предположения их конечности и без каких бы то ни было предположений о природе элементов впервые оформилось в самостоятельную область математики с выходом книги О. Ю. Шмидта «Абстрактная теория групп» (1916).
В своей работе я рассматриваю нильпотентные группы, их простейшие свойства и признаки.
Перечень условных обозначений
нильпотентная группа теорема доказывание
- знак строгого включения множеств;
- знак включения множеств;
- принадлежность элемента множеству;
- объединение множеств;
- пересечение множеств;
- множество всех для которых выполняется условие ;
- является подгруппой группы ;
- является собственной подгруппой группы ;
- является максимальной подгруппой группы ;
- является нормальной подгруппой группы ;
- является минимальной нормальной подгруппой группы ;
Скобки < > применяются для обозначения подгрупп, порождённых некоторым множеством элементов или подгрупп.
- множество всех простых делителей порядка группы ;
- порядок группы ;
- централизатор множества в группе ;
- центр группы ;
- нормализатор подмножества в группе ;
- силовская -подгруппа группы ;
- факторгруппа группы по подгруппе ;
- прямое произведение подгрупп A и B;
- подгруппа Фраттини группы ;
- коммутатор элементов a и b;
- группы изоморфны.
Используемые определения
Определение 1. Под множеством понимают совокупность объектов, рассматриваемых как единое целое.
Определение 2. Пусть А и В - множества. Если каждый элемент множества А принадлежит множеству В, то множество А называется подмножеством множества В.
Определение 3. Бинарной алгебраической операцией на множестве М называется отображение .
Определение 4. Группой называется непустое множество G, замкнутое относительно бинарной алгебраической операции «?», если выполняются следующие аксиомы (аксиомы группы):
1) операция «?» ассоциативна на G ,т. е. а?(b?c) = (a?b)?c для любых a, b, c?G.
2) в G существует нейтральный элемент относительно операции «?», т. е. ?e?G : a?e=e?a=a, для любого a?G.
3) в G для любого элемента существует симметричный ему элемент, т. е. для любого a?G ?a'?G : a?a'=a'?a=e.
Определение 5. Группа G относительно операции «?» называется абелевой, если операция «?» коммутативна на G, то есть a?b=b?a для любых a, b?G.
Определение 6. Группа относительно операции умножения называется мультипликативной.
Определение 7. Группа G называется конечной, если она содержит конечное число элементов. В противном случае группа называется бесконечной.
Определение 8. Порядком конечной группы G называется число элементов группы G.
Определение 9. Пусть <G, ?>, <G1, ?> - группы. Взаимно однозначное отображение G на G1 называется изоморфизмом, если ц(a?b)=ц(a)?ц(b) для любых a, b?G.
Определение 10. Группы G и G1 называются изоморфными, если существует изоморфизм группы G на группу G1.
Определение 11. Непустое подмножество М группы G называется подгруппой группы G, если М является группой относительно той же операции, что и группа G, и обозначается М?G.
Определение 12. Пусть G - группа, и - ее подгруппы. Если , то говорят, что группа G является произведением своих подгрупп и . В этом случае каждый элемент представим в виде , где . Произведение называется прямым, если подгруппы и нормальны в и .
Определение 13. Собственной называется подгруппа, отличная от группы.
Определение 14. Подгруппой группы G, порожденной множеством MG, называется пересечение всех подгрупп группы G, содержащих множество M.
Определение 15. Подгруппа группы называется максимальной подгруппой группы , если M<G и для всех H?G из MHG всегда следует, что или .
Определение 16. Подгруппой Фраттини группы называется пересечение всех максимальных подгрупп группы , если они существуют, и сама группа , если таких подгрупп нет.
Определение 17. Пусть - группа, и . Правым смежным классом группы по подгруппе называется множество . Аналогично определяется левый смежный класс:
Определение 18. Элемент называется перестановочным с подмножеством , если .
Определение 19. Пусть , - группа. Нормализатором множества H в группе G называется множество всех элементов группы , перестановочных с H (в целом), т.е. .
Определение 20. Элемент группы называется центральным в , если он перестановочен с каждым элементом группы , т.е. .
Определение 21. Множество всех центральных элементов группы называется центром группы.
Определение 22. Пусть , - группа. Централизатором множества H в группе G называется множество всех элементов группы , перестановочных с H поэлементно, т.е. .
Определение 23. Подгруппа называется нормальной подгруппой группы , если для всех . Равенство означает, что для любого элемента существует элемент такой, что .
Определение 24. Пусть - нормальная подгруппа группы . Факторгруппой группы по подгруппе называется множество всех смежных классов группы по подгруппе , образующее мультипликативную группу относительно умножения, заданного по правилу
и .
Определение 25. Группа G называется p-группой, если , где , .
Определение 26. Пусть , где , , , . Подгруппа группы называется силовской p-подгруппой группы , если .
Определение 27. Коммутатором элементов и группы называют элемент группы вида , который обозначают через .
Определение 28. Коммутантом группы называется подгруппа группы , т.е.
Определение 29. Эпиморфизм называют проектированием группы на -ю компоненту , то - подгруппа группы .
Определение 30. Подгруппу называют проекцией подгруппы на . Если подгруппа такова, что , , то подгруппу называют подпрямым произведением прямого произведения .
Известные результаты, используемые в работе
Теорема 1 (критерий подгруппы). Пусть Н - непустое подмножество группы G. Н является подгруппой группы G тогда и только тогда, когда выполняются условия:
1) для любых h1, h2?H h1?h2?H;
2) для любого h?H ? h-1?H.
Теорема 2. Пусть {Hi | i?I} - некоторая совокупность подгрупп группы G. Тогда A= является подгруппой группы G.
Теорема 3 (Силова). Пусть , в существует силовская подгруппа.
Лемма 1. Пусть , - силовская -подгруппа в справедливы следующие утверждения:
1) - силовская -подгруппа в и ;
2) - силовская -подгруппа в ;
3) .
Лемма 2. Пусть , - группа, справедливы следующие утверждения:
1) ;
2) ;
3)
Теорема 4 (Ремак). Если и - нормальные подгруппы , то факторгруппа изоморфна группе, являющейся подпрямым произведением прямого произведения
.
Лемма 3 (Фраттини). Пусть , - силовская подгруппа в
.
Теорема 5 (о соответствии подгрупп). Пусть , - множество всех подгрупп группы , содержащих ; множество всех подгрупп группы , причем и существует биективное отображение.
Теорема 6 (Лагранжа). Порядок подгруппы конечной группы делит порядок группы, т.е. если G - конечная группа, H?G, то ¦G¦¦H¦
Нильпотентные группы
Определение. Конечная группа называется нильпотентной, если всякая силовская p-подгруппа группы нормальна в .
Определение'. Конечная группа называется нильпотентной, если является прямым произведением своих силовских p-подгрупп.
Пример:
1. Конечная p-группа является нильпотентной. Действительно, в этом случае совпадает с , и значит является прямым произведением своих силовских подгрупп.
2. Любая конечная абелева группа нильпотентна. Действительно, любая подгруппа абелевой группы нормальна. Поэтому каждая абелева группа нильпотентна.
3. В 3 силовская 2-подгруппа ненормальна, поэтому 3 - ненильпотентна.
4. Группа порядка 15 является нильпотентной.
- класс всех конечных нильпотентных групп.
Простейшие свойства конечных нильпотентных групп
Лемма 1. Подгруппа нильпотентной группы нильпотентна.
Доказательство:
Пусть Покажем, что .
Пусть - силовская p-подгруппа группы А. Покажем, что .
Т.к. , то - силовская p-подгруппа в . Т.к. , то . Тогда
Покажем, что
Т.к. в любой группе силовские p-подгруппы сопряжены между собой, то в нильпотентной группе силовская p-подгруппа единственна.
Т.к. - p-подгруппа группы G, то , Тогда .
одгруппа в , т.е. , т.е. .
Т.о., и .
ч.т.д.
Лемма 2. Факторгруппа нильпотентной группы нильпотентна.
Доказательство:
Пусть . Покажем, что.
Пусть силовская p-подгруппа группы . Тогда силовская p-подгруппа .
Т.к. , то . Т.о., .
ч.т.д.
Лемма 3. Прямое произведение нильпотентных групп является нильпотентной группой.
Доказательство:
Пусть , ,
Пусть - силовская p-подгруппа в , - силовская p-подгруппа в . Покажем, что нильпотентна.
Пусть . Т.к. По свойству прямого произведения
.
, и .
, а
- силовская -подгруппа в .
ч.т.д.
Лемма 4. Если и , то .
Доказательство:
По теореме Ремака изоморфно подпрямому произведению групп , т.е. , где . Но по лемме 3 . Тогда по лемме 1 и .
ч.т.д.
Утверждение 1. Если , то .
Утверждение 2. .
Лемма 5. Если , то .
Доказательство:
Т.к. , то
ч.т.д.
Утверждение 3
Лемма 6. Если , , то .
Доказательство:
Допустим, что лемма неверна и пусть - контрпример минимального порядка. Возможны два случая:
1. Пусть . Т.к. , то .
.
2. Пусть .
ч.т.д.
Признаки нильпотентных групп
Утверждение 4. Если и , то .
Теорема 1 (Виланд). всякая максимальная подгруппа группы нормальна в ней.
Доказательство:
1. Необходимость.
Пусть и . Тогда и по лемме 6
Т.к. , то и .
2. Достаточность.
Пусть и .
Пусть - силовская p-подгруппа из . Допустим, что . Тогда По утверждению 4, , т.е. . Получили противоречие. Поэтому т.е. . Т.о., . ч.т.д.
Теорема 2. .
Доказательство:
1. Необходимость следует из леммы 2.
2. Достаточность.
Пусть , - силовская p-подгруппа в . Тогда - силовская p-подгруппа в .
Т.к., то и по теореме о соответствии .
Т.к. - силовская p-подгруппа в , то по лемме Фраттини получим , т.е. .
Т.о., . ч.т.д.
Теорема 3 (Фраттини). Подгруппа Фраттини конечной группы нильпотентна.
Доказательство:
Пусть - силовская p-подгруппа группы .
Т.к., то по лемме Фраттини , т.е. . Тогда и .
ч.т.д.
Список используемой литературы
1. М.И. Каргаполов, Ю. И. Мерзляков. Основные теории групп. - М. : Наука, 1982.
2. А.И. Кострикин. Введение в алгебру. -М. : Смоленск: СГПИ, 1988.
3. Л.Я. Куликов. Алгебра и теория чисел. - М. : Высшая школа, 1979.
4. А.Г. Курош. Теория групп. -М. : Наука,1967.
5. В.С. Монахов. Введение в теорию конечных групп и их классов. Учебное пособие. - Гомель: УО «ГГУ им. Ф. Скорины», 2003.
Размещено на Allbest.ru
Подобные документы
Выработка современного абстрактного понятия групп. Простейшие свойства конечных нильпотентных групп. Подгруппа Фраттини конечной группы нильпотентна. Нахождение прямого произведения нильпотентных групп. Бинарная алгебраическая операция на множестве.
курсовая работа [393,4 K], добавлен 21.09.2013Понятие, истоки, систематизация и развитие теории групп. Множество как совокупность объектов, рассматриваемых как единое целое. Нильпотентные группы - непустые множества, замкнутые относительно бинарной алгебраической операции, их свойства и признаки.
курсовая работа [541,3 K], добавлен 27.03.2011Цепь как совокупность вложенных друг в друга подгрупп. Описание и применение теоремы Гольфанда. F-абнормальная максимальная подгруппа из G либо p-нильпотентна как бипримарная группа Миллера-Морено. Понятие группы Фробениуса с циклической подгруппой.
курсовая работа [270,6 K], добавлен 07.03.2010Изучение строения групп по заданным свойствам системы их подгрупп как направлениt в теории конечных групп. Обзор конечных групп с плотной системой F-субнормальных подгрупп в случаях, когда F - произвольная S-замкнутая формация p-нильпотентных групп.
курсовая работа [163,6 K], добавлен 07.03.2010Характеристика и изучение замкнутости класса всех конечных сверхразрешимых групп относительно подгрупп, фактор-групп и прямых произведений. Исследование свойств подгрупп конечной сверхразрешимой группы. Обзор свойств сверхразхрешимых групп в виде лемм.
курсовая работа [260,7 K], добавлен 06.06.2012Разрешимость факторизуемой группы с разложимыми факторами. Свойства конечных групп, являющихся произведением двух групп, одна из которых группа Шмидта, вторая - 2-разложимая. Произведение бипримарной и 2-разложимой групп. Доказательство теорем и лемм.
курсовая работа [475,0 K], добавлен 22.09.2009Особенности факторизации четырехмерных симплектических групп. Исследование и анализ композиции геометрических преобразований. Характеристика изометрии, закономерных пространств. Методы решения структурных теорем – центры, коммутанты, теоремы о простоте.
дипломная работа [605,8 K], добавлен 14.02.2010Характеристика и основополагающие свойства силовых подгрупп конечных групп, определение и доказательство соответствующих лемм. Понятие и свойства супердобавлений. Строение группы с максимальной и силовской подгруппой, обладающей супердобавлением.
курсовая работа [489,5 K], добавлен 05.01.2010Формации как классы групп, замкнутые относительно фактор-групп и подпрямых произведений, методика их произведения. Операции на классах групп, приводящие к формациям. Виды простейших свойств локальной формации всех групп с нильпотентным компонентом.
курсовая работа [461,6 K], добавлен 20.09.2009Этапы возникновения, развития и основы теории исследования величины нильпотентной длины конечных разрешимых групп с известными добавлениями к максимальным подгруппам. Признаки разрешимости конечной группы, подгруппа Фиттинга, ее свойства и теоремы.
дипломная работа [548,6 K], добавлен 18.09.2009
