рефераты бесплатно
Рефераты бесплатно, курсовые, дипломы, научные работы, курсовые работы, реферат, доклады, рефераты, рефераты скачать, рефераты на тему, сочинения,рефераты литература, рефераты биология, рефераты медицина, рефераты право, большая бибилиотека рефератов, реферат бесплатно, рефераты авиация, рефераты психология, рефераты математика, рефераты кулинария, рефераты логистика, рефераты анатомия, рефераты маркетинг, рефераты релиния, рефераты социология, рефераты менеджемент и многое другое.
ENG
РУС
 
рефераты бесплатно
ВХОДрефераты бесплатно             Регистрация

Вивчення нильпотентної довжини кінцевих груп з відомими додаваннями до максимальних підгруп  

Вивчення нильпотентної довжини кінцевих груп з відомими додаваннями до максимальних підгруп











Дипломна робота

"Вивчення нильпотентної довжини кінцевих груп з відомими додаваннями до максимальних підгруп"


Зміст


Перелік умовних позначок

Введення

1. Підгрупа Фиттинга і її властивості

2. - довжина - розв'язної групи

3. Група з нильпотентними додаваннями до підгруп

4. Використовувані результати

Висновок

Список використаних джерел


Перелік умовних позначок


Розглядаються тільки кінцеві групи. Використовуються наступні позначення.

 - прості числа.

 - знак включення множин;

 - знак строгого включення;

 і  - відповідно знаки перетинання й об'єднання множин;

 - порожня множина;

 - множина всіх  для яких виконується умова ;

 - число  порівнянне із числом  по модулі .

 - множина всіх простих чисел;

 - деяка множина простих чисел, тобто ;

 - доповнення до  у множині всіх простих чисел; зокрема, ;

примарне число - будь-яке число виду , ;

 - множина всіх цілих позитивних чисел.

 - одинична група;

 - одинична матриця розмірності ;

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

) - спеціальна лінійна група ступеня  над полем з  елементів.

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

 - кінцеве поле порядку .

Нехай  - група. Тоді:

 - порядок групи ;

 - порядок елемента  групи ;

 - одиничний елемент і одинична підгрупа групи ;

 - також одинична підгрупа групи ;

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

 - множина всіх різних простих дільників натурального числа ;

- група - група , для якої ;

- група - група , для якої ;

Група  називається:

примарною, якщо ;

бипримарною, якщо .

 - підгрупа Фратіні групи , тобто перетинання всіх максимальних підгруп групи ;

 - підгрупа Фиттинга групи , тобто добуток всіх нормальних нильпотентних підгруп групи ;

 - комутант групи , тобто підгрупа, породжена комутаторами всіх елементів групи ;

 - найбільша нормальна розв'язна підгрупа групи ;

 - найбільша нормальна підгрупа непарного порядку групи ;

 - найбільша нормальна - підгрупа групи ;

 - - холовська підгрупа групи ;

 - силовська - підгрупа групи ;

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

 - група всіх автоморфизмов групи ;

 - головний ранг групи ;

 - - головний ранг групи ;

 -  є максимальною підгрупою групи ;

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


.


При введенні позначень  і  розглядаються всі максимальні ланцюги.

 - - довжина групи ;

 - нильпотентна довжина групи ;

 - похідна довжина групи ;

 -  є підгрупою групи ;

 -  є власною підгрупою групи ;

нетривіальна підгрупа - неодинична власна підгрупа;

 -  є нормальною підгрупою групи ;

 -  є мінімальною нормальною підгрупою групи ;

 -  є субнормальною підгрупою групи ;

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

 - індекс підгрупи  в групі ;


;


 - ядро підгрупи  в групі , тобто перетинання всіх підгруп, сполучених з  в ;

 - підгрупа, породжена всіма підгрупами, сполученими з підгрупою  з  елементами  з , тобто ;

 - централізатор підгрупи  в групі ;

 - нормалізатор підгрупи  в групі ;

 - центр групи ;

 - циклічна група порядку ;

 - симетрична група ступеня ;

 - знакозмінна група ступеня .

Якщо  й  - підгрупи групи , то:

 - прямий добуток підгруп  і ;

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

 -  і  ізоморфні.

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

 - підгрупа, породжена всіма , для яких виконується .

Групу  називають:

- замкнутої, якщо ;

- нильпотентною, якщо ;

- розкладеної, якщо  й  нормальні в.

Ряд підгруп  називається:

субнормальним, якщо  для кожного ;

нормальним, якщо  для кожного ;

головним, якщо  для всіх .


Введення


Відомо, що кінцеві розв'язні групи можна охарактеризувати як кінцеві групи, у яких доповнені всі силовські підгрупи. Ця теорема Ф. Холу [12] з'явилася джерелом розвитку одного з напрямків теорії груп, що складає в дослідженні будови груп з виділеними системами підгруп, що доповнюються. Як відзначає у своїй монографії С.Н. Черников [10,с.11]: "Вивчення груп з досить широкою системою підгруп, що доповнюються, збагатило теорію груп багатьма важливими результатами". До теперішнього часу виділені й повністю вивчені багато нових класів груп. При цьому намітилася тенденція до узагальнень як самого поняття доповнюється по способу виділення системи підгруп, що доповнюються. Системи підгруп, що доповнюються, виділялися, наприклад, за допомогою таких понять як примарність, абелевість, циклічність, нормальність і інші властивості кінцевих груп і їхніх комбінацій, а замість доповнюваності розглядалися - доповнюваність (якщо перетинання підгрупи з додаванням циклічне), - щільність (якщо для будь-яких двох підгруп  підгруп групи , з яких перша не максимальна в другий,  в існує що доповнюється (абелева) підгрупа, що строго втримується між ними), і ін. Огляд результатів цього напрямку можна знайти в [10].

