Курсовая работа: Решетки субнормальных и f-субнормальных подгрупп

Курсовая работа: Решетки субнормальных и f-субнормальных подгрупп

Курсовая работа

"Решетки субнормальных и -субнормальных подгрупп"

Введение

В теории конечных групп одним из центральных понятий является понятие -субнормальной подгруппы. Изучению свойств субнормальных подгрупп конечных групп положило начало в 1939 г. известная работа Виландта [10], оказавшая огромное влияние на развитие всей теории конечных групп в последующие годы.

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

Формации, т.е. классы групп, замкнутые относительно фактор-групп и подпрямых произведений, всегда находились в поле деятельности исследователей по теории конечных групп. Однако вплоть до 1963 г. формационное развитие теории конечных групп шло лишь по пути накопления фактов, относящихся к различным конкретным формациям, из которых наиболее популярными были формация разрешимых групп и ее подформации, составленные из абелевых, нильпотентных и сверхразрешимых групп. Хотя теория конечных групп никогда не испытывала недостатка в общих методах, идеях и нерешенных проблемах, все же обилие полученных результатов с неизбежностью привело к необходимости разработки новых общих методов и систематизирующих точек зрения. Толчок, произведенный работой Гашюца [8], вызвал целую лавину исследований и привел к возникновению нового направления – теории формаций.

В теории формаций одним из важнейших понятий является понятие -субнормальных подгрупп, которое является естественным расширением субнормальных подгрупп. Поэтому, конечно, возникает задача о построении теории -субнормальных подгрупп, аналогичной теории субнормальных подгрупп Виландта.

Во втором разделе курсовой работы рассматриваются минимальные не -группы.

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

1. Субнормальные подгпруппы и их свойства

Определение. Пусть  – подгруппа группы . Цепь подгрупп

в которой  для любого , ,…, , называется субнормальной -цепью, а число  – длиной этой цепи. Наименьшее , при котором существует хотя бы одна субнормальная -цепь длины , называется дефектом подгруппы  в  и обозначается через .

Определение. Пусть  – подгруппа группы . Если существует хотя бы одна субнормальная -цепь, то подгруппа называется субнормальной, обозначается .

Лемма. Если  субнормальна в , и  субнормальна в , то  субнормальна в .

 субнормальна в , следовательно, по определению субнормальной подгруппы существует субнормальная -цепь

 субнормальна в , следовательно, существует субнормальная -цепь

Таким образом, мы получили субнормальную -цепь

то есть  субнормальна в  по определению. Лемма доказана.

Теорема. Если подгруппа  субнормальна, но не нормальна в , то существует такой элемент , что

Доказательство. Пусть  – дефект подгруппы  в группе . Рассмотрим субнормальную -цепь длины :

Из того, что  не нормальна в , следует, что .  не нормальна и в , иначе мы получаем противоречие с тем, что  – дефект подгруппы  в группе , так как в этом случае подгруппу  в цепи можно было опустить. Поэтому существует элемент  такой, что . Теперь имеем

Так как , то . С другой стороны,  и , откуда получаем . Теорема доказана.

Определение. Пусть  – субнормальная подгруппа дефекта  в . Субнормальная -цепь

называется канонической, если для любой субнормальной -цепи

имеет место , , ,…, .

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

Теорема. Если  субнормальна в , то существует единственная каноническая субнормальная -цепь.

Доказательство. Пусть  – дефект подгруппы  в группе . Будем рассматривать все возможные субнормальные -цепи длины .

все субнормальные -цепи длины  ( – второй индекс). Положим . Так как , то для любого , ,…,  мы имеем

Таким образом, цепь

является субнормальной -цепью длины  и, следовательно, не имеет повторений. Так как  при любых  и , то теорема доказана.

Теорема. Если  субнормальна в  и  – подгруппа , то пересечение  есть субнормальная подгруппа .

Доказательство. Рассмотрим субнормальную -цепь минимальной длины :

Положим . Получаем цепь

