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

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

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

Введення

Формації, тобто класи груп, замкнуті відносно фактор - груп і під прямих добутків, завжди перебували в поле діяльності дослідників по теорії кінцевих груп. Однак аж до 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