Дослідження локальних формацій із заданими властивостями

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



Дослідження локальних формацій із заданими властивостями


Введення



Формації, тобто класи груп, замкнуті відносно фактор - груп і під прямих добутків, завжди перебували в поле діяльності дослідників по теорії кінцевих груп. Однак аж до 1963 р. формаційний розвиток теорії кінцевих груп ішло лише по шляху нагромадження фактів, що ставляться до різних конкретних формацій, з яких найбільш популярними були формація розв'язних груп і її подформації, складені з абелевих, нильпотентних груп.

У курсовій роботі розглядається добуток формацій, операції на класах груп, що приводять до формацій. Розглядаються локальні формації й екрани. Розглядаються найпростіші властивості локальної формації всіх груп з нильпотентним компонентом.


Визначення 1.1 Класом груп називають усяка множина груп, що містить разом з кожною своєю групою  й всі групи, ізоморфні .

Якщо група (підгрупа) належать класу , то вона називається групою (  -  підгрупою).

Визначення 1.2. Клас груп  називається формацією, якщо виконуються наступні умови:

1) кожна фактор - група будь - якої групи з  також належить ;

2) із  завжди треба .

Якщо формації  й  такі, що , то  називається підформацією формації .

По визначенню, порожня множина є формацією (порожня формація). Множина  всіх груп є, звичайно, формацією. Одинична формація  – це непустий клас груп, що складає лише з одиничних груп. Формаціями є: клас  усіх  -  груп, клас  всіх абелевих груп, клас  всіх нильпотентних груп, клас  усіх  -  груп ( – фіксоване простої число), клас  всіх нильпотентних  -  груп, клас  всіх розв'язних груп, клас  всіх розв'язних  - груп. Ми привели поки лише приклади тих формацій, за яких закріплені відповідні позначення.

Лема 1.1. Справедливі наступні твердження:

1) перетинання будь - якої множини формацій також є формацією;

2) якщо  – деяка множина формацій, лінійно впорядковане щодо включення , то об'єднання  є формацією.

Доказ здійснюється перевіркою.

Визначення 1.3. Нехай  – непуста формація. Позначимо через  і  -  корадикалом групи  перетинання всіх тих нормальних підгруп  з , для яких .

Очевидно,  - корадикал будь - якої групи є характеристичною підгрупою.  - корадикал групи  позначають інакше через  і називають  - корадикалом.  - корадикал будемо називати нильпотентним радикалом; зрозумілі також терміни розв'язний корадикал,  -  розв'язний корадикал,  -  корадикал і т.д.  - корадикал (або абелев корадикал) – це комутант групи. Так само як і комутант,  -  корадикал зберігається при гомоморфізмах.

Лема 1.2. Нехай  – непуста формація, . Тоді справедливі наступні твердження:

1) 

2) якщо  те 

3) якщо  й , те 

Доказ. Нехай . Тоді







Звідси треба, що . З іншого боку,







звідки одержуємо . З  і  треба рівність . Твердження 1) доведено.

Нехай  – природний гомоморфізм групи  на  Очевидно,







звідки треба рівність . Зокрема, якщо , те . Лема доведена.

Визначення 1.4. Нехай  і  – деякі формації. Якщо , то покладемо  Якщо , те позначимо через  клас всіх тих груп , для яких  Клас  називається добутком формацій  і .

З визначення 1.4 треба, що добуток формацій  є порожньою формацією тоді й тільки тоді, коли принаймні одна з формацій  є порожньою. Можна визначити добуток декількох формацій як результат послідовного множення. Якщо задано впорядкований набір формацій  причому добуток  уже визначений, то  Зокрема, якщо  для будь - якого  те ми приходимо до поняття ступеня 

Поняття добутку формацій становить інтерес із погляду побудови формацій.

Теорема 1.1. Добуток будь - яких двох формацій також є формацією.

Лема 1.3. Нехай  і  – нормальні підгрупи групи . Тоді кожний головний фактор групи   -  ізоморфний або деякому головному фактору групи , або деякому головному фактору групи 

Доказ випливає з розгляду  -  ізоморфізму 

Теорема 1.2. Нехай  – деяка формація,  – клас всіх тих груп, всі головні фактори яких належать  Нехай  – об'єднання формацій  Тоді  – підформація формації 

Доказ. З леми 1.3 виводимо, що  – формація. З теореми 1.1 і леми 1.1 випливає, що клас  є формацією. Якщо  – мінімальна нормальна підгрупа групи , то по індукції  для деякого натурального . Але тоді або , або  –  -  корадикал групи . Тому що , те звідси випливає, що , і теорема доведена.

Операції на класах груп

Визначення 2.1. Усяке відображення множини всіх класів груп у себе називається операцією на класах груп.

Операції ми будемо позначати, як правило, прямими більшими латинськими буквами. Результат операції , застосованої до класу  позначається через  Ступінь операції  визначається так:  Добуток операцій визначається рівностями:







