МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ
Учреждение образования
"Гомельский государственный университет
имени Франциска Скорины"
математический факультет
Кафедра алгебры и геометрии
Конечные группы со сверхразрешимыми подгруппами четного индекса.
Курсовая работа
Исполнитель:
студентка группы H.01.01.01 М-31
Зелюткина В.И.
Научный руководитель: профессор,
доктор физико-математических наук,
профессор кафедры алгебры и геометрии
Монахов В.С.
Гомель 2005
Содержание
Введение
1. Конечные группы со сверхразрешимыми подгруппами четного индекса
2. Конечные группы со сверхразрешимыми подгруппами непримарного индекса
3. О неразрешимых группах с заданными подгруппами непримарного индекса
Заключение
Список литературы
Данная курсовая работа представлена в виде трех параграфов. В первом параграфе рассматриваются конечные группы со сверхразрешимыми подгруппами четного индекса. Здесь представлены:
A. Пусть - конечная группа и . Тогда и только тогда в группе все подгруппы четного индекса сверхразрешимы, когда выполняется одно из следующих утверждений:
1) - 2-группа;
2) - группа Фробениуса, ядро которой - минимальная нормальная подгруппа порядка , где - показатель 2 по каждому простому нечетному делителю порядка группы;
3) .
1. - наследственный гомоморф, т.е. каждая подгруппа и каждая факторгруппа группы также принадлежит .
2. , то ----свободна.
3. и не 2-нильпотентна, то силовская 2-подгруппа в элементарная абелева или типа .
4. - разрешимая группа и , то 2-длина группы не превосходит 1.
5. - разрешимая группа и . Если и силовская 2-подгруппа из неабелева, то центр совпадает с центром .
6. - разрешимая группа и . Тогда и только тогда , когда - группа Фробениуса, ядро которой - минимальная нормальная подгруппа порядка , где - показатель 2 по каждому нечетному простому делителю порядка группы .
Лемма 7. и - простая неабелева группа, то .
8. и , то .
9. для .
Во второй - конечные группы со сверхразрешимыми подгруппами непримарного индекса. Здесь представлены:
B. неразрешимая группа, у которой все подгруппы непримарного индекса сверхразрешимы, изоморфна одной из следующих групп:
1) или , где - 5-группа;
2) , где - 3-группа.
C. - разрешимая недисперсивная группа, у которой все подгруппы непримарного индекса сверхразрешимы. Тогда бипримарна, и - дисперсивная группа порядка , где .
1. конечная группа, в которой каждая подгруппа непримарного индекса сверхразрешима. Тогда в любой подгруппе и в любой фактор-группе группы каждая подгруппа непримарного индекса сверхразрешима.
2. - конечная группа и - простое число, делящее порядок . Если в нет -замкнутых подгрупп Шмидта, то -нильпотентна.
3. - сверхразрешимая группа Шмидта с нормальной силовской -подгруппой и циклической силовской -подгруппой , то .
4. группа дисперсивна по Оре, если в ней все подгруппы Шмидта сверхразрешимы.
5. конечная группа со сверхразрешимыми подгруппами непримарного индекса не более чем трипримарна.
6. группа порядка , где и - простые числа, и не делит , нильпотентна.
... . Пусть вначале . Тогда и неабелева. По теореме П. Фонга из группа диэдральная или полудиэдральная. Но в этих случаях . Непосредственно проверяется, что диэдральная и полудиэдральная группа порядка 16 не является произведением двух групп порядка 4. Предположим теперь что . Тогда - элементарная абелева подгруппа или диэдральная. Если абелева, то или группа Янко порядка 175560. Так как ...
... результат работы(6), мы доказываем в настоящей заметке следующую теорему. Теорема Пусть конечная группа является произведением своих подгрупп и взаимно простых порядков, и пусть --- бипримарная группа, а --- 2-разложимая группа четного порядка. Предположим, что в есть неединичная циклическая силовская подгруппа . Тогда, если неразрешима, то изоморфна или . обозначает произведение ...
... . Другими словами, найдется такой ненулевой элемент из , что для всех из . Но тогда для всех из . Поэтому . Структурные теоремы. Порядки симплектических групп Предложение Если поле бесконечно, то группы , над также бесконечны. Доказательство. Число трансвекций из бесконечно. Теорема Порядок группы равен Порядок группы равен Доказательство. Второе утверждение ...
0 комментариев