Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

3) Ми можемо, таким чином, уважати, що всі прямі з попарно ортогональні. Міркування, використані в п.2), показують тоді, що якщо - довільна пряма з , те містить всі прямі, ортогональні до , а це неможливо. Пропозиція доведена.

10. Основні результати

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

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

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

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

Доказ. Припустимо, що ділить . Із [6] треба, що є однієї з наступних груп , , або . Нехай спочатку . У цьому випадку . Із [6] треба, що це в точності максимальна параболічна підгрупа групи й . З порівняння порядків групи й добутки одержуємо наступну максимальну факторізацію:

Нехай тепер є однієї з наступних груп , або . Із сказаного вище випливає, що не ізоморфно . З пункту 2.4 [7] одержимо, що є або . По теоремі 2.4D [7] є 3 або 7. Якщо , тоді 5 ділить . У цьому випадку із [6] треба, що одна із груп , , . Оскільки , те ділить . Однак не ділиться на . Протиріччя з тим, що . Отже, і . Тому що 27 ділить , то є параболічною підгрупою групи й має місце факторизация:

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

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

Лема 50 Нехай . Тоді

Доказ. Із [8] треба, що є максимальною підгрупою в. Нехай і . Позначимо

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

Тоді - група, що фіксує розкладання:

Із [8] треба, що стабілізатор цього розкладання , і .

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

У наведених позначеннях з урахуванням таблиці 1 [7] і леми 50 одержимо:

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

1) ,

2) ,

3) ,

4) ,

5) .

Висновок

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

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

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

1) ,

2) ,

3) ,

4) ,

5) .

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

1. Монахов В.С. Введення в теорію кінцевих груп і їхніх класів. - К., 2004

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

3. Хол Ф., Теорія груп. - К., 2003

4. Горенстейн Д., Кінцеві прості групи: введення в їхню класифікацію., - К., 2003

5. Казарін Л.С., Факторізації кінцевих груп розв'язними підгрупами // Укр. мат. журн. 1991. Т.43, N 7 - і 8. С.947 - і 950.

6. Mitchel H.H., Determination of the finite quaternary linear groups. Trans. Amer. Math. Soc. V.14, 1913. p.123--142.

7. Liebek M.W., Praeqer C.E., Saxl J., The maximal factorizations of the finite simple groups and their automorphism groups. Mem. Amer. Math. Soc. V.86, N.432. p.1--151.

8. Suzuki M., A new type of simple groups of finite order. Proc. Nat. Acad. Sci. US 46, 1960. p.868--870.

Характеристики

Список файлов ВКР