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

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

 

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

 

Логин:

Пароль:

 

Запомнить

 

 

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

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

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

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


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


Курсовик Рассмотрение методов экстремальных классов (Картер, Фишер, Хоукс), и критических групп (Семенчук). Классификация наследственных насыщенных формаций F, замкнутых относительно произведения обобщенно субнормальных F-подгрупп с взаимно простыми индексами.

Информация:

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

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


Министерство образования Республики Беларусь
Учреждение образования
"Гомельский государственный университет им. Ф. Скорины"
Математический факультет
Кафедра алгебры и геометрии
КЛАССЫ КОНЕЧНЫХ ГРУПП , ЗАМКНУТЫЕ О ВЗАИМНО ПРОСТЫХ ИНДЕКСОВ ОТНОСИТЕЛЬНО ПРОИЗВЕДЕНИЯ ОБОБЩЕННО СУБНОРМАЛЬНЫХ -ПОДГРУПП
Курсовая работа
Исполнитель:
Студентка группы М-53 МОКЕЕВА О. А.
Научный руководитель:
доктор ф-м наук, профессор Семенчук В.Н.
Гомель 2009
Оглавление
    ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ
    Введение
    1 Некоторые базисные леммы
    2 Критерий принадлежности групп, факторизуемых обобщенно субнормальными -подгруппами, индексы которых взаимно просты, наследственно насыщенным формациям
    Заключение
    Список использованных источников

Перечень условных обозначений