Уведемо операції  в такий спосіб:

 тоді й тільки тоді, коли  вкладається як підгрупа в якусь  -  групу;

 тоді й тільки тоді, коли  вкладається як нормальна підгрупа в якусь  -  групу;

 тоді й тільки тоді, коли  є гомоморфним образом якоїсь  - групи;

 тоді й тільки тоді, коли  співпадає з добутком деякого кінцевого числа своїх нормальних  - підгруп;

 тоді й тільки тоді, коли  має нормальні підгрупи  такі, що







 тоді й тільки тоді, коли  є розширенням  - групи за допомогою  -  групи;

 тоді й тільки тоді, коли  має нормальну підгрупу  таку, що 

Якщо , то замість  пишуть  Оборотний увага на той факт, що якщо  – нормальні підгрупи групи , причому  для кожного , то  Помітимо ще, що операцію  можна визначити за допомогою поняття підпрямого добутку. Нагадаємо (див. Каргаполов і Мерзляков [1]), що підгрупа  прямого добутку  називається підпрямим добутком груп  якщо проекція  на  збігається з  Легко бачити, що  тоді й тільки тоді, коли  є добуток деякого кінцевого числа  - груп.

Визначення 2.2. Клас  називається замкнутим щодо операції  або, більш коротко,  -  замкнутим, якщо 

Формацію можна визначити тепер як клас груп, що одночасно  -  замкнуть і  - замкнуть.  - замкнутий клас згідно Гашюцу [3] називається насиченим.  -  замкнутий клас груп називається гомоморфом. Клас груп називається замкнутим щодо підгруп (нормальних підгруп), якщо він  -  замкнутий (відповідно  -  замкнуть).

Лема 2.1. . Якщо клас груп  містить одиничну групу й  -  замкнуть, то 

Доказ. Щодо операцій  і  твердження очевидно. Нехай  – довільний клас груп. Ясно, що  Якщо , те в  найдеться нормальна підгрупа  така, що . Група  має нормальну підгрупу  таку, що  й  Але тоді  Тому що , те, а виходить,  Таким чином, , що й потрібно.

Нехай . Якщо , то  має нормальну  - підгрупу  таку, що  Група  має нормальну  - підгрупу  таку, що . Тому що  й , те з  - замкнутості класу  треба, що . Виходить, , тобто . Зворотне включення очевидно.

Лема 2.2. Для будь - якого класу  справедливо наступне твердження: 

Доказ. Якщо , то  Нехай  Якщо , те, а виходить, . Таким чином, . Нехай . Тоді  має такі нормальні підгрупи , що  Група  має такі нормальні підгрупи , що  Тому що , те, що й доводить рівність 

Лема 2.3. Для будь - якого класу  має місце включення 

Доказ. Якщо , то . Нехай  і група  є підпрямим добутком груп , де . Розглянемо функцію  . Функція  є гомоморфізмом групи  в групу . Ясно, що







є добуток груп , причому . Отже, , і лема доведена.

Лема 2.4. 

У роботі Фишера, Гашюца й Хартли [1] уведене наступне поняття, у деякому змісті двоїсте визначенню формації.

Визначення 2.3. Клас груп  називається класом Фиттинга, якщо він одночасно  - замкнутий і  - замкнуть.

Клас Фиттинга ми будемо надалі називати інакше радикальним класом. Через подвійність (нормальна підгрупа – фактор - група) формацію можна було б назвати корадикальним класом.

Визначення 2.4. Нехай  непустий  - замкнутий клас, що містить 1. Позначимо через  і назвемо  -  радикалом групи  добуток всіх її нормальних  - підгруп.

Класи  є радикальними.  - радикал групи  – це її підгрупа Фиттинга   - радикал позначають інакше через  і називають  - радикалом.  - радикал називають розв'язним радикалом; зрозумілі також терміни  - нильпотентний радикал,  - замкнутий радикал і т.д. Клас усіх  - нильпотентних груп є одночасно радикальним і корадикальним;  – це  - нильпотентний радикал групи .

Надалі ми будемо вивчати формації, замкнуті щодо тих або інших операцій; зокрема, будуть розглядатися радикальні формації, тобто формації, що є одночасно й класами Фиттинга. Зараз ми звернемося до задачі побудова формацій за допомогою операцій 

Теорема 2.1. Нехай  і  – формації, причому або , або  замкнута щодо нормальних підгруп. Тоді  – формація, що збігається з добутком 

Визначення 2.5. Нехай  – деяка множина груп. Нехай  – перетинання всіх тих формацій, які містять  клас  називається формацією, породженої множиною груп 

Помітимо, що операцію  часто позначають інакше через  Якщо  те пишуть  замість , причому в цьому випадку  називають формацією, породженою групою .

Теорема 2.2. Для будь - якого класу  має місце рівність: 