Ясно, что она будет субнормальной, так как . Действительно, пусть , значит,  и . Тогда для любого , так как  и .

Мы получили субнормальную -цепь. Теорема доказана.

Следствие. Пусть  и  – подгруппы группы . Если  субнормальна в  и  – подгруппа , то  субнормальна в .

Доказательство. Пусть  и цепь

является субнормальной -цепью.

Положив , получим субнормальную -цепь

что и требовалось.

Теорема. Пусть  субнормальна в  и  субнормальна в . Тогда пересечение  есть субнормальная подгруппа в.

Доказательство. Пусть  – наибольший из дефектов подгрупп  и  в группе . Очевидно, существует (возможно, с повторениями) цепи

Положим , , ,…, . Из ,  следует, что  нормальна в . Следовательно, цепь

является субнормальной -цепью, что и доказывает теорему.

Лемма. Если  субнормальна в , а  – нормальная подгруппа группы , то произведение есть субнормальная подгруппа группы .

Доказательство.  субнормальна в , следовательно, существует субнормальная -цепь

Следовательно, цепь

будет субнормальной.

Действительно, так как  и , то . Лемма доказана.

Лемма. Если подгруппы  и  субнормальны в  и , топроизведение  есть субнормальная подгруппа группы .

Доказательство. Если  нормальна в , то результат следует по лемме 1.9.

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

Пусть  – каноническая субнормальная -цепь. Так как  нормализует подгруппу , то для любого  цепь

будет субнормальной -цепью. По свойству канонической субнормальной -цепи , а значит,  для любого , ,…,  (по определеделению).

Следовательно,  содержится в  для любого . Так как  и , то по индукции  субнормальна в . По следствию 1.7.1  субнормальна в . Так как  и , то . Таким образом, , , а значит, по лемме 1.9 подгруппа  субнормальна в . К тому же , то мы получаем . Лемма доказана.

Теорема. Если  и  – субнормальный подгруппы группы , то  есть также субнормальная подгруппа .

Доказательство. Положим . Среди субнормальных подгрупп группы , содержащихся в , выберем подгруппу , имеющю наибольший порядок. По следствию 1.7.1  субнормальна в . Докажем, что  нормальна в . Предположим противное, то есть что  не нормальна в . Тогда по теореме 1.4 найдется такой элемент , что ,  и . Так как  субнормальна в  и , то  субнормальна в . Получается следующая ситуация:  и  субнормальны в , . По лемме 1.10  субнормальна в . Ввиду выбора  отсюда следует , что противоречит .

Итак,  нормальна в , а значит,  и  нормализуют подгруппу . По лемме 1.10  и  субнормальны в . Так как  и , то ввиду выбора  получаем . Следовательно, , откуда вытекает, что . Теорема доказана.

Объединим теоремы 1.8 и 1.11 в один результат.

Теорема (Виландт). Множество всех субнормальных подгрупп группы  образует подрешетку решетки .

Отметим одно часто используемое приложение теорем 1.4 и 1.12.

Теорема. Пусть  – некоторое непустое множество субнормальных подгрупп группы , удовлетворяющее следующим условиям:

1) если  и , то ;

2) если , , , , то .

Тогда  для любой подгруппы .

Доказательство. Возьмем произвольную подгруппу  из . Если  не нормальна в , то по теореме 1.4 найдется такой элемент , что , , . По условиям 1) и 2) , . Если  не нормальна в , то найдется  такой, что , , . Тогда  и . Если  не нормальна, то описанную процедуру применяем к . Так как  конечна, то этот процесс завершится построением нормальной подгруппы , представимой в виде , где  – некоторые элементы из . Очевидно, , и теорема доказана.

Следствие. Если  – непустой радикальный класс, то  содержит все субнормальные -подгруппы группы .

Доказательство. Пусть  – множество всех субнормальных -подгрупп из . Ввиду теоремы 1.12 легко заметить, что  удовлетворяет условиям 1) и 2) теоремы 1.13.