Рассматриваются только конечные группы. Вся терминология заимствована из [44, 47].
--- множество всех натуральных чисел;
--- множество всех простых чисел;
--- некоторое множество простых чисел, т. е. ;
--- дополнение к во множестве всех простых чисел; в частности, ;
примарное число --- любое число вида .
Буквами обозначаются простые числа.
Пусть --- группа. Тогда:
--- порядок группы ;
--- множество всех простых делителей порядка группы ;
-группа --- группа , для которой ;
-группа --- группа , для которой ;
--- коммутант группы , т. е. подгруппа, порожденная коммутаторами всех элементов группы ;
--- подгруппа Фиттинга группы , т. е. произведение всех нормальных нильпотентных подгрупп группы ;
--- наибольшая нормальная -нильпотентная подгруппа группы ;
--- подгруппа Фраттини группы , т. е. пересечение всех максимальных подгрупп группы ;
--- наибольшая нормальная -подгруппа группы ;
--- -холлова подгруппа группы ;
--- силовская -подгруппа группы ;
--- дополнение к силовской -подгруппе в группе , т. е. -холлова подгруппа группы ;
--- нильпотентная длина группы ;
--- -длина группы ;
--- минимальное число порождающих элементов группы ;
--- цоколь группы , т. е. подгруппа, порожденная всеми минимальными нормальными подгруппами группы ;
--- циклическая группа порядка .
Если и --- подгруппы группы , то :
--- является подгруппой группы ;
--- является собственной подгруппой группы ;
--- является нормальной подгруппой группы ;
--- ядро подгруппы в группе , т. е. пересечение всех подгрупп, сопряженных с в ;
--- нормальное замыкание подгруппы в группе , т. е. подгруппа, порожденная всеми сопряженными с подгруппами группы ;
--- индекс подгруппы в группе ;
;
--- нормализатор подгруппы в группе ;
--- централизатор подгруппы в группе ;
--- взаимный коммутант подгрупп и ;
--- подгруппа, порожденная подгруппами и .
Минимальная нормальная подгруппа группы --- неединичная нормальная подгруппа группы , не содержащая собственных неединичных нормальных подгрупп группы ;
--- является максимальной подгруппой группы .
Если и --- подгруппы группы , то:
--- прямое произведение подгрупп и ;
--- полупрямое произведение нормальной подгруппы и подгруппы ;
--- и изоморфны;
--- регулярное сплетение подгрупп и .
Подгруппы и группы называются перестановочными, если .
Группу называют:
-замкнутой, если силовская -подгруппа группы нормальна в ;
-нильпотентной, если -холлова подгруппа группы нормальна в ;
-разрешимой, если существует нормальный ряд, факторы которого либо -группы, либо -группы;
-сверхразрешимой, если каждый ее главный фактор является либо -группой, либо циклической группой;
нильпотентной, если все ее силовские подгруппы нормальны;
разрешимой, если существует номер такой, что ;
сверхразрешимой, если она обладает главным рядом, все индексы которого являются простыми числами.
Монолитическая группа --- неединичная группа, имеющая единственную минимальную нормальную подгруппу.
-замкнутая группа --- группа, обладающая нормальной холловской -подгруппой.
-специальная группа --- группа, обладающая нильпотентной нормальной холловской -подгруппой.
-разложимая группа --- группа, являющаяся одновременно -специальной и -замкнутой.
Группа Шмидта --- это конечная ненильпотентная группа, все собственные группы которой нильпотентны.
Добавлением к подгруппе группы называется такая подгруппа из , что .
Цепь --- это совокупность вложенных друг в друга подгрупп.
Ряд подгрупп --- это цепь, состоящая из конечного числа членов и проходящая через единицу.
Ряд подгрупп называется:
субнормальным, если для любого ;
нормальным, если для любого ;
главным, если является минимальной нормальной подгруппой в для всех .
Класс групп --- совокупность групп, содержащая с каждой своей группой и все ей изоморфные группы.
-группа --- группа, принадлежащая классу групп .
Формация --- класс групп, замкнутый относительно факторгрупп и подпрямых произведений.
Если --- класс групп, то:
--- множество всех простых делителей порядков всех групп из ;
--- множество всех тех простых чисел , для которых ;
--- формация, порожденная классом ;
--- насыщенная формация, порожденная классом ;
--- класс всех групп , представимых в виде
где , ;
;
--- класс всех минимальных не -групп, т. е. групп не принадлежащих , но все собственные подгруппы которых принадлежат ;
--- класс всех -групп из ;
--- класс всех конечных групп;
--- класс всех разрешимых конечных групп;
--- класс всех -групп;
--- класс всех разрешимых -групп;
--- класс всех разрешимых -групп;
--- класс всех нильпотентных групп;
--- класс всех разрешимых групп с нильпотентной длиной .
Если и --- классы групп, то:
.
Если --- класс групп и --- группа, то:
--- пересечение всех нормальных подгрупп из таких, что ;
--- произведение всех нормальных -подгрупп группы .
Если и --- формации, то:
--- произведение формаций;
--- пересечение всех -абнормальных максимальных подгрупп группы .
Если --- насыщенная формация, то:
--- существенная характеристика формации .
-абнормальной называется максимальная подгруппа группы , если
, где
--- некоторая непустая формация.
-гиперцентральной подгруппой в называется разрешимая нормальная подгруппа группы , если обладает субнормальным рядом таким, что
(1) каждый фактор является главным фактором группы ;
(2) если порядок фактора есть степень простого числа , то .
--- -гиперцентр группы , т. е. произведение всех -гиперцентральных подгрупп группы .
Введение
Известно, что формация всех сверхразрешимых групп не замкнута относительно произведения нормальных сверхразрешимых подгрупп, но замкнута относительно произведения нормальных сверхразрешимых подгрупп взаимно простых индексов. В связи с этим можно сформулировать следующую проблему.
Проблема. Классифицировать наследственные насыщенные формации с тем свойством, что любая группа , где и --- -субнормальные -подгруппы взаимно простых индексов, принадлежит .
Именно изучению таких формаций посвящена данная работа. В частности, в классе конечных разрешимых групп получено полное решение данной проблемы.
1 Некоторые базисные леммы
В данном разделе доказаны леммы, которые существенным образом используются при доказательстве основного раздела данной главы.
1.1 Лемма [18-A]. Пусть --- насыщенная формация, принадлежит и имеет нормальную силовскую -подгруппу для некоторого простого числа . Тогда справедливы следующие утверждения:
1) ;
2) , где --- любое дополнение к в .
Доказательство. Так как , то , а значит, . Так как и формация насыщенная, то не содержится в . Так как --- элементарная группа, то по теореме 2.2.16, обладает -допустимым дополнением в . Тогда , . Если , то отлична от и, значит, принадлежит . Но тогда, ввиду равенства , имеем
отсюда следует и . Тем самым доказано, что .
Докажем утверждение 2). Очевидно, что является -корадикалом и единственной минимальной нормальной подгруппой группы , причем . Поэтому, ввиду теоремы 2.2.17,
Очевидно,
. Если , то
отсюда . Значит, . Лемма доказана.
Пусть и --- произвольные классы групп. Следуя [55], обозначим через --- множество всех групп, у которых все -подгруппы принадлежат .
Если --- локальный экран, то через обозначим локальную функцию, обладающую равенством для любого простого числа .
1.2 Лемма [18-A]. Пусть и --- некоторые классы групп. Тогда справедливы следующие утверждения:
1) --- наследственный класс;
2) ;
3) если , то ;
4) если , то --- класс всех групп;
5) если --- формация, а --- насыщенный гомоморф, то --- формация;
6) если , , --- некоторые классы групп и --- наследственный класс, то в том и только в том случае, когда ;
7) если и --- гомоморфы и , то .
Доказательство. Доказательство утверждений 1), 2), 3) и 4) следует непосредственно из определения класса групп .
Пусть , --- нормальная подгруппа группы и --- -подгруппа из . Пусть --- добавление к в . Покажем, что . Предположим противное. Пусть не входит в . Тогда обладает максимальной подгруппой , не содержащей . Поэтому , а значит, , что противоречит определению добавления.
Так как --- насыщенный гомоморф, то . Но тогда и . Значит, класс замкнут относительно гомоморфных образов.
Пусть . Пусть --- -подгруппа из . Тогда , а значит ввиду определения класса , имеем
Так как --- формация и , то отсюда получаем, что . Таким образом, .
Докажем утверждение 6). Пусть , . Если не входит в , то получается, что каждая -подгруппа из принадлежит , а значит, . Получили противоречие. Поэтому .
Покажем, что . Предположим, что множество непусто, и выберем в нем группу наименьшего порядка. Тогда не входит в . Пусть --- собственная подгруппа из . Так как классы и --- наследственные классы, то . Ввиду минимальности имеем . Значит, . Получили противоречие. Поэтому .
Докажем утверждение 7). Пусть и --- -подгруппа из группы . Отсюда следует, что , . А это значит, что . Отсюда нетрудно заметить, что . Следовательно, . Итак, . Лемма доказана.
1.3 Лемма [18-A]. Пусть --- наследственная насыщенная формация, --- ее максимальный внутренний локальный экран. Тогда и только тогда -корадикал любой минимальной не -группы является силовской подгруппой, когда:
1) ;
2) формация имеет полный локальный экран такой , что для любого из .
Доказательство. Необходимость. Пусть --- максимальный внутренний локальный экран формации . Пусть --- произвольное простое число из . Так как --- насыщенный гомоморф, то по лемме 4.1.2, --- формация.
Пусть --- формация, имеющая локальный экран такой, что для любого из . Покажем , что . Согласно теореме 2.2.13, --- наследственная формация для любого из . Отсюда нетрудно заметить, что для любого из . А это значит, что .
Пусть --- группа минимального порядка из . Так как --- наследственная формация, то очевидно, что --- наследственная формация. А это значит, что и . Покажем, что --- полный локальный экран, т. е. для любого из . Действительно. Пусть --- произвольная группа из . Отсюда . Пусть --- произвольная -группа из . Так как , то . Отсюда . Так как --- полный экран, то . А это значит, что . Следовательно, . Отсюда нетрудно заметить, что . Теперь, согласно теореме 2.2.5, , где --- единственная минимальная нормальная подгруппа группы , --- -группа и . Так как и , то . Отсюда . Противоречие. Итак, . Покажем, что для любого из . Пусть и --- -группа. Пусть --- произвольная -подгруппа из . Тогда . Отсюда . А это значит, что . Противоречие.
Достаточность. Пусть --- произвольная минимальная не -группа. Так как разрешима, то по теореме 2.2.5,
где --- -группа, . Согласно условию, --- -группа. А это значит, что --- -замкнутая группа. Но тогда, --- -замкнутая группа. Согласно лемме 4.1.1, --- силовская подгруппа группы . Лемма доказана.
1.4 Лемма [18-A]. Пусть --- наследственная насыщенная формация, --- ее максимальный внутренний локальный экран. Тогда и только тогда любая минимальная не -группа бипримарна и -замкнута, где , когда:
1) ;
2) формация имеет полный локальный экран такой, что и любая группа из является примарной -группой для любого простого из .
Доказательство. Необходимость. Пусть --- произвольная минимальная не -группа. Согласно условию, --- бипримарная -замкнутая группа, где . По лемме 4.1.1, . Согласно лемме 4.1.3, формация имеет полный локальный экран такой, что и для любого простого из . Покажем, что любая группа из примарна. Предположим противное. Тогда существует группа и . Пусть --- группа наименьшего порядка такая, что . Очевидно, что и . Нетрудно заметить, что и имеет единственную минимальную нормальную подгруппу. Значит, по лемме 2.2.18, существует точный неприводимый -модуль , где --- поле из элементов.
Пусть . Покажем, что . Поскольку и , то .
Пусть --- собственная подгруппа из . Покажем, что . Пусть . Если , то . Следовательно, . Пусть . Тогда --- собственная подгруппа из . А это значит, что и . Так как и --- наследственная формация, то . Но тогда и , а значит и .
Пусть теперь . Так как , то и . Отсюда следует, что . Итак, . Cогласно условию, бипримарна, что невозможно, т. к. .
Достаточность. Пусть --- произвольная минимальная не -группа. Согласно условию, разрешима. По теореме 2.2.5,
где --- -группа, .
Согласно условию, --- примарная -группа. А это значит, что --- бипримарная -замкнутая группа. Но тогда --- бипримарная -замкнутая группа. Лемма доказана.

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