Доказ. Якщо , те, і твердження вірно. Нехай . Тому що , те клас  є  - замкнутим.  є клас і  по лемі 2.2. Використовуючи це й леми 2.3 і 2.4, одержуємо






Останнє означає  - замкнутість класу . Отже,  – формація, що містить , тому що . Виходить, . Зворотне включення очевидно.

Лема 2.5. Для будь - яких елементів  групи  виконуються рівності  Якщо  – підгрупи групи , то виконуються наступні твердження:

1) 

2)  для будь - якого гомоморфізму  групи ; зокрема, якщо група  з  нормалізує  й , те  нормалізує й 

Лема 2.6 Нехай  – підгрупа нильпотентної групи , причому . Тоді 

Доказ. Для того щоб довести лему, досить установити, що при будь - якому натуральному  виконується включення:







При  це вірно, тому що , а виходить, . Припустимо, що включення (*) справедливо при якімсь . Тоді, використовуючи лему 2.5, одержуємо











Тим самим (*) доведено.

Теорема 2.3 (Брайант, Брайс, Хартли [1]). Якщо  – така підгрупа групи , що , то 

Доказ. Нехай  – нильпотентна нормальна підгрупа групи , а  – така підгрупа з , що . Доведемо індукцією по , що . Це вірно, якщо . Тому будемо вважати, що . Розглянемо наступні підгрупи прямого добутку 







Очевидно, підгрупа  нормалізує  й . Позначимо через  підгрупу групи , породжену підгрупами . Оскільки проекції  на множники прямого добутку  рівні , те . Помітимо ще, що , де  нормально в  і нильпотентна як добуток з .

Нехай  – центр підгрупи , . Легко бачити, що , причому  й ; аналогічно,  і . Але тоді , абелева й нормальна в.  Якщо , те, де , і якщо , те, що тягне . Отже, . Якщо  абелева, те, і ми маємо







Припустимо тепер, що . Ясно, що . Тому що






те  нильпотентна щабля . Тому що , те  ізоморфна  й має щабель , а тому відповідно до леми 2.6 її нормальне замикання  в  має щабель . Тому що  нормалізує  й , те  нормальна в.  Отже, , причому . По індукції







Для групи  і її нильпотентної нормальної підгрупи  щабля  теорема також вірна по індукції. Тому







Теорема доведена.

Теорема 2.4. (Нейман [1]) Формація, породжена розв'язною групою, містить лише кінцеве число підформацій.

Доказ. Нехай  – підформація формації . Якщо , то по теоремі 2.3 має місце , що й потрібно.

Екрани

Недоліком поняття групової функції  є те, що не завжди ущільнення  - центрального ряду нормальними підгрупами є  - центральним рядом.

Визначення 3.1. Відображення  класу  всіх груп у множину класів груп назвемо екраном, якщо для будь - якої групи  виконуються наступні умови:

1)  – формація;

2)  для будь - якого гомоморфізму  групи ;

3) .

З умови 2) випливає, що екран  приймає однакове значення на ізоморфних групах, тобто є груповою функцією в змісті визначення 3.1. Крім того, видно, що якщо  – екран, те кожний f - центральний ряд після видалення повторень може бути ущільнений до f - центрального головного ряду, а виходить, клас груп, що володіють f - центральними рядами, співпадає з формацією .

Лема 3.1. Нехай  – екран,  – група операторів групи ,  – деяка нормальна  - припустима підгрупа з . Якщо  володіє нормальним  - припустимим рядом, фактори якого  - центральні відносно , то один з таких рядів проходить через .

Доказ. Нехай даний ряд, що задовольняє умові леми:







Нехай . Тоді ряд







буде шуканим. У цьому неважко переконатися, використовуючи визначення екрана й  - ізоморфизми:







Лема 3.2. Справедливі наступні твердження:

1) перетинання будь - якої непустої множини екранів також є екраном;

2) об'єднання будь - якого непустого ланцюга екранів також є екраном.

Доказ. Перше твердження очевидно. Нехай непуста множина екранів  є ланцюгом, тобто лінійно впорядковано (з відношенням часткової впорядкованості , уведеним у визначенні 3.5). Тоді для будь - якої групи  множина формацій  лінійно впорядковано щодо включення, а отже, через лему 1.1 об'єднання  є формацією. Тим самим лема доведена.

Визначення 3.2. Екран  назвемо:

1) p - однорідним, якщо він p - постійний і для будь - якої групи  і її силовської p – підгрупи  має місце ;

2) однорідним, якщо він p - однорідний для будь - якого простого p;

3) локальним, якщо він є локальною груповою функцією;

4) композиційним, якщо для будь - якої групи  має місце , де  пробігає всі фактори групи 

5) порожнім, якщо  для будь - якої неодиничної групи ;

6)  - екраном, якщо  для будь - якої групи .

 - екран при  будемо називати одиничним екраном.

