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

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

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


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


Введення


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

Сохранить в соц. сетях:
Обсуждение:
comments powered by Disqus

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

Слов:6461
Символов:38278
Размер:74.76 Кб.