Кінцева група допускає факторізацію, якщо для деяких підгруп і групи . При цьому виникають дві задачі: які факторізації допускає задана група і як будова співмножників і впливає на будову самої групи . Природно, що вивчення кінцевих груп, що володіють факторізацією, дає можливість глибше зрозуміти будову кінцевої групи. Дана тематика вивчалася такими видними математиками як Ф. Хол, С.А. Чунихин, Х. Виландт, Л.С. Казарін, Д.И. Зайцев, С.А. Сискин і ін. Ними був доведений ряд глибоких результатів у теорії кінцевих груп. Аналогічні задачі виникають і в інших розділах математики (наприклад, в алгебрах Чи).

Після завершення класифікації кінцевих простих неабелевих груп актуальної стала задача одержання факторизаций конкретних простих неабелевих груп і, зокрема, простих груп лієвського типу малого лієвського рангу. Дані питання розглядалися Н. Іто, що одержав всі факторізації лінійних груп лієвського рангу 1 над кінцевим полем Галуа, а також С. Блаумом, що описали факторізації лінійних і унітарних груп розмірності 3.

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

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

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

Будемо розрізняти знак включення множин і знак строгого включення ;

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

- потужність множини ;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

;

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

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

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

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

Якщо , то .

Якщо , , то .

Класи груп, тобто сукупності груп, замкнуті відносно ізоморфізмов, позначаються прописними готичними буквами. За деякими класами закріплені стандартні позначення:

- клас всіх груп;

- клас всіх розв'язних груп.

3. Основні поняття

Групою називається непуста множина з бінарною алгебраїчною операцією (множенням), що задовольняє наступною вимогою:

1) операція визначена на , тобто для всіх ;

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

3) в існує одиничний елемент, тобто такий елемент , що для всіх , що для всіх ;

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

Більш коротко: напівгрупа з одиницею, у якій кожний елемент володіє зворотним, називається групою.

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

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

Теорема 1 Непуста підмножина групи буде підгрупою тоді й тільки тоді, коли й для всіх .

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

Лема 2 1. Якщо - підмножина групи , то централізатор є підгрупою.

2. Якщо й - підмножина групи й , то .

3. Якщо - підмножина групи й , то .

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

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

Теорема 3 Циклічна підгрупа , породжена елементом , складається із усіляких цілих ступенів елемента , тобто .

Наслідок 4 Циклічна підгрупа абелева.

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

Якщо - непуста підмножина групи й те й . Елемент називається перестановочним з підмножиною , якщо . Рівність означає, що для будь-якого елемента існує такий елемент , що . Якщо елемент перестановочний з підмножиною , то й . Сукупність всіх елементів групи , перестановочних з підмножиною , називається нормалізатором підмножини в групі й позначається через . Отже,

5. Нехай - непуста підмножина групи , - довільний елемент групи . Тоді:

1) ;

2) ;

3) ;

4) ;

5) якщо - підгрупа групи , те .

Підгрупа називається нормальною підгрупою групи , якщо для всіх . Запис читається: " - нормальна підгрупа групи ". Рівність означає, що для будь-якого елемента існує елемент такий, що .

Теорема. 6 Для підгрупи групи наступні твердження еквівалентні:

1) - нормальна підгрупа;

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

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

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

1) ;

2) якщо й , те ;

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

4) якщо , те . Обернено, якщо , те ;

5) для будь-якої непустої підмножини групи .

У кожній групі тривіальні підгрупи (одинична підгрупа й сама група ) є нормальними підгрупами. Якщо в неодиничній групі немає інших нормальних підгруп, то група називається простій. Одиничну групу вважають непростий.

4. Ізометрії

Знакозмінні простори

Векторний простір над полем називається знакозмінним, якщо на ньому задана знакозмінна білінійна форма , тобто відображення з наступними властивостями:

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

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

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

Доказ. Це тривіально треба з визначень.

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

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

Якщо існує хоча б одна база, у якій має матрицю , то будемо писати . Матриця , асоційована зі знакозмінним простором зазначеним способом, є, мабуть, знакозмінної. Що відбувається при зміні бази? Припустимо, що в базі й - матриця переходу від першої бази до другого, тобто . Тоді звідки видно, що зміна матриці простору при зміні бази описується співвідношенням .

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

Дискримінантом векторів у знакозмінному просторі називається визначник

Зокрема, якщо - база простору й у цій базі, те Якщо - інша база, то співвідношення показує, що для якогось із . Отже, канонічний образ елемента в не залежить від бази; він називається дискримінантом знакозмінного простору й позначається через . Тут множина визначається очевидним образом: беремо , приєднуємо до неї нуль 0 і думаємо, що добуток нуля й будь-якого іншого елемента дорівнює нулю. Запис , де , буде позначати, що дорівнює канонічному образу елемента в або, інакше кажучи, що має базу , для якої . Якщо , то думаємо .

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

Аналогічно матриця перетворення щодо баз і дорівнює .

Пропозиція 10 Будь-які векторів знакозмінного простору , такі, що , лінійно незалежно.