Легко бачити, що кожний локальний екран є однорідним, а кожний композиційний екран є примарно постійним.

Приклад 3.1. Нехай  і  – непусті формації, причому , а групова функція  така, що  для кожної групи  й  для будь - який групи . Тоді  – однорідний екран, що не є ні локальним, ні композиційним.

Приклад 3.2. Нехай  – непуста формація, а групова функція  така, що для будь - який групи  виконуються умови:

1) , якщо  не має абелевих композиційних факторів;

2) , якщо  має хоча б один абелев композиційний фактор.

Тоді  – композиційний екран, що не є однорідним.

Зауваження 1. Локальний екран повністю визначається своїми значеннями на підгрупах. Щоб побудувати локальний екран , досить кожному простому числу  поставити у відповідність деяку формацію , а потім для будь - якої групи  покласти , де  пробігає .

Зауваження 2. Щоб побудувати композиційний екран , потрібно кожній простій групі  поставити у відповідність деяку формацію , а потім для будь - якої групи  покласти , де  пробігає всі композиційні фактори групи .

Лема 3.3. Справедливі наступні твердження: 1) перетинання будь - якої непустої множини однорідних екранів знову є однорідним екраном;

2) перетинання будь - якої непустої множини локальних екранів знову є локальним екраном;

3) перетинання будь - якої непустої множини композиційних екранів знову є композиційним екраном.

Доказ. Нехай екран  є перетинанням множини екранів . Припустимо, що всі екрани  є локальними, тобто для будь - яких  і  має місце рівність:







де  пробігає всі підгрупи групи . Тоді







а виходить,  – локальний екран.

Лема 3.4. Об'єднання будь - якого непустого ланцюга примарно постійних екранів є примарно постійним екраном.

Доказ. Нехай  – деякий ланцюг екранів,  – її об'єднання, . По лемі 3.3 функція  є екраном, причому ясно, що постійність  тягне постійність екрана . Припустимо, що все  є однорідними екранами. Тоді, якщо  – будь - яка група й , те . Отже,






що й доводить однорідність екрана .

Екрани формацій

Кожної групової функції  відповідає формація .

Лема 3.5.  є непустою формацією для будь - якої групової функції .

Визначення 3.3. Нехай  – деяка формація. Якщо  – такий екран, що , то формація  називається східчастою формацією, причому в цьому випадку будемо говорити, що

 – екран формації ,

 має екран ,

екран  визначає формацію ,

 визначається екраном .

Формація  має одиничний екран. Одинична формація  має порожній екран.

Визначення 3.4. Екран  назвемо внутрішнім, якщо  – внутрішня групова функція, тобто  для будь - якої неодиничної групи .

Лема 3.6. Кожна східчаста формація має принаймні один екран.

Доказ. Нехай  – екран формації . Визначимо функцію  в такий спосіб:  для будь - якої групи . Легко бачити, що  – екран, причому . Якщо  й  – головний фактор групи , то . Тому що клас   - замкнуть, те, а виходить,   - центральний   Таким чином, . Отже, , тобто  – шуканий внутрішній екран.

Лема 3.7. Нехай  – екран формації . Тоді  є екраном формації .

Доказ. Нехай  – довільний головний фактор групи . Нехай . Тому що , те . Виходить, , тобто   - в.  Звідси треба, що .

Обернено, якщо , те головний ряд групи  буде  - центральним для будь - якого , тобто . Отже, .

Лема 3.8. Перетинання  будь - якої непустої множини  екранів формації  знову є екраном формації . Крім того, якщо в  є хоча б один внутрішній екран, те  – внутрішній екран.

Доказ. Те, що  – екран формації , безпосередньо треба з леми 3.7. Нехай у  є внутрішній екран . Тоді  для будь - якої групи . Виходить,  – внутрішній екран.

Формація з однорідним екраном

Теорема 3.1. (Шеметков) Усяка формація, що має принаймні один однорідний екран, є локальною формацією.

Доказ. Нехай формація  має однорідний екран. Через лему 3.6 формація  має внутрішній однорідний екран . Побудуємо локальний екран , що задовольняє наступній умові:  для будь - якого простого . Тоді  й, отже, . Припустимо, що формація  має групи, що не входять в , і виберемо серед всіх таких груп групу , що має найменший порядок. Тоді  є єдиною мінімальною нормальною підгрупою групи . Тому що , те для кожного  має місце







Якщо  неабелева, то  й . Якщо ж  –  - група, то виходить, що   - центральна в.  А це суперечить тому, що . Теорема доведена.

Локальна формація

Неодинична формація, що має локальний екран, містить деякі неодиничні групи.

Визначення 4.1. Формація  називається локальної, якщо вона має хоча б один локальний екран.