Следствие. Для любой субнормальной подгруппы  группы  справедливы следующие утверждения:

1) если  – -группа, то ;

2) если  нильпотентна, то ;

3) если  -нильпотентна, то ;

4) если  разрешима, то .

2. Минимальные не -группы

Лемма [3]. Пусть , где  – локальная формация. Тогда справедливы следующие утверждения:

1) группа  монолитична с монолитом

2)  – -группа для некоторого простого ;

3)  – -эксцентральный главный фактор ;

4) ;

5) если группа  неабелева, то ее центр, коммутант и подгруппы Фраттини совпадают и имеют экспоненту ;

6) если  абелева, то она элементарна;

7) если , то  – экспонента ; при  экспонента  не превышает 4;

8) для любой -абнормальной максимальной подгруппы  из  имеет место

9) любые две -абнормальные максимальные подгруппы группы  сопряжены в ;

10) если  и подгруппа  содержит , то  для любого полного локального экрана  формации ;

11) если  – -абнормальная максимальная подгруппа группы  и  – некоторый полный локальный экран , то  – минимальная не -группа и либо , либо .

Доказательство. 1) Пусть  – минимальная нормальная подгруппа из  такая, что . Очевидно, что . Противоречие. Итак,  – минимальная нормальная подгруппа . Так как  – формация, то, нетрудно заметить, что  – единственная минимальная нормальная подгруппа из . А это значит, что

Отсюда следует, что

2) Выше мы показали, что   главный -фактор. Покажем, что  – -группа. Предположим противное. Пусть простое число  делит , но не делит . По лемме 4.4 из [5] , где  – содержащаяся в  силовская -подгруппа из . Тогда

Отсюда и из насыщенности  получим . Но тогда , что невозможно.

Пусть  – главный фактор группы . Ввиду 2)  является -группой и . Следовательно, каждая -абнормальная масимальная подгруппа группы  является -нормализатором группы . Так как -нормализатор группы  покрывает только -центральные главные факторы, то мы получаем, что  -гиперцентральна в . Согласно следствию 9.3.1 из [5] . Отсюда следует, что , т.е. .

Обозначим через  коммутант группы . Так как  – -корадикал группы , то по теореме 11.6 из [5] каждый главный фактор группы  на участке от  до  -эксцентрален. Отсюда и из -гиперцентральности  заключаем, что . Так как

то мы получаем тaкже рaвенство . Таким образом, утверждения 2) – 6), 9) доказаны.

Докажем 7). Предположим, что  неабелева. Пусть  – произвольный элемент из . Ввиду 4) , причем . Следовательно,

для всех элементов , из . Это означает, что  имеет экспоненту . Учитывая это и то, что  содержится в , получаем для любых , из  при :

Значит, отображение  является -эндоморфизмом группы . Так как

то  -гиперцентральна в . Вспоминая, что  – -эксцентральный главный фактор, получаем равенство . Так как  имеет экспоненту , то утверждение 7) при  доказано.

Пусть . Тогда

где . Рассматривая отображение  как и выше получаем, что . Значит  имеет экспоненту не больше 4.

Докажем 8). Выше мы доказали, что . Пусть . Тогда в  найдется такая максимальная подгруппа , что . Так как , то . Отсюда . Противоречие. Итак, . По теореме 9.4 из [5] имеем  для любой -абнормальной максимальной подгруппы  группы . Нетрудно показать, что .

По теореме 7.11 из [5],

Так как , то

Ввиду того, что  и  – главный фактор , имеем . Итак, . Пусть  – любая -абнормальная максимальная подгруппа группы . Тогда . Ясно, что

Не ограничивая общности, положим . Тогда  – единственная минимальная нормальная подгруппа . Легко видеть, что  и . Но  – -группа. Значит, . По условию . Следовательно, ввиду полноты экрана  имеет место

то . Таким образом, всякая собственная подгруппа группы  принадлежит . Допустим, что . Тогда

