Классы Фиттинга конечных групп
Группы и их подгруппы. Централизаторы и нормализаторы. Разрешимые, сверхразрешимые, нильпотентные и холловы группы. Прямое, полупрямое произведения и сплетение групп. Простейшие свойства классов Фиттинга. Нормальные классы Фиттинга и их произведение.
| Рубрика | Математика |
| Вид | дипломная работа |
| Язык | русский |
| Дата добавления | 19.04.2011 |
| Размер файла | 177,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
Департамент образования города Москвы
Государственное образовательное учреждение
высшего профессионального образования
города Москвы
"Московский городской педагогический университет"
Математический факультет
Кафедра алгебры, геометрии и методики их преподавания
Дипломная работа
По теме: "Классы Фиттинга конечных групп"
По специальности 050201.65 "Математика" с дополнительной специальностью Информатика"
Студента
5 курса очной формы обучения
Троицкого К.Д.
Научный руководитель:
д.ф-м.н. профессор
Ведерников В.А.
Допущена к защите
«___»_________2010 г.
_________________
Ведерников В.А. /
Москва, 2010
Оглавление
Введение
Глава 1. Используемые обозначения, определения и известные результаты
§1. Группы и их подгруппы. Централизаторы и нормализаторы
§2. Разрешимые, сверхразрешимые, нильпотентные и холловы группы
§3. Прямое, полупрямое произведения и сплетение групп
Глава 2. Классы Фиттинга и их свойства
§1. Простейшие свойства классов Фиттинга
§2. F-радикалы и F-инъекторы. Нормальные классы Фиттинга
1. F-радикалы и F-инъекторы
2. Нормальные классы Фиттинга
§3. Произведение классов Фиттинга
§4. Практические примеры
Заключение
- Библиография
Введение
Абстрактная алгебра изучает множества с заданными на них алгебраическими операциями и отношениями. С древнейших времён математики имели дело с конкретными множествами (числа, векторы, матрицы и т.д.) не изучая глубоко абстрактные множества и их свойства.
Возникновение понятия группы стало новым витком в алгебре и началом абстрактной алгебры как таковой. Истоки понятия группы обнаруживаются в нескольких дисциплинах, главная из которых - теория решений алгебраических уравнений в радикалах. В 1771 г. французские математики Ж. Лагранж и А. Вандермонд впервые для нужд этой теории применили подстановки. Затем, в ряде работ итальянского математика П. Руффини (1799 г. и позднее), посвященных доказательству неразрешимости уравнения пятой степени в радикалах, систематически используется замкнутость множества подстановок относительно их композиции и по существу описаны подгруппы группы всех подстановок пяти символов. Глубокие связи между свойствами группы подстановок и свойствами уравнений были указаны норвежским математиком Н. Абелем (1824) и французским математиком Э. Галуа (1830). Галуа принадлежат и конкретные достижения в теории групп: открытие роли нормальных подгрупп в связи с задачей о разрешимости уравнений в радикалах, установление свойства простоты знакопеременных групп степени nі5 и др.; он же ввёл термин "группа", хотя и не дал строгого определения. Важную роль в систематизации и развитии теории групп сыграл трактат французского математика К. Жордана о группе подстановок (1870).
Идея группы независимо возникла и в геометрии, когда в середине 19 в. на смену единой античной геометрии пришли многочисленные "геометрии" и остро встал вопрос об установлении связей и родства между ними. Выход из создавшегося положения был намечен исследованиями по проективной геометрии, посвященными изучению поведения фигур при различных преобразованиях. Постепенно интерес в этих исследованиях перешёл на изучение самих преобразований и поиск их классификации. Таким "изучением геометрического родства" много занимался немецкий математик А. Мёбиус. Заключительным этапом на этом пути явилась "Эрлангенская программа" немецкого математика Ф. Клейна (1872), положившая в основу классификации геометрий понятие группы преобразований: каждая геометрия определена некоторой группой преобразований пространства, и только те свойства фигур принадлежат к данной геометрии, которые инвариантны относительно преобразований соответствующей группы.
Третий источник понятия группа - теория чисел. Уже Л. Эйлер, изучая "вычеты, остающиеся при делении степеней", по существу пользовался сравнениями и разбиениями на классы вычетов, что на теоретико-групповом языке означает разложение группы на смежные классы по подгруппе. К. Гаусс в "Арифметических исследованиях" (1801), занимаясь уравнением деления круга, фактически определил подгруппы его группы Галуа. Там же, изучая "композицию двоичных квадратичных форм", Гаусс по существу доказывает, что классы эквивалентных форм образуют относительно композиции конечную абелеву группу. Развивая эти идеи, немецкий математик Л. Кронекер (1870) вплотную подошёл к основной теореме о конечных абелевых группах, хотя и не сформулировал её явно.
Осознание в конце 19 в. принципиального единства теоретико-групповых форм мышления, существовавших к тому времени независимо в разных областях математики, привело к выработке современного абстрактного понятия группы. Уже в 1895 г. Ли определял группу как совокупность преобразований, замкнутую относительно их композиции, удовлетворяющей некоторым условиям. Изучение групп без предположения их конечности и без каких бы то ни было предположений о природе элементов впервые оформилось в самостоятельную область математики с выходом книги О. Ю. Шмидта "Абстрактная теория групп" (1916).
Во второй половине XX века (в основном, между 1955 и 1983 гг.) была проведена огромная работа по классификации всех конечных простых групп.
Новым витком развития алгебры стало изучения классов групп, т.е. множеств, элементами которых являлись уже не отдельные элементы, а группы.
Абстрактная алгебра довольно долго использовала в теории конечных групп такие классы групп как формации. В 1963 г. работа Гашюца дала сильный толчок в направлении изучения формаций. Возникла отдельная теория формаций. Значительные результаты были получены уже в первые годы использования этой теории.
Классы Фиттинга впервые упоминаются в статье Fischer B. Klassen konjugirter Untergruppen in endlichen auflosbaren Gruppen, Habilitationsschrift, Universitat Frankfurt am Main в 1966 году. В статье Fischer, B., Gaschutz, W. und Hartly, B. Injektoren endlicher auflosbarer Gruppen (Math. Z. 102, 1967 год) впервые рассматриваются классы Фиттинга конечных групп.
В первой статье (1966) классы Фиттинга были введены двойственным образом к формациям, классам групп, замкнутым относительно фактор-групп и относительно подпрямого произведения. Классы Фиттинга замкнуты относительно нормальных подгрупп и прямого произведения нормальных X-подгрупп.
Двойственность заключалась в том, что определение классов Фиттинга получалось из определения формаций заменой фактор-групп на нормальные подгруппы. В силу двойственности формацию называют корадикальным классом (класс Фиттинга - радикальный класс). Двойственность наблюдается и в теории F-проекторов (формации) и F-инъекторов (классы Фиттинга).
В настоящий момент теория классов Фиттинга насчитывает всего 44 года, за которые были получены довольно значительные результаты. Данная теория является «молодой», актуальной для современных алгебраистов и хранит в себе ещё много нераскрытых фактов и неизученных вопросов.
Цель данной работы в том, чтобы привести последовательное и доступное изложение основной теории по классам Фиттинга и рассмотреть некоторые практические примеры. Работа может быть полезной для студентов математических факультетов при написании курсовых и дипломных работ, учителям математики при разработке факультативных занятий и элективных курсов.
Глава 1. Используемые обозначения, определения и известные результаты
X - класс групп
A - класс всех абелевых групп
N - класс всех нильпотентных групп
S - класс всех разрешимых групп
U - класс всех сверхразрешимых групп
G - класс всех конечных групп
{б | в} - множество всех б, для которых выполняется в.
G - группа
|G| - порядок группы G
e - единичный элемент группы G
E - единичная подгруппа, единичная группа
р(n) - множество всех простых делителей натурального числа n
р(G) - множество всех простых делителей порядка группы G
Z(G) - центр группы G
F(G) - подгруппа Фиттинга группы G
Ф(G) - подгруппа Фраттини группы G
G' - коммутант группы G
Soc G - цоколь группы G
CG(H) - централизатор подгруппы H в группе G
NG(H) - нормализатор подгруппы H в группе G
Aut G- группа всех автоморфизмов группы G
H ? G - H является подгруппой группы G
H < G - H является собственной подгруппой группы G
M <· G - M является максимальной подгруппой группы G
HG - H является нормальной подгруппой группы G
HG - H является субнормальной подгруппой группы G
HG - H является минимальной нормальной подгруппой группы G
G/N - факторгруппа группы G по подгруппе H
|G:H| - индекс подгруппы H в группе G
AЧB- прямое произведение подгрупп A и B
AB- полупрямое произведение нормальной подгруппы A и подгруппы B
- подгруппа, порожденная некоторым множеством элементов
[x, y] = x-1y-1xy - коммутатор элементов x, yG
AB - группы A и B изоморфны
X?цY - ц-сплетение групп X и Y
X?Y - регулярное сплетение групп X и Y
Sn- симметрическая группа степени n
An- знакопеременная группа степени n
- множество всех простых чисел
? - начало доказательства
¦ - конец доказательства
О.1.1. - первое определение в первой главе
§1. Группы и их подгруппы. Централизаторы и нормализаторы
Для того, чтобы ввести определение группы, введём определения декартового произведения множеств и бинарной алгебраической операции.
О.1.1. Декартовым произведением множеств A и B называется множество
C = {(a, b) | aA bB}, и обозначается AЧB = C. То есть, С представляет собой множество всех пар, в которых первый элемент принадлежит множеству A, а второй - множеству B.
О.1.2. Декартовым квадратом множества A называется декартово произведение самого множества A на себя, то есть AЧA = {(a1, a2) | a1, a2A}.
О.1.3. Бинарной алгебраической операцией (сокращённо б.а.о.) на множестве Х называют отображение декартова квадрата XЧX в X. Если ц: XЧX>X - бинарная алгебраическая операция на множестве X, то каждой упорядоченной паре (a, b) элементов из X соответствует однозначно определённый элемент c = ц(a, b) из X.
Бинарную алгебраическую операцию на множестве X обозначают одним из следующих значков: +, *, Ч, ·, ?,,, и т.д.
Чаще всего используют две формы записи операций: аддитивную и мультипликативную. При аддитивной форме записи операцию называют сложением и вместо c = a?b пишут c = a+b. При мультипликативной форме записи операцию называют умножением и вместо c = a?b пишут с = a•b или проще c = ab.
В дальнейшем, в данной работе мы будем пользоваться мультипликативной формой записи операции.
Теперь введём определение группы.
О.1.4. Множество G с заданной на нём бинарной алгебраической операцией (умножением) называется группой, если выполняются следующие условия:
1) заданная операция полностью определена на G, т.е. abG для любых для любых a, b G;
2) операция ассоциативна, т.е. a(bc) = (ab)c для любых a, b, c G;
3) в G существует единичный элемент, т.е. такой элемент eG, что ea = ae = a для любых aG;
4) для каждого элемента из G существует обратный элемент из G, т.е. для любого aG существует такой элемент a-1G, что aa-1 = a-1a = e.
Если операция коммутативна, т.е. ab = ba для любых a, bG, то группа называется коммутативной или абелевой.
О.1.4. Порядком группы G называется число элементов в группе и обозначается |G|=n, если группа имеет конечное число элементов и |G|=?, если группа имеет бесконечное число элементов.
В дальнейшем, в данной работе мы будем рассматривать конечные группы, т.е. группы с конечным порядком. Простейшим примером конечной мультипликативной группы может служить группа {-1, 1} с алгебраической операцией умножения. Порядок такой группы будет равен двум.
О.1.5. Подмножество H группы G называется подгруппой G, если H является группой относительно той же операции, что и группа G, и обозначается H ? G (H подгруппа G). Так же, используется обозначение H < G - H собственная подгруппа в G, т.е. H ? G и H ? G.
При выявлении подгрупп важную роль играет следующая теорема:
Теорема 1.1. (Критерий подгруппы).
Непустое подмножество H группы G является подгруппой в том, и только в том случае, когда h1h2H и h1-1H для любых h1, h2H.
О.1.6. Две группы G и G1 являются изоморфными, если существует биекция (взаимно однозначное отображение) f: G > G1 такая, что f(ab) = f(a)f(b) для любых a, bG. Запись GG1 означает, что группа G изоморфна группе G1.
О.1.7. Пусть G - группа, H - подгруппа в G и gG. Тогда множество
Hg = {hg | hH} называется правым смежным классом группы G по подгруппе H.
Аналогично определяется левый смежные класс gH = {gh | hH}.
Приведём некоторые свойства смежных классов, полагая, что G - группа, а H - её подгруппа:
Теорема 1.2.
1) H = He;
2) gHg для любого gG;
3) если aH, то Ha = H; если bHa, то Hb = Ha;
4) Ha = Hb тогда и только тогда, когда ab-1H;
5) Два смежных класса либо совпадают, либо из пересечение пусто;
6) Если H - конечная подгруппа, то |Hg| = |H| для любого gG
О.1.8. Число различных правых смежных классов группы G по подгруппе H называется индексом подгруппы H в G и обозначается |G : H|.
Теорема 1.3. (Лагранжа).
Если H - подгруппа конечной группы G, то |G| = |H||G : H|. В частности, порядок конечной группы делится на порядок каждой своей подгруппы.
О.1.9. Подгруппа H группы G называется нормальной подгруппой группы G, если xH = Hx для любых xG, и обозначается HG (H - нормальная подгруппа группы G).
В каждой группе G тривиальные подгруппы являются нормальными подгруппами.
О.1.10. Группа G называется простой, если в неединичной группе G нет других нормальных подгрупп.
Единичную группу Е считают непростой.
О.1.11. Нормальная подгруппа N группы G называется минимальной, если она не имеет нетривиальных подгрупп группы G и обозначается NG.
О.1.12. Цоколем группы G называется подгруппа, являющаяся произведением всех минимальных нормальных подгрупп группы G и обозначается Soc G.
О.1.13. Пусть Т -- непустое подмножество группы G. Совокупность всех элементов группы G, перестановочных с каждым элементом множества Т, называется централизатором множества Т в группе G и обозначается через CG(T).
О.1.14. Центром группы G называется совокупность всех элементов группы G, перестановочных с каждым элементом группы G. Центр группы G обозначается через Z(G).
Ясно, что Z(G) = CG(G), т.е. центр группы G совпадает с централизатором подмножества G в группе G. Кроме того, Z(G)=.
О.1.15. Если Т - непустое подмножество группы G и gG, то gT={gt | tT} и Tg={tg | tT}.Элемент gG называется перестановочным с подмножеством Т, если gT=Tg.
Равенство gT=Tg означает, что для любого элемента t1T существует такой элемент t2T, что gt1=t2g. Если элемент g перестановочен с подмножеством Т, то gT=Tg и T=g-1Tg=Tg.
О.1.16. Совокупность всех элементов группы G, перестановочных с подмножеством Т называется нормализатором подмножества Т в группе G и обозначается через NG(T).
И так, NG(T)={gG | gT = Tg} = {gG | Tg=T}.
О.1.17. Совокупность ={xH | xG} всех левых смежных классов группы G по нормальной подгруппе H с операцией (xH)(yH)=xyH образует группу с единичным элементом eH = H и обратным элементом (aH)-1 = a-1H. Группа G называется фактор-группой группы G по подгруппе H и обозначается G/H.
Если группа конечная, то фактор-группа любой группы G по нормальной подгруппе H так же будет группой конечного порядка, равного индексу подгруппы H в группе G, т.е. |G/H| = |G:H| = |G|/|H|.
О.1.18. Пусть H - подгруппа группы . Цепь подгрупп , в которой для любого i=1, 2, … , t, называется субнормальной (G-H)-цепью, а число t - длиной этой цепи. Наименьшее t, при котором существует хотя бы одна субнормальная (G-H)-цепь длины t, называется дефектом подгруппы H в G и обозначается через |G-H|.
О.1.19. Пусть - подгруппа группы H. Если существует хотя бы одна субнормальная (G-H)-цепь, то подгруппа называется субнормальной и означается HG.
Теорема 1.4. (Силова).
Пусть конечная группа G имеет порядок pms, где p - простое число и p не делит s. Тогда справедливы следующие утверждения:
1) в группе G существует подгруппа порядка pi для любого i = 1, 2, … , m;
2) если H - p-подгруппа и P - подгруппа порядка pm, то существует такой элемент aG, что H ? Pa;
3) любые две подгруппы порядка pm сопряжены;
4) число подгрупп порядка pm в группе G сравнимо с единицей по модулю p и делит s.
О.1.20. Силовской p-подгруппой конечной группы G называется такая
p-подгруппа, индекс которой не делится на p.
Следствие 1.1.
Пусть конечная группа G имеет порядок pms, где p - простое число и p не делит s. Тогда:
1) существует силовская p-подгруппа и её порядок равен pm;
2) каждая p-подгруппа содержится в некоторой силовской p-подгруппе;
3) любые две силовские p-подгруппы сопряжены;
4) число силовских p-подгрупп сравнимо с единицей по модулю p и делит s.
Лемма 1.1. (Фраттини)
Если K - нормальная подгруппа конечной группы G и P - силовская
p-подгруппа из K, то G=NG(P)K.
группа фиттинг класс произведение
§2. Разрешимые, сверхразрешимые, нильпотентные и холловы группы
О.1.21. Группа называется нильпотентной, если все её силовские подгруппы нормальны.
О.1.22. Группа называется нильпотентной, если обладает нормальным рядом E=G0 ? G1 ? … ? Gn = G, где GiG для всех i=0, 1, … , n-1 и Gi/Gi-1 содержится в центре группы G/Gi-1 для всех i=1, 2, … , n.
Нильпотентная группа является прямым произведением своих силовских подгрупп.
О.1.23. Коммутатором элементов a и b называется элемент a-1b-1ab, и обозначается через [a, b].
О.1.24. Подгруппа группы G, состоящая из коммутаторов всех элементов группы G называется коммутантом группы G и обозначается G'.
О.1.25. Для группы G можно построить цепочку коммутантов:
G ? G' ? G” ? … G(i) ? G(i+1) ? … Если существует номер n, такой что G(n)=E, то группа G называется разрешимой. Наименьшее натуральное число n, для которого G(n)=E, называется производной длиной группы G и обозначается через d(G).
О.1.26. Группа называется разрешимой, если она обладает нормальным рядом E=G0 ? G1 ? … ? Gn = G, где GiG для всех i=0, 1, … , n-1 и факторы Gi/Gi-1 абелевы для всех i=1, 2, … , n.
О.1.27. Группа, которая не является разрешимой называется неразрешимой.
О.1.28. Группа G называется сверхразрешимой, если она имеет нормальный ряд с циклическими факторами, то есть E ? G0 ? G1 ? … ? Gn-1 ? Gn = G, где GiG для любого i, i=0, …, n и Gi/Gi-1 - фактор-группы, i=1, …, n.
Пусть - множество всех простых чисел, а р - некоторое множество простых чисел, т.е. р. Дополнение к р на множестве будем обозначать через р', т.е. р'=\р.
Также, будем использовать функцию р(m) - множество всех простых чисел, делящих натуральное число m. Если G - группа, то вместо р(|G|) будем писать р(G).
О.1.29. Зафиксируем множество простых чисел р. Если р(m)р, то число m называется р-числом.
О.1.30. Подгруппа H группы G называется р-подгруппой, если |H| есть р-число.
О.1.31. Подгруппа H называется р-холловой подгруппой, если |H| является
р-числом, а индекс |G:H| - р'-числом.
О.1.32. Подгруппа H группы G называется холловой подгруппой, если H -
р-холлова подгруппа для некоторого множества р.
Другими словами, H является холловой подгруппой в том, и только в том случае, когда (|H|,|G:H|)=1, т.е. порядок H взаимно прост с индексом группы G по подгруппе H.
§3. Прямое, полупрямое произведения и сплетение групп
О.1.33. Пусть G - группа, A и B - подгруппы группы G. Произведение G=AB={ab | aA, bB} называется прямым произведением своих подгрупп A и B, если A и B нормальны в G и AB=E, и обозначается G=AЧB.
О.1.34. Пусть A нормальная подгруппа группы G и B - такая подгруппа группы G, что A?B=E и G=A·B. Тогда группа G называется полупрямым произведением нормальной подгруппы A и подгруппы B, и обозначается G=AB.
Элементы из B через сопряжённость индуцируют автоморфизмы на группе A.
О.1.35. Пусть X и Y - группы и ц - представление группы Y перестановками на множестве Щ. Группа X?цY={(f, ц(y))| yY, f - отображение Щ в X} с операцией умножения (f1, ц(y1))·(f2, ц(y2))=(g, ц(y1y2)), где g(i)=, iЩ называется ц-сплетением групп X и Y.
Операция умножения ассоциативна, элемент (e, eЩ) с e(i)=1X для всех iЩ является единичным элементом группы X?цY, и обратным к элементу (f, ц(y)) является элемент (h, ц(y-1)) c h(i)=, iЩ.
Пусть |Щ|=n. Тогда ц-сплетение X?цY обладает нормальной подгруппой X*=X1ЧX2Ч…ЧXn с Xi={(f, eЩ) | f(j)=1 для j?i}X и Y1={(e, ц(y)) | yY, e(i)=1X для любого iЩ} является дополнением к X* в X?цY, причём Y1Y, |X?цY|=|X|n·|Y|, при трансформировании элементом y1=(e, ц(y))Y1 прямые сомножители из X* переставляются следующим образом . Отождествляя Y1 с Y, получим X?цYX*Y и для любого yY.
О.1.36. Группа X* называется базой сплетения X?цY.
О.1.37. Сплетение X?цY называется регулярным или стандартным, если ц - регулярное представление Y, и коротко записывается X?Y.
Тогда |X?Y|=|X||Y|·|Y|.
Если Z - подгруппа группы Y, то X*ZX?ц|ZZ, где ц|Z - ограничение ц на Z. Для регулярного сплетения имеем X*Z(XЧXЧ…ЧX)?Z, где X берётся сомножителем |Y:Z| раз.
Пусть U - подгруппа группы X и U*=. Тогда U*YU?цYX?цY. Если U - нормальная подгруппа группы X, то U* является нормальной подгруппой группы X?цY и (X?цY)/U*(X/U)?цY.
Если конечная группа G является расширением группы X с помощью группы Y, то сплетение X?Y содержит подгруппу изоморфную группе G.
Глава 2. Классы Фиттинга и их свойства
§1. Простейшие свойства классов Фиттинга
В этом параграфе мы приводим определение классов групп, классов Фиттинга и простейшие свойства классов Фиттинга.
О.2.1. Класс групп - это множество групп, которое вместе с каждой своей группой содержит все изоморфные ей группы. Например, A - класс всех абелевых групп, G - класс всех конечных групп.
О.2.2. Если X и F классы групп, причём FX, то F называют подклассом класса X, или, коротко, X-классом.
Если р - некоторое множество простых чисел и X - класс групп, то через Xр обозначается класс всех р-групп из X. Xр=XGр. Группы из класса Xр называют также р-группами.
О.2.3. Класс X называется нормально наследственным или классом, замкнутым относительно нормальных подгрупп, когда выполняется требование: если GX и NG, то NX.
Очевидно, что если класс X замкнут относительно нормальных подгрупп, то X замкнут относительно субнормальных подгрупп, т.е. если GX и NG, то NX.
О.2.4. Класс X называется замкнутым относительно произведений нормальных подгрупп, когда выполняется требование: если N1, N2G и N1, N2X, то N1N2X.
О.2.5. Классом Фиттинга называется класс X, замкнутый относительно нормальных подгрупп и произведений нормальных X-подгрупп. Класс Фиттинга называется так же радикальным, а формацию, являющуюся классом Фиттинга - радикальной.
Теорема 2.1.
Если класс X замкнут относительно произведения нормальных X-подгрупп, то каждая субнормальная X-подгруппа группы G содержится в некоторой нормальной X-подгруппе.
? Пусть H - субнормальная X-подгруппа группы G. Применим индукцию по индексу |G : H|. Заметим, что H ? NG(H) и NG(H) ? G. Выберем подгруппу L в группе G, обладающую следующим свойством: подгруппа L порождается всеми субнормальными подгруппами X группы G такими, что H ? X ? NG(H).
Ясно, что H ? L ? NG(H). Так как подгруппа, порождённая субнормальными подгруппами является субнормальной подгруппой, то L субнормальна и существует субнормальная подгруппа M в группе G такая, что LM и M ? L. По выбору L подгруппа M не содержится в NG(H). Значит, существует элемент xM\NG(H). Ясно, что H?Hx, HxX и Hx - субнормальная подгруппа группы G. Поскольку HL, то HxLx = L. Теперь HHx - подгруппа группы L и HHxX согласно второму требования определения класса Фиттинга. Кроме того, HHx ?H, поэтому к подгруппе HHx применима индукция. По индукции в группе G существует нормальная подгруппа N такая, что NX и HHx ? N. Значит, H ? N. ¦
Следствие 2.1.
Пусть класс X замкнут относительно произведения нормальных X-подгрупп. Если H1, H2 - субнормальные X-подгруппа группы G, то H1, H2 - субнормальная X-подгруппа.
? Пусть M =H1, H2. По теореме 2.1. в группе М существуют нормальные
X-подгруппы N1 и N2 такие, что H1 ? N1, H2 ? N2. Согласно второму требования определения класса Фиттинга произведение N1N2X. Поэтому
М=H1, H2? N1N2 ? М и М = N1N2X. ¦
Следствие 2.2.
Пусть класс X замкнут относительно произведения нормальных X-подгрупп. Если Н - субнормальная X-подгруппа группы G, то НGX.
? Подгруппа НG порождается всеми сопряжёнными с Н подгруппами группы G, т.е. НG =Hg | gG. На основании следствия 2.1. получаем, что НGX. ¦
Пусть X - класс Фиттинга. Произведение всех нормальных X-подгрупп группы G называется X-радикалом группы G и обозначается через GX. Ясно, что X-радикал GX является наибольшей нормальной подгруппой группы G, содержащейся в X.
Лемма 2.1.
Пусть X - класс Фиттинга, G - группа и HG. Подгруппа HX тогда и только тогда, когда H ? GX.
? Необходимость. Пусть HG и HX. По следствию 2.2. из теоремы 2.1. получаем, что H ? HGX и HG ? GX.
Достаточность. Пусть HG и H ? GX. Так как GXX и X - класс Фиттинга, то HX. ¦
Лемма 2.2.
Если X - класс Фиттинга и NG, то NX = GX?N.
? Так как GX?NGX и GXX, то GX?NX. Поскольку GX?NN, то GX?NNX.
Обратно, NXNG, поэтому NXG и NXGX согласно лемме 2.1.
Итак, GX?N = NX. ¦
Лемма 2.3.
Пусть группа G содержит нормальную подгруппу N индекса p, где p - простое число. Если Z - циклическая группа порядка p, то прямое произведение GЧZ содержит нормальную подгруппу K, изоморфную G и отличную от G.
? Так как (GЧZ)/N, где - элементарная абелева группа порядка p2, то в (GЧZ)/N существует p2-1 элементов порядка p, которые распадаются на
(p2-1)/(p-1) = p+1 подгрупп порядка p. Поэтому в (GЧZ)/N существует подгруппа K/N порядка p такая, что K/N ? G/N и Z не является подгруппой в K. Подгруппа K нормальна в группе GЧZ, K?G. Кроме того, GЧZ=KЧZ и (GЧZ)/ZG(KЧZ)/ZK. ¦
Лемма 2.4.
Если F - класс X-класс Фиттинга, то класс F замкнут относительно субнормальных подгрупп.
? Пусть GF и H - субнормальная подгруппа группы G. Тогда существует конечная (G-H)-цепь подгрупп G=G0G1…Gk=H, такая, что Gi нормальна в Gi-1 для любого i=1, 2, … , k. Индукцией по длине цепи k докажем, что HF. Если k=1, то H нормальна в G и по О.2.5. получим, что HF. Пусть k>1. Так как G1 нормальна в G, то G1F. Далее, H субнормальна в G1, причём существует субнормальная (G1-H)-цепь длины k-1. Тогда по индукции HF. Лемма доказана. ¦
Лемма 2.5.
Пусть F - G-класс Фиттинга. Если Hi является субнормальной F-подгруппой конечной группы G для любого i=1, 2, … , t , то Hi | i=1, 2, … , tF.
? Допустим, что группа G - контрпример минимального порядка. Пусть
K=Hi | i=1, 2, … , t. Тогда Hi субнормальна в K. Если |K|<|G|, то по индукции KF. Пусть G=K. Так как Hi субнормальна в G, то в G существует нормальная подгруппа Gi такая, что HiGiG для любого i=1, 2, … , t. Тогда Hig является
F-подгруппой и субнормальна в Gi для любого gG и любого i=1, 2, … , t. Так как |Gi|<|G|, то по индукции Hig | gG=HiGF. Значит
G=Hi | i=1, 2, … , tHiG | i=1, 2, … , tF. Так как HiGGiG, то
G=HiG | i=1, 2, … , t, и, значит, Hi | i=1, 2, … , tF. Лемма доказана. ¦
Теорема 2.2.
Пусть F - S-класс Фиттинга. Если pр(F), то F содержит все конечные
p-группы, т.е. NpF.
? Так как pр(F), то в F существует группа G такая, что p | |G|. Тогда G обладает композиционным фактором H/K порядка p. По лемме 2.4. HF. Рассмотрим группу B=HA, где |A|=p. Так как B/K - элементарная абелева группа порядка p2, то B/K содержит p+1 подгруппу порядка p. Пусть H1/K - подгруппа порядка p из B/K, отличная от H/K и AK/K. Тогда B=H1A и H?H1. Так как HB/AH1, то HH1, и, значит, H1F. Далее B=H·H1, и, значит, по О.2.5. BF. Так как A нормальна в B, то AF. Следовательно, F содержит все группы порядка p. Покажем, что F содержит циклическую p-группу порядка pn для любого n. Предположим, что F содержит циклическую группу C порядка
pn-1. Рассмотрим сплетение D=C?A, которое является расширением прямого произведения p циклических групп порядка pn-1 с помощью группы порядка p.
Тогда группа D порождается p+1 подгруппой, каждая из которых субнормальна в D и принадлежит F. Тогда по лемме 2.5. DF. Пусть D=, где |Ci|=pn-1 для любого i=1, 2, … , p, |a|=p, Cia=Ci+1 для любого i=1, 2, … , p-1 и Cpa=C1. Рассмотрим элемент C=C1a-1. Тогда
C2=C1a-1·C1a-1=C1C2a-2; C3=C1C2a-2·C1a-1=C1C2C1a2a-3=C1C2C3a-3 и
Cp=C1C2…Cp. Отсюда следует, что |C|=pn. Следовательно, D содержит циклическую группу L порядка pn. Так как L субнормальна в D и DF, то по лемме 2.4. LF. Следовательно, F содержит все конечные циклические
p-группы. Так как любая конечная p-группа P порождается конечным числом циклических p-подгрупп, которые субнормальны в P и принадлежат F, то по лемме 2.5. PF. Следовательно, NpF. Теорема доказана. ¦
§2. F-радикалы и F-инъекторы. Нормальные классы Фиттинга
В этом параграфе мы рассмотрим некоторые приложения классов Фиттинга к теории групп. В частности, установим существование и сопряжённость в конечной разрешимой группе F-инъекторов для любого непустого класса Фиттинга F.
Так же, мы обзорно рассмотрим некоторые свойства нормальных классов Фиттинга, занимающих важное место в теории радикальных классов.
1. F-радикалы и F-инъекторы
Для изложения этого пункта нам потребуются некоторые сведения из теории формаций.
О.2.6. Класс групп F называется формацией, если выполняются следующие условия:
1) каждая фактор-группа любой группы из F так же принадлежит F;
2) из H/AF, H/BF всегда следует H/A?BF.
О.2.7. Пусть F - непустая формация групп. Обозначим через GF и назовём
F-корадикалом группы G пересечение всех нормальных подгрупп M из G таких, что G/MF.
О.2.8. Пусть F - непустой класс групп. F-подгруппа H группы G называется F-проектором в G, если из HUG и U/U0F всегда следует, что U=H·U0.
О.2.9. Подгруппа K группы G называется подгруппой Картера (или картеровской подгруппой), если K нильпотентна и NG(K)=K.
Теорема 2.3.
Для любой конечной разрешимой группы G справедливы утверждения:
а) множество подгрупп Картера группы G совпадает с множеством всех
N-проекторов группы G.
б) G обладает по крайней мере одной подгруппой Картера и любые две из них сопряжены в G.
О.2.10. Пусть F - непустой X-класс Фиттинга. F-радикалом X-группы G называется группа GF, порождённая всеми нормальными F-подгруппами из G.
Лемма 2.6.
Пусть F является X-классом Фиттинга, К - нормальная X-подгруппа
X-группы G. Тогда справедливы следующие утверждения:
а) GF является характеристической F-подгруппой группы G.
б) KF= GF?K.
? а) Пусть F является X-классом Фиттинга и G есть X-группа. Если N - нормальная F-подгруппа группы G и ц - автоморфизм G, то NцN, и, значит, Nц является нормальной F-подгруппой группы G. Если J является множеством всех нормальных F-подгрупп группы G, то GF=N | NJ. Так как Nц пробегает всё множество J, когда N пробегает всё множество J, то GFц=Nц | NJ=GF, то GF является характеристической подгруппой в G, причём по О.2.3. GFF.
б) Пусть K - нормальная X-подгруппа X-группы G. Так как GF?K нормальна в GF и GFF, то в силу замкнутости F относительно нормальных подгрупп, получим GF?KF. Далее GF?K нормальна в K и GF?KF, значит по О.2.3. GF?KKF. Так как KF характеристична в K, то KF нормальна в G. Далее KFF. Следовательно, по О.2.3. KFGF, и, значит, KFGF?K. Из включений GF?KKF и KFGF?K следует, что KF=GF?K. ¦
О.2.11. Пусть X - класс групп. Подгруппа H группы G называется
X-максимальной в G, если HX и не существует X-подгруппы K в G, такой, что HK.
О.2.12. Пусть X - класс групп. Подгруппа V группы G называется
X-инъектором в G, если для любой субнормальной подгруппы N в группе G пересечение V?N является X-максимальной подгруппой в N.
Лемма 2.7.
Пусть X - класс групп и б - автоморфизм группы G. Тогда справедливы следующие утверждения:
а) если V является X-инъектором группы G, то и Vб тоже является
X-инъектором группы G.
б) если V является X-максимальной подгруппой группы G, то и Vб тоже является X-максимальной подгруппой группы G.
? а) Пусть N - субнормальная подгруппа группы G. Так как V является
X-инъектором в G, то по О.2.12. V?N является X-максимальной подгруппой группы N. Тогда (V?N)б= Vб?Nб является X-максимальной подгруппой группы Nб. Действительно, допустим, что существует X-подгруппа H в Nб такая, что (V?N)бHNб. Так как б - автоморфизм группы G, то б-1 тоже является автоморфизмом группы G. Следовательно, или . Так как H и HX, то X, что противоречит тому, что V?N является X-максимальной подгруппой в N. Следовательно, Vб?Nб является X-максимальной подгруппой в Nб. Так как Nб пробегает все субнормальные подгруппы группы G, когда N пробегает все субнормальные подгруппы группы G, то Vб является X-инъектором группы G.
б) Пусть V является X-максимальной подгруппой группы G. Полагая в пункте а) N=G получим, что Vб является X-максимальной подгруппой группы Gб=G. ¦
Лемма 2.8.
Пусть F - непустой класс Фиттинга в G, G - конечная разрешимая группа, N - нормальная группа в G, такая, что G/N нильпотентна. Если W является
F-максимальной подгруппой в N, а V1 и V2 являются F-максимальными подгруппами в G с WV1?V2 , то V1 и V2 сопряжены в G.
? Допустим, что группа G - контрпример минимального порядка. Так как ViF, i=1, 2 и N?Vi нормальна в Vi , то N?ViF для любого i=1, 2. По условию WN?Vi для любого i=1, 2. Так как W является максимальной F-подгруппой группы N, то N?V1=W=N?V2.
Предположим, что W не является нормальной подгруппой в G. Тогда T=NG(W) является собственной подгруппой группы G, причём V1 , V2T. Так как TN/NG/N, то TN/N нильпотентна. Следовательно, T/T?NTN/N нильпотентна. Далее, V1 и V2 являются F-максимальными подгруппами группы T, и W является максимальной подгруппой в T?N. Так как |T|<|G|, то по индукции V1 и V2 сопряжены в группе T, а значит, сопряжены и в группе G. Получили противоречие.
Следовательно, W нормальна в G. Пусть Mi/W=NG/W(Vi/W) и Сi/W - подгруппа Картера группы Mi/W, i=1, 2. Так как MiN/NMi/Mi?N нильпотентна, то существует натуральное число r - класс нильпотентности группы G/N такое, что = Mi?N/Mi?N.
Отсюда следует, что Mi?N. Так как Vi нормальна в Mi , то
[Vi , Mi]Vi и Vi?(Mi?N)=Vi?N=W, i=1, 2. Следовательно, =W/W, и, значит, Vi/W содержится в гиперцентре группы Mi/W, i=1, 2. Так как подгруппа картера Ci/W группы Mi/W самонормализуема в Mi/W, то Z(Mi/W)Ci/W и индукцией по длине нильпотентности нетрудно показать, что и гиперцентр группы Mi/W содержится в подгруппе Картера Ci/W, i=1, 2. Следовательно, Vi/WCi/W, причём Vi нормальна в Ci, i=1, 2. Покажем, что Ci/W, i=1, 2 является подгруппой Картера группы G/W. Пусть XNG(Gi), т.е. Cix=Ci, i=1, 2. Тогда VixCixCi. Так как Vi, VixF и Vi, Vix нормальны в Ci, то ViVixF, i=1, 2. Так как Vi является F-максимальной подгруппой в G, то ViVix=Vi, и, значит, Vix=Vi, т.е. xNG(Vi). Следовательно, xWMi/W. Так как Ci/W самонормализуема в Mi/W и (Ci/W)xW=Cix/W=Ci/W, то xCi, i=1, 2. Следовательно, Ci/W самонормализуема в G/W, и, значит, Ci/W является подгруппой Картера группы G/W для любого i=1, 2. Тогда по теореме 2.3. Сi/W и C2/W сопряжены в G/W. Следовательно, существует элемент yWG/W такой, что (C1/W)yW=C2/W. Тогда C1y=C2, где yG, и, значит, V1yC1yC2. Так как V2 и V1y являются нормальными F-подгруппами группы C2, то V2V1yF. По условию V2 является F-максимальной подгруппой группы G. Следовательно, V2V1y=V2 . Отсюда следует, что V1yV2. Так как V1 является F-максимальной подгруппой группы G, то по лемме 2.6 V1y тоже является F-максимальной подгруппой группы G. Тогда V1y =V2, где yG, и, значит, V1 и V2 сопряжены в G. Получили противоречие. Лемма доказана. ¦
Теорема 2.3.
Пусть F - непустой класс Фиттинга в G. Если G - конечная разрешимая группа, то G обладает F-инъекторами и любые два F-инъектора группы G сопряжены в G.
? Допустим, что группа G - контрпример минимального порядка. Тогда |G|>1. Пусть M - собственная нормальная подгруппа группы G, такая, что G/M - нильпотентная группа. Так как |M|<|G|, то по индукции в M существует
F-инъектор U, и любые два F-инъектора группы M сопряжены в M. Пусть V1 - F-максимальная подгруппа группы G, содержащая U. Покажем, что V1 является F-инъектором группы G. Для этого достаточно показать, что V1?G1 является
F-инъектором группы G1 для любой максимальной нормальной подгруппы G1 группы G. В самом деле, если H субнормальна в G, то H субнормальна в некоторой максимальной нормальной подгруппе G1 группы G. Тогда (V1?G1)?H=V1?H - F-максимальная подгруппа группы H, и, значит, V1 является F-инъектором группы G. Следовательно, осталось показать, что V1?G1 -
F-инъектор группы G1. Пусть N=G1?M. Так как G/MN, G/G1N и N является формацией, то G/M?G1?N, то есть G/N является нильпотентной группой. Так как |G1|<|G|, то по индукции в G1 существует F-инъектор V, и любые два
F-инъектора группы G1 сопряжены в G1. Тогда V?N и U?N являются
F-максимальными подгруппами группы N. Пусть N1 субнормальна в N. Тогда N1 субнормальна в G1. Так как V является F-инъектором группы G1, то по О.2.12. V?N1=(V?N)?N1 является F-максимальной в N1. Поэтому V?N является
F-инъектором группы N. Аналогично U?N - F-инъектор группы N. Так как по индукции любые два F-инъектора группы N сопряжены в N, то существует aN такой, что U?N=(V?N)a=Va?N. Так как V1?N нормальна в V1 и V1F, то V1?NF, причём U?NV1?N. Учитывая, что U?N является F-максимальной подгруппой в N, получим U?N=V1?N=W. Пусть V2 F-максимальная подгруппа группы G, содержащая Va. Так как G/N нильпотентна, W - F-инъектор группы N, а V1 и V2 являются F-максимальными подгруппами группы G, такими, что WV1?V2, то по лемме 2.8. V1 и V2 сопряжены в G. Следовательно, V1x=V2 для некоторого x из G. Тогда (V1?G1)x=V1x?G1=V2?G1=Va, и, значит, V1?G1=. Так как V является F-инъектором группы G1 и элемент ax-1 индуцирует через сопряжение автоморфизм группы G1, то по лемме 2.7. является
F-инъектором группы G1, и, значит, V1?G1 является F-инъектором группы G. Получили противоречие.
Пусть W1 и W2 являются F-инъекторами группы G. Докажем, что W1 и W2 сопряжены в G. Так как M нормальна в G, то по О.2.12. Wi?M, i=1, 2 является
F-максимальной подгруппой группы M. Если L субнормальна в M, то L субнормальна в G, и, значит, L?Wi=L?(Wi?M), i=1, 2 является F-максимальной подгруппой группы L. Следовательно, W1?M и W2?M являются F-инъекторами группы M. Так как |M|<|G|, то по индукции W1?M и W2?M сопряжены в M. Следовательно, (W1?M)y=W2?M, где yM. Тогда W1y?M=W2?M. Так как W1y и W2 являются F-максимальными подгруппами группы G, G/M нильпотентна и V2?M - F-инъектор группы M, то по лемме 2.8. W1y и W2 сопряжены в G, а значит W1 и W2 сопряжены в G. Получили противоречие. Теорема доказана. ¦
Следствие 2.3.
Пусть F - непустой класс Фиттинга в G и E=G0G1…Gn=G - субнормальный ряд конечной группы G, такой, что Gi+1/Gi - нильпотентная группа для любого i=0, 1, 2, … , n-1. Подгруппа V группы G тогда и только тогда является F-инъектором в G, когда V?Gs F-максимальная подгруппа группы Gs для любого s=0, 1, 2, … , n.
? Необходимость. Пусть V является F-инъектором группы G. Тогда по О.2.12. V?Gs является F-максимальной подгруппой группы Gs для любого s=0, 1, 2,…, n.
Достаточность. Пусть V?Gs является F-максимальной подгруппой группы Gs для любого s=0, 1, 2, … , n. Если |G|=1, то V=G является F-инъектором группы G. Поэтому |G|?1. Можем считать, что |Gn-1|<|G|. Тогда по индукции V?Gn-1 является F-инъектором группы Gn-1. По теореме 2.3. существует F-инъектор W. Тогда W?Gn-1 является F-инъектором группы Gn-1. По теореме 2.3. V?Gn-1=(W?Gn-1)a, где aGn-1. Далее (W?Gn-1)a=Wa?Gn-1 и по лемме 2.7. Wa является F-инъектором группы G. По лемме 2.8. V и Wa сопряжены в группе G, то по лемме 2.6. V тоже является F-иньектором G. Следствие доказано. ¦
Следствие 2.4.
Пусть F - непустой класс Фиттинга в G. Если V является F-инъектором конечной разрешимой группы G и VHG, то и V является F-инъектором группы H.
? Пусть V - F-инъектор конечной разрешимой группы G и VHG. Пусть E=G0G1…Gn=G - субнормальный ряд группы G, такой, что Gi+1/Gi - нильпотентная группа для любого i=0, 1, 2, … , n-1. Тогда V?Gs является
F-инъектором группы Gs для любого s=0, 1, 2,… , n. Пусть Hs=Gs?H, s=0, 1, 2,… , n. Тогда E=H0H1…Hn=H является субнормальным рядом группы H, причём Hi+1/Hi=Gi+1?H/Gi?H(Gi+1?H)Gi/Gi - нильпотентная группа для любого i=0, 1, 2, … , n-1. Так как V?Hs=V?Gs?H=V?Gs - является F-максимальной подгруппой группы Gs , а значит и Hs для любого s=0, 1, 2, … , n, то по следствию 2.3. V является F-инъектором группы H. Следствие доказано. ¦
2. Нормальные классы Фиттинга
О.2.13. Пусть X - класс групп. Непустой X-класс Фиттинга F называется нормальным, если любая X-группа обладает нормальным F-инъектором.
Лемма 2.9.
Пусть U является группой нечётного порядка, V - нормальная подгруппа из U, ц - автоморфизм группы U, который оставляет каждый элемент U/V неподвижным. Для того, чтобы ц являлась чётной как перестановка на U необходимо и достаточно, чтобы ц являлась чётной как перестановка на V.
Теорема 2.4.
Пусть G0={G | GG и внутренние автоморфизмы группы G индуцируют лишь чётные перестановки на О(G)}. Тогда G0 является нормальным классом Фиттинга в G, причём E?G0?G.
Следствие 2.5.
Пусть S0={G | GS и внутренние автоморфизмы группы G индуцируют лишь чётные перестановки на О(G)}. Тогда S0 является нормальным классом Фиттинга, причём E?S0?S.
Лемма 2.10.
Пусть F - нормальный S-класс Фиттинга, E?GF и Z - группа порядка p, где pP. Тогда существует натуральное число m такое, что для всех натуральных n имеем ?ZF.
Лемма 2.11.
Пусть F - X-класс Фиттинга, G - X-группа с нормальными X-подгруппами N1, N2, … , Nr и G=N1N2…Nr. Тогда GF/(N1)F(N2)F…(Nr)FZ(G/(N1)F(N2)F…(Nr)F).
Лемма 2.12.
Пусть N - нормальная абелева подгруппа ц-сплетения X?цY, где ц является точным представлением группы Y перестановками на множестве Щ. Если NX*= и в X?цY имеется элемент kX* такой, что (Nx*)k=Nx* для всех x*X*, то группа X абелева.
Теорема 2.5.
Если F - неединичный нормальный S-класс Фиттинга, то NF.
§3. Произведение классов Фиттинга
В этом параграфе мы рассмотрим как их двух G-классов Фиттинга можно построить новый G-класс Фиттинга с помощью радикального произведения классов групп, а так же рассмотрим некоторые основные свойства таких произведений.
О.2.14. Пусть X и L - непустые классы групп и Z - непустой X-класс Фиттинга. Класс групп Z?L = {G | GX, G/GZL} назовём радикальным произведением классов Z и L в классе X. Полагаем Z?L = , если хотя бы один из классов Z или L является пустым.
Теорема 2.6.
Пусть Z, L и V являются G-классами Фиттинга. Тогда справедливы следующие утверждения:
а) Z?L является G-классом Фиттинга;
б) если L?, то ZZ?L;
в) если Z ? ? L и GG, то GZ?L/GZ = (G/GZ)L;
г) (Z?L)?V=Z?(L?V)
? а) Пусть Z ? ? L, GZ?L и K нормальна в G. Так как GG, то KG. Тогда по лемме 2.6.б) KZ=GZ?K, и, значит, K·GZ/GZK/K?GZ=K/KZ. Так как K·GZ/GZ нормальна в G/GZ и по О.2.14. G/GZL, то в силу замкнутости класса L относительно нормальных подгрупп следует, что K·GZ/GZL, и, значит, K/KZL. Тогда по О.2.14 следует, что KZ?L, и, значит, класс Z?L является замкнутым относительно нормальных подгрупп.
Пусть KiZ?L и Ki нормальна в группе GG для любого i=1, 2, … , t и G=K1K2…Kt. По лемме 2.6.б) (Ki)Z=GZ?Ki. Тогда Ki·GZ/GZKi/Ki?GZ. Так как KiZ?L, то по О.2.14. Ki/(Ki)ZL, и, значит, KiGZ/GZL для любого i=1, 2, … , t. Рассмотрим фактор-группу G/GZ. Так как G/GZ=K1GZ/GZ·K2GZ/GZ·…·KtGZ/GZ, и класс L замкнут относительно произведения нормальных подгрупп, то G/GZL, и, значит, по О.2.14. GZ?L. Следовательно, класс Z?L является замкнутым относительно произведения нормальных подгрупп. Тогда по О.2.5. класс Z?L является G-классом Фиттинга.
б) Пусть L? и GL. Так как единичная подгруппа E нормальна в G и класс L замкнут относительно нормальных подгрупп, то EL. Пусть BZ. Тогда BZ=B и EB/BZL. Следовательно, по О.2.14. BZ?L, и, значит, ZZ?L.
в) Пусть Z ? ? L и GG. По лемме 2.6.а) GZ и GZ?L являются характеристическими подгруппами группы G, причём GZZ и GZ?LZ?L. В силу О.2.7. имеем GZGZ?L. По лемме 2.6.б) GZ является Z-радикалом группы GZ?L. Тогда по О.2.14. GZ?L/GZL. Так как GZ?L/GZ нормальна в группе =G/GZ, то GZ?L/GZ. Пусть =R/GZ. Так как R нормальна в G, то по лемме 2.6.б) RZ=GZ. Теперь из R/RZL и по О.2.14. следует, что RZ?L. Тогда RGZ?L, и, значит, GZ?L/GZ=, т.е. GZ?L/GZ=(G/GZ)L.
г) Пусть F1=(Z?L)?V и F2=Z?(L?V). Если хотя бы один из классов Z или L, или V является пустым, то F1= и F2=, и, значит, F1=F2. Поэтому будем считать, что ни один из классов Z, L и V не является пустым.
Пусть GF1. Тогда по О.2.14. имеем G/GZ?LV. Так как (G/GZ)/(GZ?L/GZ)G/GZ?LV и по в) GZ?L/GZ=(G/GZ)LL, то по О.2.14. G/GZL?V, и, значит, GZ?(L?V)=F2. Следовательно, F1F2.
Пусть HF2. Тогда по О.2.14. =H/HZL?V. Так как /=(H/HZ)/(H/HZ)LV и по в) (H/HZ)L=HZ?L/HZ, то
(H/HZ)/(HZ?L/HZ)H/HZ?LV. Тогда по О.2.14. H(Z?L)?V=F1. Следовательно, F2F1. Из включений F1F2 и F2F1 следует, что F1=F2. Теорема доказана. ¦
Следствие 2.6.
Если Z, L, V являются S-классами Фиттинга, то Z?L является S-классом Фиттинга, и (Z?L) ?V=Z?(L?V).
? Так как Z, L, V являются S-классами Фиттинга, то они являются
G-классами Фиттинга. Тогда по теореме 2.6. Z?L является G-классом Фиттинга и (Z?L) ?V=Z?(L?V). Так как расширение разрешимой группы с помощью разрешимой является разрешимой группой, то Z?LS, и, значит, Z?L является S-классом Фиттинга. Следствие доказано. ¦
Теорема 2.7.
Если Z и L являются нормальными G-классами Фиттинга, то Z?L является нормальным G-классом Фиттинга.
? По теореме 2.6.а) F=Z?L является G-классом Фиттинга. Пусть GG и V является F-инъектором группы G. Покажем, что подгруппа V нормальна в G. Так как GF нормальна в G и GFF, то по О.2.12. GFV. По теореме 2.6.б) ZZ?L, и, значит, GZGFV. Так как Z является нормальным G-классом Фиттинга, то GZ является Z-инъектором группы G и GZ является Z-максимальной подгруппой группы G. Далее, GZVZZ, и, значит, GZ=VZ. Так как VF=Z?L, то V/VZL. Рассмотрим группу =G/GZ. По теореме 2.6.в) =GF/GZ. Так как L является нормальным G-классом Фиттинга, то является L-инъектором группы , и, значит, является L-максимальной подгруппой группы . Далее, GF/GZV/VZL. Следовательно, GF/GZ=V/GZ, и, значит, V=GF нормальна в G. Теорема доказана. ¦
Теорема 2.8.
Если Z и L являются нормальными S-классами Фиттинга, то Z?L является нормальным S-классом Фиттинга.
? По следствию 2.6. F=Z?L является S-классом Фиттинга. Пусть GS и V является F-инъектором группы G. Тогда так же как и при доказательстве теоремы 2.7. можно показать, V=GF. Следовательно, F является нормальным
S-классом Фиттинга. Теорема доказана. ¦
§4. Практические примеры
В данном параграфе мы рассмотрим несколько примеров на нахождение F-радикалов и F-инъекторов групп для конкретных F и конкретных групп.
Пример 1. Для группы G = A4 найти N-радикал и N-инъектор.
Группа A4 - знакопеременная группа подстановок четвёртой степени.
Порядок |A4|=12. Построим для группы A4 композиционные ряды (композиционный ряд - это субнормальный ряд без повторений, не допускающий дальнейшего уплотнения):
EVA4; EVA4; EVA4 , где , и - группы порядка 2, порождаемые элементами a, b и ab соответственно.
Выпишем все нормальные нильпотентные подгруппы в A4. Это будут V и E, где V - четверная группа Клейна порядка 4. Сама группа A4 не является нильпотентной. Понятно, что в этом случае N-радикалом группы A4 будет являться группа V.
Далее, выпишем все неединичные нильпотентные подгруппы в A4. Это будут группы порядков 4, 3 и 2. Проверим, какие из этих групп будут являться
N-инъекторами в группе A4.
Очевидно, что при пересечении подгрупп порядка 2 с A4 мы не получим
N-максимальных подгрупп в A4, так как они будут собственно содержаться в
N-подгруппе V.
Рассмотрим группу G3 порядка 3. G3?V=E. E не является N-максимальной подгруппой в V, такой подгруппой является V.
Теперь проверим группу V. V?A4=V, V?V=V, V?Z2 = Z2, где Z2 - любая из субнормальных подгрупп порядка 2 в A4. Группа G3 не является субнормальной в A4 , поэтому она не подлежит проверке. Мы пришли к выводу, что все пересечения с V образуют N-максимальные подгруппы в соответствующих субнормальных подгруппах A4. Следовательно, группа V является N-инъектором группы A4.
Пример 2. Для группы G = S3 найти N-радикал и N-инъектор.
S3 - симметрическая группа подстановок третьей степени.
Порядок |S3|=6. Построим для группы S3 композиционный ряд: EG3S3.
Выпишем все нормальные нильпотентные подгруппы в S3. Это будут G3 и E, где G3 группа порядка 3. Сама группа S3 не является нильпотентной. Понятно, что N-радикалом группы S3 будет являться группа G3.
Выпишем все неединичные нильпотентные подгруппы в S3. Это будут группы порядков 3 и 2. Проверим, какие из этих групп будут являться N-инъекторами в группе S3. G2?G3=E, где G2 - группа порядка 2. E не является N-максимальной подгруппой в G3, так как такой подгруппой является сама G3. Следовательно, G2 не является N-инъектором группы S3.
Проверим подгруппу G3: G3?S3=G3, G3?G3=G3, G3?E=E, т.е. при пересечении субнормальных подгрупп из S3 с G3 мы получаем N-максимальные подгруппы в соответствующих подгруппах. Следовательно, G3 будет являться N-инъектором в группе S3.
Пример 3. Для группы G = S4 найти N-радикал и N-инъектор.
S4 - симметрическая группа подстановок четвёртой степени.
Порядок |S4|=24. Построим для группы S4 композиционные ряды:
EVA4S4; EVA4S4; EVA4S4.
Выпишем все нормальные нильпотентные подгруппы в S4. Это будут группы E и V, где V - четверная группа Клейна. Сама группа S4 и ее нормальная подгруппа A4 не являются нильпотентными. Следовательно, N-радикалом в группе S4 будет являться группа V.
Выпишем все неединичные нильпотентные подгруппы в S4. Это будут подгруппы порядков 8, 4, 3 и 2. Проверим, какие из этих подгрупп будут являться N-инъекторами в группе S4. Понятно, что при пересечении с группой S4 подгруппы порядков 2 и 4 не будут давать N-максимальных подгрупп, так как собственно содержатся в N-подгруппе порядка 8. Проверим группу G3 порядка 3. G3?V=E, где G2 - силовская 2-подгруппа порядка 8. Так как E не является
Подобные документы
Выработка современного абстрактного понятия групп. Простейшие свойства конечных нильпотентных групп. Подгруппа Фраттини конечной группы нильпотентна. Нахождение прямого произведения нильпотентных групп. Бинарная алгебраическая операция на множестве.
курсовая работа [393,4 K], добавлен 21.09.2013Изучение свойств критических групп и субнормальных подгрупп. Нахождение серии наследственных насыщенных формаций Шеметкова (минимальная не F-группа тут группа Шмидта, либо простого порядка) и Фиттинга (замкнутые относительно произведения F-подгрупп).
дипломная работа [272,8 K], добавлен 14.02.2010Неразрешимые конечные группы с нильпотентными добавлениями к несверхразрешимым подгруппам. Нормальные подгруппы конечных-обособленных груп. Факторизуемые группы с разрешимыми факторами нечетных индексов. Произведения 2-разложимых групп специальных видов.
курсовая работа [546,1 K], добавлен 26.09.2009Этапы возникновения, развития и основы теории исследования величины нильпотентной длины конечных разрешимых групп с известными добавлениями к максимальным подгруппам. Признаки разрешимости конечной группы, подгруппа Фиттинга, ее свойства и теоремы.
дипломная работа [548,6 K], добавлен 18.09.2009Описание свойств наследственных насыщенных формаций Фиттинга (замкнутые относительно произведения F-подгрупп) Шеметкова (где минимальная не F-группа является либо группой Шмидта с ненормальной циклической силовой подгруппой, либо простого порядка).
курсовая работа [204,0 K], добавлен 14.02.2010Теория групп как фундаментальное понятие и один из разделов современной математики. Основные определения и теоремы. Смежные классы: правые и левые, двойные. Нормальные подгруппы, фактор-группы. Способы их использования в решении различных задач.
курсовая работа [136,6 K], добавлен 30.03.2010Характеристика и изучение замкнутости класса всех конечных сверхразрешимых групп относительно подгрупп, фактор-групп и прямых произведений. Исследование свойств подгрупп конечной сверхразрешимой группы. Обзор свойств сверхразхрешимых групп в виде лемм.
курсовая работа [260,7 K], добавлен 06.06.2012Разрешимость факторизуемой группы с разложимыми факторами. Свойства конечных групп, являющихся произведением двух групп, одна из которых группа Шмидта, вторая - 2-разложимая. Произведение бипримарной и 2-разложимой групп. Доказательство теорем и лемм.
курсовая работа [475,0 K], добавлен 22.09.2009Строение конечных групп по заданным свойствам их обобщенно субнормальных подгрупп. Использование методов абстрактной теории групп и теории формаций конечных групп. Субнормальные и обобщенно субнормальные подгруппы и их свойства. Обобщение теоремы Хоукса.
дипломная работа [288,7 K], добавлен 20.12.2009Свойства примитивных конечных разрешимых произведений N-разложимых групп. Условия факторизуемости проекторов конечных разрешимых произведений N-разложимых групп для случая. Порядок определения приложений полученных результатов для классических формаций.
дипломная работа [239,8 K], добавлен 14.12.2009