Визначення 4.2. Нехай  – внутрішній локальний екран формації , що є максимальним елементом множини всіх внутрішніх локальних екранів формації . Тоді  називається максимальним внутрішнім локальним екраном формації .

Теорема 4.1. (Картер і Хоукс [1], Шмид [5]). Локальна формація  має єдиний максимальний внутрішній локальний екран , причому  задовольняє наступній умові:  для будь - якого простого числа p.

Визначення 4.3. Нехай  – локальна формація. Мінімальний елемент множини всіх локальних екранів формації  назвемо мінімальним локальним екраном формації .

Теорема 4.2. Локальна формація має єдиний мінімальний локальний екран, що є до того ж внутрішнім екраном.

Доказ. Нехай  – множина всіх локальних екранів формації , причому . Позначимо через  перетинання множини екранів . У множині  є внутрішній екран, тому  – внутрішній екран формації . По лемі 3.4 екран  є локальним. Через лему 3.8  – шуканий екран.

Побудова локальних формацій

1. Формація всіх груп. Формація  має локальний екран  таким, що  для будь - якого простого .

2. Формація одиничних груп. Формація  має порожній екран, що, мабуть, локальний.

3. Формація нильпотентних  - груп. Нехай  – формація всіх нильпотентних  - груп,  – такий локальний екран, що  для кожного  для кожного . Очевидно,  – мінімальний локальний екран формації .

4. Формація  - груп. Нехай  – формація всіх  - груп,  – такий локальний екран, що  для кожного  для кожного . Очевидно,  –локальний екран формації .

5. Формація  - нильпотентних груп. Нехай  – формація всіх  - нильпотентних груп ( – фіксоване простої число),  – такий локальний екран, що  для будь - якого простого числа , відмінного від . Покажемо, що  – екран формації . Головний ряд  - нильпотентної групи  - центральний. Нехай . Потрібно встановити, що   - нильпотентна. Нехай  – мінімальна нормальна підгрупа групи . По індукції   - нильпотентна. Якщо  –  - група, то звідси треба, що й   - нильпотентна. Якщо ж  - група, те, тобто . Якщо тепер  –  - підгрупа з , то через  підгрупа   - нильпотентна, а виходить, і   - нильпотентна. Тим самим показано, що .

Теорема 5.1. У кожній  - групі  підгрупа  збігається з перетинанням у  всіх головних  - факторів групи .

Наслідок 5.1.1. У будь - якій групі  підгрупа Фиттинга  збігається з перетинанням у  всіх головних факторів групи .

Наслідок 5.1.2. Для кожної  - розв'язної групи  має місце включення .

Наслідок 5.1.3. (Фиттинг).  для будь - якої розв'язної групи .

Наслідок 5.1.4. (Чунихин [3]). Комутант  - групи  - нильпотентний.

6. Формація  - замкнутих груп. Нехай  – формація всіх  - замкнутих груп ( – деяка фіксована множина простих чисел),  – такий локальний екран, що  для кожного  для кожного . Покажемо, що  – екран формації .

Очевидно, . Припустимо, що клас  не порожній, і виберемо в ньому групу  найменшого порядку. Тоді  має єдину мінімальну нормальну підгрупу , причому  не є  - групою. Нехай . Тому що , те, а виходить, . Тому  – абелева  - група. Тому що   - замкнута, те й   - замкнута, тобто  має нормальну  - підгрупу . Ясно, що . Тому що , те . Легко бачити, що , а виходить, і група   - замкнута. Тим самим показано, що .

7. Формація  - дисперсивних груп. Нехай  – деяке лінійне впорядкування множини всіх простих чисел,  – формація всіх  - дисперсивних груп. Покажемо, що  локально.

Розглянемо всілякі множини  простих чисел, що володіють наступною властивістю:  для всіх . Нехай  – формація всіх  - замкнутих груп. Очевидно, . Тому що формації  локальні, то по лемі 3.4 формація  також є локальною.

8. Формація  - розв'язних груп. Нехай  – формація всіх  - розв'язних груп,  – такий локальний екран, що  для будь - якого простого . Неважко помітити, що  – максимальний внутрішній локальний екран формації . Зокрема, формація  є локальною.

9. Формація  - груп. Нехай  – формація всіх  - груп. Позначимо через  формацію всіх абелевих груп експоненти, що ділить . Побудуємо локальний екран  такий, що  для кожного  для кожного . Покажемо, що . Ясно, що . Нехай ,  – мінімальна нормальна підгрупа групи . По індукції . Якщо  –  - група, то   - понад розв'язна. Нехай порядок  ділиться на деяке число . Тоді, якщо , те







Звідси треба, що  –  - група.

Лема 5.1. Нехай  – деяка що не приводиться абелева група автоморфизмів  - групи  й . Тоді  – циклічна група порядку, що ділить . Крім того,  – найменше натуральне число, що задовольняє порівнянню .