и поэтому . Полученное противоречие показывает, что , т.е.  – минимальная не -группа.

Предположим теперь, что . Покажем, что . Не теряя общности, можно положить, что . Тогда , . Пусть , где  и , где . Для всякого  через  обозначим подгруппу . Предположим, что все  отличны от . Так как , то  – дополнение к  в . Если  для всех различных  и , то

и поэтому . Противоречие. Значит  для некоторых различных  и . Из последнего вытекает

что невозможно. Полученное противоречие показывает, что  для некоторого  и, следовательно, . Лемма доказана.

Лемма [4]. Пусть  – наследственная локальная формация,  – такая нормальная подгруппа группы , что . Тогда  равносильно .

Доказательство. Пусть . Тогда , и если  – произвольная максимальная подгруппа , то , а значит, и  принадлежит . Следовательно, .

Предположим теперь, что . Понятно, что .Пусть  – произвольная максимальная подгруппа , тогда . Пусть  – произвольный -главный фактор из . Обозначим . Пусть  – максимальный внутренний локальный экран формации , и пусть . Так как , то . Покажем, что . По лемме 8.7 из [6] формация  наследственна. Следовательно, если , то сразу получим . Если же , то  вытекает из изоморфизма . Итак, всякий -главный фактор из , -централен в . Значит, . Таким образом, . Лемма доказана.

Лемма [3]. Пусть  – локальная наследственная формация,  – некоторый ее полный экран. Группа  принадлежит  тогда и только тогда, когда выполняются следующие два условия:

1) ;

2) , где  – главный -фактор группы ,  – минимальная не -группа.

Доказательство. Необходимость вытекает из леммы 2.1.

Достаточность. Пусть  и  – произвольные максимальные подгруппы . Покажем, что . Если  -абнормальна, то ввиду леммы 2.1 имеем . Значит, . Пусть . По условию

Следовательно,  и по лемме 2.1  – -группа. Значит по лемме 8.2 из [6] . Итак, . Применяя теперь лемму 2.1 получаем, что . Лемма доказана.

Лемма [3]. Пусть  – локальная формация, имеющая постоянный наследственный локальный экран . Тогда справедливы следующие утверждения:

1)  для любого  из ;

2)  тогда и только тогда, когда  для любого  из ,  – главный  фактор , .

Доказательство. 1) Пусть  – произвольная группа из . Покажем, что . Предположим противное. Пусть  – подгруппа наименьшего порядка из , не принадлежащая . Очевидно, что . Так как  – постоянный экран, то ввиду леммы 4.5 из [5]  для любого  из . Если , то из того, что  следует . Получили противоречие. Итак,  – собственная подгруппа из . Но тогда , что невозможно.

2) Пусть . Покажем, что . Так как

то, не ограничивая общности, можно считать, что . Пусть  – произвольная -абнормальная максимальная подгруппа группы . Тогда по лемме 2.1 , где . Очевидно, что . Отсюда следует, что  – -группа. Так как  и  – постоянный экран, то . Пусть  – произвольная собственная подгруппа из . Так как формация  наследственна, то . Кроме того, . Отсюда . Следовательно,

Если теперь , то . Отсюда нетрудно заметить, что . Противоречие. Итак, . Из леммы 2.1 следует, что

есть главный -фактор группы .

Пусть теперь . Очевидно, что . Пусть  – собственная подгруппа из .Рассмотрим подгруппу . Если , то тогда

Согласно пункту 1 . Пусть . Тогда  – собственная подгруппа группы . Тогда

Отсюда . А это значит, что . Итак, . Так как , то по лемме 2.1 . Лемма доказана.

Лемма. Пусть  – непустая наследственная формация. Тогда:

1) если  – подгруппа группы  и , то  -субнормальна в ;

2) если  -субнормальна в ,  – подгруппа группы , то  -субнормальна в ;

3) если  и  -субнормальные подгруппы , то  – -субнормальная подгруппа ;