В данном разделе в классе конечных разрешимых групп получена классификация наследственных насыщенных формаций
, замкнутых относительно произведения обобщенно субнормальных -подгрупп, индексы которых взаимно просты.
2.1 Теорема [18-A]. Пусть --- наследственная насыщенная формация, --- ее максимальный внутренний локальный экран. Тогда следующие утверждения эквивалентны:
1) формация содержит любую группу , где и --- -субнормальные -подгруппы и индексы , взаимно просты;
2) любая минимальная не -группа либо бипримарная -замкнутая группа , либо группа простого порядка;
3) формация имеет полный локальный экран такой, что и любая группа из является примарной -группой для любого простого из .
Доказательство. Покажем, что из 1) следует 2).
Пусть --- произвольная минимальная не -группа. Предположим, что , где --- характеристика формации . Покажем, что --- группа простого порядка. Пусть . Тогда существует простое число , . Так как , то , что невозможно. Итак, --- примарная -группа. Так как , то, очевидно, что .
Пусть теперь . Рассмотрим случай, когда .
Покажем, что имеет единственную минимальную нормальную подгруппу . Предположим противное. Тогда содержит, по крайней мере, две минимальные нормальные подгруппы и . Так как , то в группе найдутся максимальные подгруппы и такие, что , . Так как и принадлежат , , , то , . Так как --- формация, то . Получили противоречие. Итак, , где --- единственная минимальная нормальная -подгруппа группы .
Покажем, что --- примарная -группа, где . Предположим, что существуют простые числа , где . Тогда в найдутся максимальные подгруппы и такие, что --- -число, --- -число. Рассмотрим подгруппы и . Очевидно, что индексы и взаимно просты. Так как и , то . Согласно лемме 3.1.4, подгруппы и -субнормальны в . Так как --- минимальная не -группа, и --- собственные подгруппы группы , то и . Так как , то согласно условию, . Получили противоречие.
Покажем, что --- -группа, где . Предположим, что . Так как , то согласно лемме 3.1.4, --- -субнормальная подгуппа группы . Рассмотрим подгруппу . Так как --- собственная подгруппа и , то . Согласно лемме 3.1.4, --- -субнормальная подгруппа . Очевидно, что --- -субнормальная подгруппа . По лемме 3.1.4, --- -субнормальная подгруппа группы . Так как , то из и условия теоремы следует, что . Получили противоречие. Итак, --- -группа. Тогда --- бипримарная -замкнутая группа, где .


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



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


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