Доказ. Будемо вважати, що  – аддитивна абелева група. Тоді  можна розглядати як правий векторний простір розмірності  над полем  з  елементів. Нехай  – комутативне підкольцо кільця , породжене елементами  й . Через умову  є правим  - модулем (визначення, пов'язані з  - модулями, див. у Кертиса й Райнера [1]). По лемі Шура,  – тіло. Тому що  комутативне, те . Легко бачити, що множина всіх ненульових елементів із  замкнуто щодо операції множення й, отже, є групою. Тому  – поле. Тому що  - модуль не  приводимо, те  для будь - якого ненульового ; але тоді відображення , є  - гомоморфізмом  - модуля  на . Тому що ядро  є ідеал поля , те  – ізоморфізм. Отже, . Відомо, що мультиплікативна група кінцевого поля циклічна. Тому  циклічна й  ділить .

Нехай  – найменше натуральне число, що задовольняє порівнянню . Тоді  ділить . Добре відомо, що поле  порядку  містить  порядку . Тому що циклічна група містить точно одну підгрупу кожного можливого порядку й  ділить, то . Але тоді  й . Лема доведена.

10. Формація . Нехай  – непуста формація,  – такий локальний екран, що  для будь - якого простого . Застосовуючи наслідок 7.1.1 можна побачити, що  – екран формації . Зокрема, формації  і  є локальними формаціями.

Нехай  – локальний екран деякої підформації  з . Застосовуючи леми 3.3 і 4.3, бачимо, що  є локальним  - екраном формації . Таким чином, кожна локальна підформація формації  має внутрішній локальний  - екран. Зокрема, будь - яка локальна підформація формації  має внутрішній локальний  - екран.

Локальні формації із заданими властивостями

Нехай  – деяка операція,  – локальний екран формації . Природно виникають два питання:

1) чи Буде   - замкнутої, якщо   - замкнута для будь - якого простого ?

2) чи Буде   - замкнутої для будь - якого простого , якщо   - замкнута?

Ми дамо позитивну відповідь на ці питання в деяких конкретних випадках.

Теорема Слепова 1 Нехай  – деякий клас груп,  – максимальний внутрішній локальний екран формації ,  – фіксоване простої число. Тоді справедливі наступні твердження:

1) якщо , те ;

2) якщо , те .

Доказ. Будемо доводити обоє твердження одночасно. Нехай  – одна з операцій , . Припустимо, що . Нехай  – (нормальна) підгрупа групи  й . Розглянемо регулярне сплетення , де ,  – елементарна абелева  - група. По лемі 3.11.  Тому що , те . Розглянемо головний ряд групи :







Нехай . Тому що  й , те







для кожного . Отже, , де . По властивості регулярного сплетення . Отже, , і по лемі 3.10 підгрупа  є  - групою. Тому що  й формація  є по теоремі 3.3   - замкнутої, то ми одержуємо, що . Теорема доведена.

Теорема Подуфалова, Слепова 2 Нехай  – максимальний внутрішній локальний екран формації . Формація   - замкнута (  - замкнута) тоді й тільки тоді, коли для будь - якого простого  формація   - замкнута (відповідно  - замкнута).

Доказ. Необхідність. Припустимо, що   - замкнуто (  - замкнута). Думаючи  й застосовуючи теорему , ми одержуємо, що   - замкнуто (  - замкнута) для будь - якого простого .

Достатність. Нехай для будь - якого простого  формація  є  - замкнутою (  - замкнутої). Нехай  – підгрупа (нормальна підгрупа) неодиничної групи . Покажемо, що . Тому що , те  володіє  - центральним головним рядом







Нехай . Тому що







те, де . Нехай . За умовою  й . Звідси, через , випливає, що . Тим самим установлено, що ряд







є  - центральним рядом групи . Теорема доведена.

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

Визначення. Клас груп  назвемо слабко  - замкнутим, , якщо  містить усяку групу , що має  нормальних  - підгруп з попарно взаємно простими індексами.

Легко помітити, що якщо  й  – підгрупи групи  причому  й  взаємно прості, те .

Теорема Слепова 3 Нехай  – локальний екран формації  й нехай для деякого натурального числа  виконується наступна умова: для будь - якого простого  формація  або збігається з , або входить в  і є слабко  - замкнутою. Тоді  слабко  - замкнута.

Доказ. Припустимо, що теорема невірна. Тоді існують групи, що не входять в , але  нормальних  - підгруп з попарно взаємно простими індексами. Виберемо серед всіх таких груп групу  найменшого порядку. Таким чином,  не належить , але має нормальні  - підгрупи  з попарно взаємно простими індексами. Ясно, що всі підгрупи  неодиничні.

Нехай  – мінімальна нормальна підгрупа групи . У  підгрупи  мають попарно взаємно прості індекси й належать . Тому що для  теорема вірна, те . Ясно, що  – єдина мінімальна нормальна підгрупа групи , причому  й  для кожного . Через теорему 4.3.  Тому що , те найдеться таке , що . Розглянемо , де  пробігає все  - головні фактори групи . Тому що , те, . Можливі два випадки.