4) если  -субнормальна в , а  -субнормальна в , то  -субнормальна в ;

5) если все композиционные факторы группы  принадлежат формации , то каждая субнормальная подгруппа группы  является -субнормальной;

6) если  – -субнормальная подгруппа группы , то  -субнормальна в  для любых .

Лемма. Пусть  – непустая формация,  – подгруппа группы ,  – нормальная подгруппа из . Тогда:

1) если  -субнормальна в , то  -субнормальна в  и  -субнормальна в ;

2) если , то  -субнормальна в  тогда и только тогда, когда  -субнормальна в .

3. Формации с решеточным свойством

Лемма [1]. Пусть  – наследственная формация. Тогда следующие утверждения эквивалентны:

1)  обладает решеточным свойством для -субнормальных подгрупп;

2) группа  принадлежит , если ,  – -субнормальные -подгруппы группы ;

3)  – формация Фиттинга и всякая -субнормальная -подгруппа группы  содержится в -радикале этой группы.

Установим, что из 1) следует 2).

Пусть  – контрпример минимального порядка. В этом случае , где  -субнормальная -подгруппа группы , , и  не принадлежит . Пусть  – минимальная нормальная подгруппа группы . Все условия леммы для фактор-групп выполняются, поэтому в силу выбора  имеем, что . В виду теоремы 4.3 из [7] формация  является насыщенной. Поэтому группа  имеет единственную минимальную нормальную подгруппу  и .

Если , то  – простая группа. Так как  и  – -субнормальная подгруппа группы , , то либо , либо . Значит, . Противоречие с выбором группы .

Пусть . Рассмотрим подгруппы  и . Так как  – собственная -субнормальная подгруппа  и , то нетрудно видеть, что  – собственная подгруппа , . Покажем, что .

Рассмотрим два случая.

1. Пусть  – абелева группа. Тогда  – -группа,  – простое число. Так как  и подгруппа  -субнормальна в , то по лемме 2.6 получаем , .

2. Пусть  – неабелева группа. В этом случае

есть прямое произведение изоморфных неабелевых простых групп и .

Рассмотрим подгруппу . Так как подгруппа  -субнормальна в , то ввиду леммы 2.4 и подгруппа  -субнормальна в группе . Пусть

Ввиду леммы 2.5 подгруппа  -субнормальна в  для любого  из . Так как формация  обладает решеточным свойством для -субнормальных подгрупп, то  – -субнормальная подгруппа . Кроме того, из  следует, что . Если , то . Получили противоречие с . Значит, . Так как  нормальна в , то  нормальна в . Но

где  – неабелева простая группа и  для всех . Поэтому

Из  и наследственности формации  следует, что . Но тогда . Далее, так как , то по лемме 2.5 подгруппа  -субнормальна в . Значит, она -субнормальна и в , . Тогда из  получаем что

Пусть  – добавление к подгруппе  в группе . Так как , то . В силу насыщенности формации  из

и

получаем, что . Итак, ,  и .

Используя тождество Дедекинда, имеем

Если предположить, что , то . В этом случае

Так как , то  не может быть -субнормальной подгруппой в . Следовательно, можно считать, что , .

Так как подгруппа  -субнормальна в группе  и , то из наследственности формации  следует, что подгруппа  -субнормальна в .

Так как формация  обладает решеточным свойством для -субнормальных подгрупп, то  – -субнормальная подгруппа группы . Кроме того, из  и наследственности формации  имеем . Обозначим , , и рассмотрим подгруппу . Если , то , что невозможно ввиду -субнормальности в  подгруппы .

Пусть . Из , нормальности  в  и нормальности  в  следует, что  нормальна в .

Так как

то

Таким образом получаем

Так как , то  – подгруппа из . Тогда из -субнормальности в  подгрупп  и  следует, что подгруппа

-субнормальна в . Это невозможно ввиду равенства . Значит, . Противоречие.

Докажем, что из 2) следует 3). Пусть , где  – нормальная -подгруппа группы , . Так как