Доказ. Залежність спричиняє для . Це означає залежність між рядками матриці , що неможливо, тому що дискримінант не дорівнює 0.

Пропозиція11 Наступні твердження для знакозмінного простору рівносильні:

біективно, біективно.

Доказ. Можна вважати, що . Зафіксуємо базу простору , і нехай - сполучена база. Нехай в. Через


	оборотна
	біективно,

тому (3) рівносильне (5). Аналогічно (3) рівносильне (4). Далі

біективно



	,

так що (5) рівносильне (2). Нарешті, мабуть, що (2) рівносильне (1).

Визначення 12Знакозмінний простір називається регулярним, якщо воно задовольняє одному з п'яти рівносильних умов . Знакозмінний простір називається виродженим, якщо воно не є регулярним. Нарешті, воно називається цілком виродженим, якщо .

Якщо , то регулярно. Якщо , то через і

Пропозиція.13 Нехай - уявлення знакозмінних просторів. Якщо регулярно, то - ізометрія.

Доказ. Візьмемо з ядра уявлення . Тоді . Звідси через регулярність простору одержуємо, що .

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

Доказ.1) Покладемо для , де - сполучена до база сполученого простору . Тоді - база, тому що біективно. Крім того, . Цим доведене існування бази . Одиничність безпосередньо треба з регулярності. 2) Нехай . Тоді й Звідси , так що й .

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

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

Важливим є випадок, коли , для всіх і для всіх ; тоді

Якщо дано ще одне таке уявлення , то

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

співпадаюче також з

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

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

регулярно кожне регулярно,

регулярно .

Доказ. (1) Візьмемо в довільний елемент і запишемо його у вигляді , . Тоді

так що , звідки . Обернено, якщо , де , те звідки . (2) Це треба з (1) і того, що знакозмінний простір регулярний тоді й тільки тоді, коли його радикал дорівнює . (3) Якщо , , те звідки . Отже, і, виходить, .

Пропозиція 16 Якщо - підпростір знакозмінного простору , те - анулятор простору в , тобто . Зокрема, .

Доказ безпосередньо треба з визначень.

Пропозиція 17 Нехай - регулярний підпростір знакозмінного простору . Тоді розщеплює , точніше, . Якщо - інше розщеплення, .

Доказ. Тому що регулярно, те . Отже, через

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

Пропозиція 18 Якщо й - довільні підпростори регулярного знакозмінного простору розмірності , те

Доказ. Тому що регулярно, те через відображення біективно. Отже, , звідки через . Цим доведено (1). Далі, , тому порівняння дає . Цим доведено (2). Доведемо тепер (3):

Аналогічно доводиться (4). Нарешті, твердження (5) тривіально.

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

Зі співвідношень

треба рівність , тому регулярно.

Теорема 19 Якщо - регулярний знакозмінний простір розмірності , те

Зокрема, регулярний знакозмінний простір має парну розмірність і дискримінант . Крім того, регулярні знакозмінні простори однакової розмірності над тим самим полем ізометричні.

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

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

База регулярного знакозмінного простору називається гіперболічної, якщо

і сімплектичною, якщо

Якщо

гіперболічна база простору , то перестановка

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

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

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

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

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

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

Доказ. Зрозуміло, (через ). Нехай , - база підпростору . Тоді - база простору .

Нехай - сполучена до неї база відносно (див. ). Оскільки , те елементи лежать в. Виходить, - база простору , а симплектична база в.

Пропозиція 23 Нехай - регулярний знакозмінний простір і його симплектична база.

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

де - оборотна - матриця, а - матриця задовольняє співвідношенню .

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

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

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

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

Далі , тому що ізометричне , тому й, отже, по теоремі існує ізометрія простору на . Таким чином, існує продовження ізометрії до ізометрії простору на .

5. Проективні перетворення

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

Очевидно, що композиція геометричних перетворень - геометричне перетворення й перетворення, зворотне до геометричного, - також геометричне. Геометричне перетворення зберігає включення, об'єднання й перетинання підпросторів, а також ряди Жордана - і Гельдера, що тому справедливо випливає пропозиція.

Пропозиція 25 Якщо - геометричне перетворення простору на , те для будь-яких підпросторів , простори виконуються співвідношення

Під проективним простором простору ми будемо розуміти множину всіх підпросторів простору . Таким чином, складається з елементів множини , що є підпросторами в ; . Будь-які два елементи й з мають об'єднання й перетинання, а саме й , так що - ґрати; вона має найбільший елемент і найменший елемент . Кожному елементу простору зіставляється число . Кожне з володіє поруч Жордана - Гельдера , і всі такі ряди мають довжину . Покладемо

і назвемо , , множинами прямих, площин і гіперплощин простору відповідно.

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

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

Пропозиція 26 Якщо - проективність простору на , те для будь-яких елементів , з виконуються співвідношення

Зокрема, відображає на й визначається своїми значеннями на , тобто на прямих.

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

Зокрема, композиція проективних геометричних перетворень і перетворення, зворотне до проективного геометричного, самі є проективними геометричними.

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

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