Випадок 1. Нехай . Тоді  неабелева й . Звідси й з одиничності  випливає, що . Але тоді  й, отже,  можна розглядати як деяку групу групи , що діє тотожно на всіх  - головних факторах групи . По добре відомій теоремі Ф. Холу  нильпотентна. Тому що  до того ж нормальна в , те . Але тоді  для будь - якого , а тому що формація  слабко  - замкнута за умовою, те . Але тоді , тому що  й за умовою . Одержали протиріччя.

Випадок 2. Нехай . Тоді  входить в  і є  - групою. Тому що , те  абелева. Нехай  – максимальна підгрупа групи , не утримуюча . Тоді , , , . Звідси, через одиничність , містимо, що , a виходить, . По лемі 3.10  є  - групою. Але тоді і  є  - групою, причому . Ми одержуємо, таким чином, що  для кожного . Але тоді , тому що  слабко  - замкнута. Останнє означає, що   - центральна в , що суперечить рівності . Знову одержали протиріччя.

Теорема доведена.

Наслідок 4 Нехай група  має дві нормальні  - понад розв'язні підгрупи, індекси яких взаємно прості. Тоді   - понадрозв'язна.

Для того щоб одержати цей наслідок, досить помітити, що побудований екран задовольняє умові теореми  при .

Наслідок 5 Нехай група  має дві нормальні підгрупи, індекси яких взаємно прості. Тоді  понад розв'язна .

Теорема Слепова 6 Нехай формація  має такий локальний екран , що для будь - якого простого  формація  або збігається з , або входить в  і є  - замкнутою. Тоді   - замкнута.

Доказ. Повторюємо з очевидними змінами доказ теореми .

Теорема Слепова 7 Нехай  – максимальний внутрішній локальний екран формації . Формація   - замкнута (слабко  - замкнута, ) тоді й тільки тоді, коли для будь - якого простого  формація   - замкнута (відповідно слабко  - замкнута).

Доказ. Достатність випливає з теорем  і . Нехай   - замкнута (слабко  - замкнута, ). Нехай , де  – нормальні  - підгрупи (нормальні  - підгрупи з попарно взаємно простими індексами). Тому що , те . Покажемо, що .

Нехай , де ,  – елементарна абелева  - група.  для кожного . Тому що   - замкнута (слабко  - замкнута), те звідси випливає, що . Якщо  – перетинання в  усіх  - головних факторів групи , то






Тому що , те по лемі 3.10  підгрупа  є  - групою. Але тоді , тому що по теоремі 3.3  має місце рівність .

Теорема доведена.

Лема Чунихина 8 Нехай , , . Тоді . Зокрема, якщо  й , те  непроста.

Доказ. З рівності  треба, що







Отже, . Звідси, через  для кожного , одержуємо . Лема доведена.

Теорема Виландт 9 Група  розв'язна, якщо вона має три розв'язні підгрупи, індекси яких у  попарно взаємно прості.

Доказ. Нехай група  має розв'язні підгрупи ,  і  з попарно взаємно простими індексами. Тоді . Нехай  – мінімальна нормальна підгрупа з . Тому що  розв'язно, те,  – простої число. Через умову теореми,  не ділить одночасно  й . Нехай, для визначеності,  не ділить . Це значить, що силовська  - підгрупа з  є силовською  - підгрупою групи . Через теорему Силова , де . Тому що  й , те по лемі  . Таким чином,  – неодинична розв'язна нормальна підгрупа групи . У фактор - групі  індекси підгруп ,  і  попарно взаємно прості. По індукції  розв'язна, але тоді й  розв'язна. Теорема доведена.

Випливаючи Крамеру, уведемо наступне визначення.

Визначення. Клас груп  називається  - замкнутим ( – натуральне число), якщо  містить усяку групу , що має   - підгруп, індекси яких у  при  попарно взаємно прості.

По визначенню, порожня формація  - замкнута для кожного . Єдиної  - замкнутою непустою формацією, відмінної від , умовимося вважати .

Лема 10 Нехай  і  –  - замкнуті класи груп. Тоді  також  - замкнуть.

Доказ очевидно.

Наступна лема доведена Крамером.

Лема 11 Нехай формація  втримується в  і  - замкнута, . Тоді формація  є  - замкнутою.