и , то . Из наследственности формации  получаем, что подгруппа  -субнормальна в . Ввиду леммы 2.6 подгруппа  теперь -субнормальна в , . Так как выполняется условие 2) леммы, то

Следовательно,   формация Фиттинга.

Пусть  – -субнормальная -подгруппа группы . Ввиду леммы 2.5 подгруппа  -субнормальна в  для всех . Так как выполняются условия 2) леммы, то

Отсюда следует, что

Наконец установим, что из 3) следует 1). Доказательство проведем индукцией по порядку группы . Пусть  и  – -субнормальные подгруппы группы  и . Если  – минимальная нормальная подгруппа группы , то можно считать, что . Учитывая лемму 2.6 по индукции получаем, что  – -субнормальная подгруппа группы . На основании леммы 2.6 тогда подгруппа  -субнормальна в . Если , то по индукции подгруппа  -субнормальна в , и значит, ввиду леммы 2.5 она -субнормальна.

Будем далее считать, что  для любой минимальной нормальной подгруппы группы . Ясно, что . Если , то в силу леммы 3.1.3  субнормальна в . Но тогда ввиду [8]

Это означает, что . Противоречие. Значит  и . Аналогично доказывается, что . Итак,  и .

По условию леммы   формация Фиттинга и , . Следовательно,

Пусть  – минимальная нормальная подгруппа группы , содержащейся в . Тогда

Из наследственности формации  следует, что  – -субнормальная подгруппа группы .

Итак, порождение двух -субнормальных подгрупп  и  группы  -субнормальна в . Ввиду леммы 2.5  – также -субнормальная подгруппа группы . Значит, формация  обладает решеточным свойством для -субнормальных подгрупп. Лемма доказана.

Лемма [1]. Пусть  – наследственная локальная формация. Если  замкнута относительно расширений, то формация  обладает решеточным свойством для -субнормальных подгрупп.

Доказательство леммы следует из теоремы 5 работы [9] и теоремы 3.1.7.

Отметим, что из леммы 3.2 следует, что формации  и  обладают решеточным свойством для -субнормальных подгрупп.

Пусть  обозначают некоторое подмножество множества натуральных чисел. Пусть  – некоторое семейство классов групп. Обозначим через  класс всех групп , представимых в виде

где  и , .

Лемма [1]. Справедливы следующие утверждения:

1) пусть  – наследственная локальная формация, обладающая решеточным свойством для -субнормальных подгрупп, . Тогда и формация  обладает решеточным свойством для -субнормальных подгрупп;

2) пусть  – некоторое семейство наследственных локальных формаций и  для любых . Тогда и только тогда формация

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

Пусть формация  обладает решеточным свойством для -субнормальных подгрупп, . Ввиду леммы 3.1  и  – формации Фиттинга поэтому из леммы 2.1.3 следует, что  также является формацией Фиттинга.

Пусть  – -субнормальная подгруппа группы  и . Ясно, что подгруппа  -субнормальна в  для любого . Так как  и , то ввиду леммы 3.1 получаем, что  и . Следовательно,

Теперь утверждение 1 следует из леммы 3.1.

Докажем утверждение 2). Пусть формация

обладает решеточным свойством для -субнормальных подгрупп. Отметим, что . Отсюда ввиду утверждения 1) настоящей леммы и леммы 3.2 следует, что формация  обладает решеточным свойством для - субнормальных подгрупп.

Обратно, пусть для любого  формация  обладает решеточным свойством для -субнормальных подгрупп. Пусть

Индукцией по порядку группы  покажем, что любая группа , где ,  – -субнормальные -подгруппы группы  принадлежат .

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

Отметим также, что

где  – изоморфные простые группы для .

Докажем, что . Рассмотрим группу . Так как подгруппа  -субнормальна в , то . Тогда по индукции

Рассмотрим пересечение . Если

то

Отсюда и из того факта, что   нормальная подгруппа  и  следует, что .