Подібна тематика досліджується й у теорії формацій. У роботах В.А. Ведерникова [5,6], Го Вень Биня [11], А.Н. Скиби [7], Л.А. Шеметкова [8] і інших авторів досліджувалися формації із системами що доповнюються підформацією. Огляд результатів цього напрямку можна знайти в [9].

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

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

Робота складається із трьох глав.

У першому розділі "Підгрупа Фиттинга і її властивості" вивчені властивості підгрупи Фиттинга.

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

Визначення. Нильпотентною довжиною розв'язної групи  називають найменше , для якого . Нильпотентну довжину розв'язної групи  позначають через .

На основі підгрупи Фиттинга вводиться наступна

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

Також розглядається доказ теореми К. Дерка.

Теорема B. Якщо  - максимальна підгрупа розв'язної групи , те, де .

Доведено теорему Монахова В.С.

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

Визначення. Підгрупою Фратіні групи називається перетинання всіх її максимальних підгруп. Підгрупа Фратіні групи  позначається через .

Теорема C. (1) У розв'язній неодиничній групі підгрупа Фратіні збігається з перетинанням максимальних підгруп, що не містять підгрупу Фиттинга.

(2) У розв'язної ненильпотентної групі перетинання максимальних підгруп, що містять підгрупу Фиттинга, метанильпотентно.

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



у якому кожна факторгрупа  є або -групою, або -групою.

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



Доводиться

Теорема D. Якщо - -розв'язна група, де  - непарне просте число, то

(i)


(ii)  якщо  не є простим числом Ферма, і , якщо  - просте число Ферма. Крім того, ці оцінки не можна поліпшити.

У главі "Група з нильпотентними додаваннями до підгруп" доведена важлива теорема.

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

Теорема E. Кінцева нерозв'язна група з нильпотентними додаваннями до несверхразрешимим підгруп ізоморфна  або , де  - нильпотентна група, а  й  - прості числа.

Також доведений наслідок із цієї теореми.

Наслідок. Кінцева нерозв'язна група, у якій всі підгрупи непримарного індексу сверхразрешимі, ізоморфна  або , де  - - група, або , де  - -група.


1. Підгрупа Фиттинга і її властивості


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

Лема 1.1. (1)  - найбільша нормальна нильпотентна підгрупа групи ;


(2) ;

(3) .


Proof. (1) Нехай  і  - нильпотентние нормальні підгрупи групи  й нехай  і  - силовські -підгрупи з  і . Тому що , а , те  по лемі 4.1, с. 35. Аналогічно, , тому . Ясно,  - -група. Покажемо, що вона силовська в.  Для цього обчислимо її індекс:



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

(2) Ясно, що  для всіх , тому


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



(3) Якщо , те  й  нильпотентна, тому  по (1) і .

Лема 1.2. (1) ; якщо  розв'язно й , те ;

(2)  (3) якщо , те ; якщо, крім того,  абелева, те

Proof. (1) Оскільки підгрупа Фратіні  - нильпотентна нормальна підгрупа групи , те . Нехай  - розв'язна неодинична група. Тоді  розв'язна й неодинична. Нехай



Тому що  - -група для деякого простого , то по наслідку 4.2, с. 35, підгрупа  нильпотентна й . Отже, .

(2) Якщо , те  - нильпотентна нормальна в  підгрупа по теоремі 4.3, с. 35, тому  й



Зворотне включення треба з визначення підгрупи Фиттинга.

(3) Для мінімальної нормальної підгрупи  або , або . Якщо , то


Якщо , то  - елементарна абелева -група для деякого простого . Тому що , те . З іншого боку,  по теоремі 4.4, с. 35, тому .

Теорема 1.3.  для кожного . Зокрема, якщо  розв'язно, те

Proof. Нехай , . Тому що  по лемі 4.5, с. 35, те . Припустимо, що  для деякого  й нехай



Ясно, що  й  Нехай  - силовська -підгрупа групи . Тому що



-група, те, а оскільки , те  й . Тепер,  - нильпотентна нормальна підгрупа групи  й . Таким чином,  і перше твердження доведене. Якщо  розв'язно, то  розв'язно, тому  й .

Говорять, що підгрупа  групи  доповнюємо в , якщо існує така підгрупа , що  й . У цьому випадку підгрупу  називають доповненням до підгрупи  в групі

Теорема 1.4. Якщо  - нильпотентна нормальна підгрупа групи  й , те  дополняема в.

Proof. За умовою  а по теоремі 4.6, с. 35, комутант . По теоремі 4.7, с. 35, підгрупа Фратіні  а за умовою  Тому  й  абелева. Нехай  - додавання до  в.  По лемі 4.8, с. 35,  Оскільки  й  те  й по теоремі 4.7, с. 35,



Отже,  і  - доповнення до  в.

Теорема 1.5. Факторгрупа  є прямий добуток абелевих мінімальних нормальних підгруп групи .

Proof. Припустимо спочатку, що  й позначимо через  підгрупу Фиттинга  По теоремі 4.6 комутант  Але  значить  по теоремі 4.7, с. 35. Тому  й  абелева. Нехай  - прямий добуток абелевих мінімальних нормальних підгруп групи  найбільшого порядку. Тоді  й по теоремі 1.4 існує підгрупа  така, що  По тотожності Дедекинда  Але  абелева, тому  а тому що , те  На вибір  перетинання  й

Нехай тепер  і  По лемі 1.2(2)  Тому що  те для  твердження вже доведене.

Наслідок 1.6. У розв'язній групі з одиничною підгрупою Фратіні підгрупа Фиттинга є прямий добуток мінімальних нормальних підгруп.

Страницы: 1, 2, 3


© 2010.