Доказ. Нехай група  має  - підгрупи , ,…,,індекси яких у  попарно взаємно прості. Тому що , те по теоремі  група  розв'язна. При будь - якому гомоморфізмі групи  образи підгрупи  належать  і мають попарно взаємно прості індекси. Тому можна вважати, що  - корадикал  групи  є її єдиною мінімальною нормальною підгрупою. Ясно, що  є  - групою для якогось . Підгрупа Фиттинга  групи  також є  - групою. Індекс будь - якої підгрупи, що не містить , ділиться на . Тому  втримується принаймні в  підгрупах нашої системи підгруп . Будемо вважати, що , . Тому що  є  - групою, те  й , . Звідси й з наслідку випливає, що , . Тому що , те ми одержуємо, що , . Скориставшись  - замкнутістю формації , ми приходимо до того, що .

Лема доведена.

Теорема Крамер 12 Нехай  – такий локальний  - екран формації , що для будь - якого простого  формація   - замкнута, . Тоді   - замкнута.

Доказ. Тому що  –  - екран, то  для будь - якого простого , а виходить, . Нехай . Через лему 4.5.  Якщо , те  й   - замкнута; якщо ж , те по лемі  формація   - замкнута. У кожному разі   - замкнута. По лемі    - замкнута. Застосовуючи лему , ми бачимо, що й формація   - замкнута. Теорема доведена.

Тому що формація  має одиничний екран, що задовольняє умові теореми  при , те ми одержуємо

Наслідок Кегель 13 Група  нилъпотентна, якщо вона має три нильпотентні підгрупи, індекси яких у  попарно взаємно прості.

Цей факт випливає також і з наступного результату Кегля.

Лема 14 Клас усіх  - замкнутих груп  - замкнуть.

Доказ таке ж, як і в теореми .

Лема 15 Кожна формація нильпотентних груп є  - замкнутою.

Доказ. Нехай  – деяка формація нильпотентних груп. Нехай група  має  - підгрупи ,  і  з попарно взаємно простими індексами. Тоді по наслідку  група  нильпотентна. Якщо  – найвищий ступінь простого числа , що ділить , то  ділить  для деякого , тому що  не може ділити одночасно індекси всіх підгруп ,  і . Якщо  ділить, то силовська  - підгрупа  із  входить в  і є силовскою  - підгрупою групи . Тим самим показано, що всі силовські підгрупи нильпотентної групи  є  - групами. Тому що  – формація, те звідси треба, що .

Лема доведена.

Лема 16 Нехай  – якийсь  - замкнутий гомоморф  - замкнутих груп. Тоді клас   - замкнуть.

Доказ. Нехай група  має  - підгрупи ,  і  з попарно взаємно простими індексами. По лемі   має нормальну силовску  - підгрупу . Оскільки  є силовскої  - підгрупою в  і  – гомоморф, те . У групі  індекси підгруп ,  і  попарно взаємно прості. Тому через  - замкнутість  маємо . Лема доведена.

Лема 17 Для будь - якого простого  й будь - якої формації нильпотентних груп  клас  є  - замкнутою формацією.

Доказ. По лемі  клас   - замкнуть. По лемі  клас   - замкнуть і по теоремі 1.1  є формацією.

Теорема 18 Нехай  – локальна підформація формації ,  – максимальний внутрішній локальний екран формації . Якщо для будь - якого простого  формація   - замкнута, , то   - замкнута.

Доказ. Нехай . Через теорему 3.3  і леми 4.5, . Формація   - замкнута. По лемі  формація   - замкнута. Теорема доведена.

Теорема Крамер 19 Будь - яка локальна підформація формації  є  - замкнутою.

Доказ. Нехай  – локальна підформація формації .  має внутрішній локальний  - екран . Нехай  – максимальний внутрішній локальний екран формації . Тоді по теоремі 3.3  для будь - якого простого  має місце рівність . Тому що , те по лемі  формація   - замкнута. Тоді по теоремі  формація   - замкнута. Теорема доведена.

Наслідок Д рк 20 Нехай група  має чотири підгрупи, індекси яких у  попарно взаємно прості.




Висновок



У даній курсовій роботі ми дали визначення формації, добутку формацій, а також операцій на класах груп. Познайомилися з поняттям екрана, радикального й корадикального класів. У роботі розглянули ситуацію: кінцеві розв'язні групи з нормальною максимальною підгрупою, що належить локальної формації  формації  всіх груп з нильпотентним комутантом. Розглядали тільки кінцеві й розв'язні групи.

Теорія кінцевих груп ніколи не випробовувала недоліку в загальних методах, ідеях і невирішених проблемах, все - таки достаток отриманих результатів з неминучістю привело до необхідності розробки нових загальних методів і крапок, що систематизують, зору. Поштовх, зроблений роботою Гашюца, викликав цілу лавину досліджень і привів до виникнення нового напрямку - теорії формацій.


Література



1 Каргаполов М.И., Мерзляков Ю.І. Основи теорії груп. – К., 2003

2 Кертис Ч., Райнер И. Теорія подань кінцевих груп і асоціативних алгебр. – К., 2006

3 Чунихин С.А. О  - властивості кінцевих груп. –К., 2001

4 Шеметков Л.А. Формація кінцевих груп. – К., 2002