Пусть . Так как  – нормальная подгруппа из , то  – нормальная подгруппа из . А это значит, что

Из наследственности формации  и  получаем, что . Но тогда .

Из строения  и

для любых , следует, что  для некоторого . Так как

то нетрудно видеть, что группа  имеeт -холловскую подгруппу .

Так как , то  – -субнормальная подгруппа группы . Так как ,  и ,  – -субнормальные подгруппы, то по индукции имеем, что

Отсюда и из  ввиду  получаем . Аналогично доказывается, что . Таким образом,

Отсюда и из -субнормальности  и  в  нетрудно заметить, что ,  – -субнормальные подгруппы группы . Из  и  ввиду наследственности  следует, что  и . Так как по условию формация  обладает решеточным свойством для - субнормальных подгрупп, то ввиду леммы 3.1

Итак,  содержит некоторую группу , где ,  – -субнормальные -подгруппы группы . Следовательно, ввиду леммы 3.1 формация  обладает решеточным свойством для -субнормальных подгрупп. Лемма доказана.

Лемма [1]. Пусть  – нормально наследственная разрешимая формация. Тогда справедливы следующие утверждения:

1) если в каждой разрешимой группе все -субнормальные подгруппы образуют решетку, то  имеет вид

где  для любых  из ;

2) если  – формация из пункта 1), то она обладает решеточным свойством для -субнормальных подгрупп.

1) Покажем, что  является либо группой Шмидта, либо группой простого порядка. Очевидно, что  и .

Пусть  – максимальный внутренний локальный экран формации . Согласно лемме 2.3

где  – единственная минимальная нормальная подгруппа группы ,  ( – простое число), а  – максимальная подгруппа группы , являющейся минимальной не -группой.

Докажем, что   циклическая -группа для некоторого простого числа . Допустим противное. Тогда в  найдутся по крайней мере две несопряженные максимальные подгруппы  и . Рассмотрим в  подгруппу , . Ясно, что  -субнормальна в , . Из ,  и  по лемме 3.1 получаем, что . Получили противоречие с выбором .

Следовательно,   циклическая группа порядка , где  – некоторое простое число, ,  – натуральное число. Допустим, что . Обозначим через  – регулярное сплетение циклических групп  и  соответственно порядков  и .

По теореме 6.2.8 из [2]  изоморфна некоторой подгруппе группы . Так как  и , то ввиду теоремы 2.4 из [5] .

Рассмотрим регулярное сплетение , где . Тогда , где  – элементарная абелева -группа. Так как , то . Из

следует что .

Рассмотрим в  подгруппы  и , где  – база сплетения . Ясно, что  -субнормальна в , . Кроме того, . Отсюда

Так как , то  по лемме 3.1. Получили противоречие.

Следовательно,  и  – группа Шмидта. Если  и , то по лемме 1.1.6  также является группой Шмидта. Таким образом, любая разрешимая минимальная не -группа является либо группой Шмидта, либо имеет простой порядок. Тогда по лемме 3.1.12  является наследственной формацией.

Покажем, что формация  имеет такой локальный экран , что

p(F)p'(F)p(F) Действительно. Пусть  – локальный экран формации . Так как  для любого простого числа  из , то . Покажем обратное.

Пусть  – группа минимального порядка из . Так как  – наследственная формация и  – насыщенная формация, то  – минимальная не -группа и . Теперь, согласно лемме 2.3

где  – единственная минимальная нормальная подгруппа группы , причем  – -группа, , а  – минимальная не -группа. Как показано выше  является либо группой простого порядка, либо группой Шмидта.

Пусть  – группа простого порядка. Так как , то очевидно, что . Противоречие.

Пусть  – группа Шмидта. Тогда  – группа простого порядка, причем , . Так как , то очевидно, что

Отсюда следует, что . Получили противоречие. Следовательно .

Итак,  и  – полный локальный экран формации .

Покажем, что  либо  для любых простых , .

Вначале докажем, что из  следует . Допустим противное. Пусть . Рассмотрим точный неприводимый -модуль  над полем , который существует по лемме 18.8 из [6].

Возьмем группу . Так как  и  имеет единственную минимальную нормальную подгруппу, то ввиду леммы 18.8 из [6] существует точный неприводимый -модуль  над полем . Рассмотрим группу

Так как

то . Ясно, что . Так как , то найдется  такой, что . Заметим, что . Тогда

Так как , то  -субнормальна в  и  -субнормальна в . По лемме 3.1 . Получили противоречие. Таким образом, если , то .

Пусть теперь . Тогда . Предположим, что найдется такое простое число , которое не принадлежит . Рассмотрим точный неприводимый -модуль  над полем .

Группа  принадлежит  ввиду  и . Теперь рассмотрим точный неприводимый -модуль . Группа  формации  не принадлежит, так как . Ясно, что . Рассуждая как и выше, можно показать, что  для некоторого , причем подгруппы ,  -субнормальны в , причем ,  принадлежат . Отсюда по лемме 3.1 . Получили противоречие.

Следовательно, если , то , а значит . Более того, если

где  и , то  и , а значит, .

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

Обозначим

Так как для любого  имеет место , то включение  очевидно.

Допустим, что множество  непусто, и выберем в нем группу  наименьшего порядка. Так как  – наследственная формация, то . Группа  непримарна в силу равенства  и локальности формации . Из строения

и  нетрудно показать, что  – группа Шмидта. Ясно, что . Тогда по теореме 26.1 из [5] , где  – элементарная абелева -группа,  – некоторые простые числа. Так как , то

Как показано выше,  для некоторого номера . Но тогда . Получили противоречие с выбором . Следовательно,

где  для всех .

Утверждение 2) следует из лемм 3.2 и 3.3. Лемма доказана.

Из доказанной леммы следует, что разрешимая наследственная локальная формация  тогда и только тогда обладает решеточным свойством для -субнормальных подгрупп, когда

Заключение

В курсовой работе рассмотрены решетки субнормальных и -субнормальных подгрупп. Для построения теории решеток -субнормальных подгруп, аналогичной теории решеток субнормальных подгрупп, разработанной Виландтом, используются свойства минимальных не -групп.

В работе рассматриваются условия, при выполнении которых формация будет обладать решеточным свойством.

Список использованных источников

1. Васильев А.Ф., Каморников С.Ф., Семенчук В.Н. О решетках подгрупп конечных групп // Бесконечные группы и примыкающие алгебраические структуры: Тр./ Институт математики АН Украины. – Киев, 1993. – С. 27–54.

2. Коуровская тетрадь (нерешенные вопросы теории групп). Новосибирск: Институт математики СО АН СССР, 1984. – 144 с.

3. Семенчук В.Н. Минимальные не -группы // Алгебра и логика. – 1979. – Т.18, №3. – С. 348–382.

4. Семенчук В.Н. Конечные группы с системой минимальных не -подгрупп // Подгрупповое строение конечных групп: Тр./ Ин-т математики АН БССР. – Минск: Наука и техника, 1981. – С. 138–149.

5. Шеметков Л.А. Формации конечных групп. М.: Наука.  1978. – 267 с.

6. Шеметков Л.А., Скиба А.Н. Формации алгебраических систем. М.: Наука. – 1989. – 256 с.

7. Bryce R.A., Cossey J. Fitting formations of finite solubla groups // Math.Z. – 1972. – V.127, №3. – P.217–233.

8. Gaschьtz W. Zur Theorie der endlichen auflцsbaren Gruppen. – Math. Z., 1963, 80, №4, С. 300–305.

9. Kegel O.H. Untergruppenverbande endlicher Gruppen, die Subnormalteilorverband echt enthalten // Arch. Math. – 1978. – V.30.  P.225–228.

10. Wielandt H. Eine Verallgemeinerung der invarianten Untegruppen // Math.Z. – 1939.-V.45. – P.209–244.