Про скінченні підгрупи повної лінійної групи над областями цілісності

Размещено на http://www.allbest.ru/

Київський національний університет імені Тараса Шевченка

УДК 512.86

Про скінченні підгрупи повної лінійної групи над областями цілісності

01.01.06 -- алгебра і теорія чисел

АВТОРЕФЕРАТ

дисертації на здобуття наукового ступеня кандидата фізико-математичних наук

Юрченко Наталія Василівна

Київ 2007

Дисертацією є рукопис.

Робота виконана на кафедрі алгебри Ужгородського національного університету.

Науковий керівник: доктор фізико-математичних наук, професор

ГУДИВОК Петро Михайлович,

Ужгородський національний університет,

завідувач кафедри алгебри.

Офіційні опоненти: доктор фізико-математичних наук, професор

БОДНАРЧУК Юрій Вікторович,

Національний університет "Києво-Могилянська

академія", м. Київ,

завідувач кафедри математики;

доктор фізико-математичних наук,

старший науковий співробітник,

БОНДАРЕНКО Віталій Михайлович,

Інститут математики НАН України, м. Київ,

провідний науковий співробітник відділу алгебри.

Захист відбудеться __21 січня_ 2008 року о _14.00 годині на засіданні спеціалізованої вченої ради Д 26.001.18 при Київському національному університеті імені Тараса Шевченка за адресою: 03127, м. Київ, проспект акад. Глушкова, 2, корпус 7, механіко-математичний факультет.

З дисертацією можна ознайомитись у Науковій бібліотеці імені М. Максимовича Київського національного університету імені Тараса Шевченка за адресою: м. Київ, вул. Володимирська, 58.

Автореферат розісланий __18 грудня__ 2007 року.

Вчений секретар спеціалізованої вченої ради В. В. Плахотник

спряженість силовський лінійний

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальність теми. Ще в 1960 р. Д. О. Супруненко описав всі з точністю до спряженості силовські р-підгрупи повної лінійної групи над алгебраїчно замкнутим полем. Згодом цей результат був узагальнений Р. Т. Вольвачевим. Описання силовських р-підгруп повної лінійної групи над довільним полем, запропоноване Р. Т. Вольвачевим, для р = 2 виявилось неповним, про що вперше відмічено в роботі С. Ледхам-Гріна і В. Плескена. Повне описання силовських 2-підгруп повних матричних груп над полем Т одержав В. С. Конюх. В. М. Петечук запропонував свій підхід до описання силовських р-підгруп в повних матричних групах над довільним полем.

Якщо K - довільне комутативне кільце з одиницею, то задача про спряженість, а також задача про ізоморфізм силовських р-підгруп групи GL(n, K) далекі до повного розв'язання. Якщо K = Z - кільце цілих раціональних чисел, то задачу про спряженість силовських р-підгруп групи GL(n, Z) розв'язав П. М. Гудивок. Задача про ізоморфізм силовських р-підгруп в групі GL(n, Z) розв'язана П. М. Гудивком та В. П. Рудьком.

Також розв'язується задача про спряженість силовських р-підгруп групи GL(n, K), де K - повне дискретно нормоване кільце характеристики нуль з полем лишків характеристики .-

В. П. Платонов показав, що всяка мінімальна незвідна підгрупа повної лінійної групи GL(n, S) (S - довільне поле) скінченна. Д. О. Супруненко і В. П. Юферев описали з точністю до спряженості мінімальні незвідні розв'язні підгрупи групи GL(p, S) (p - просте число). Аналогічна задача розв'язана для груп GL(p², Q) і GL(pq, Q), де q - просте число (р > q) і q не ділить р - 1. Т.І. Копилова досліджувала властивості мінімальних незвідних розв'язних підгруп групи GL(p², S), де S - алгебраїчно замкнуте поле і описала мінімальні незвідні нільпотентні підгрупи групи GL(p², S).

Зв'язок роботи з науковими програмами, планами, темами. Тема дисертаційної роботи пов'язана з тематикою наукових досліджень кафедри алгебри Ужгородського національного університету (номер державної реєстрації 0198V007796).

Мета дослідження:

* вивчення силовських підгруп повної лінійної групи над деякими областями цілісності;

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

Задачі дослідження:

* розв'язати задачу про спряженість силовських р-підгруп групи GL(n, K), де K - область головних ідеалів характеристики нуль, р - просте число, необоротне в K. Дослідити питання про ізоморфізм силовських р-підгруп групи GL(n, K). Описати з точністю до ізоморфізму незвідні силовські 2-підгрупи групи GL(2, Z) над деякими кільцями головних ідеалів Z;

* з'ясувати, при яких умовах існують з певними властивостями силовські р-підгрупи в групі GL(р, R), де R - кільце цілих величин скінченного розширення поля р-адичних чисел містить первісний корінь степеня рⁿ з одиниці. Знайти деякі силовські р-підгрупи групи GL(р, R);

* дослідити існування попарно неізоморфних силовських р-підгруп в повній лінійній групі GL(р, R) (n > 1) над кільцем R всіх цілих алгебраїчних чисел;

* дати класифікацію неспряжених мінімальних незвідних р-підгруп груп GL(n, Q()) (р - просте число, ^p = 1, 1) і GL(р(р - 1), Q), а також мінімальних незвідних нільпотентних підгруп групи , де р₁, ..., р_s - різні непарні прості числа, р₁ < p₂ < … < p_s (r_j 1, );

* описати з точністю до ізоморфізму мінімальні незвідні р-підгрупи груп GL(р², Q()) і GL(р²(р - 1), Q); знайти деякі класи мінімальних незвідних розв'язних підгруп групи GL(pq, Q), де p і q - прості числа, p > q і q ділить р - 1.

Наукова новизна одержаних результатів. В дисертаційній роботі отримано такі результати:

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

* Описуються з точністю до ізоморфізму незвідні силовські 2-підгрупи групи GL(2, Z) над деякими кільцями головних ідеалів Z.

* Нехай кільце R цілих величин скінченного розширення поля р-адичних чисел містить первісний корінь степеня рⁿ з одиниці. Вперше показується, що: 1) якщо р > 2 і n = 1, то в групі GL(р, R) міститься по крайній мірі (р - 2) незвідних силовських р-підгруп попарно різних порядків; 2) якщо р > 2 і n > 1, то в групі GL(р, R) існують абелеві силовські підгрупи типів (рⁿ, p²), ... , (рⁿ, рⁿ); 3) якщо р = 2 і n > 2, то в групі GL(2^{n - 1}, R) існує абелева силовська 2-підгрупа типу (2ⁿ, 2ⁿ).

* Вперше доводиться, що в повній лінійній групі GL(n, R) (n > 1) над кільцем R всіх цілих алгебраїчних чисел існує нескінченно багато попарно неізоморфних силовських р-підгруп.

* Вивчаються мінімальні незвідні розв'язні підгрупи груп GL(n, Q) і GL(n, Q()) ( ^р = 1, 1, р - просте число). Вперше описані мінімальні незвідні р-підгрупи груп GL(р^r, Q()) (r 2) і GL(р^s(p - 1), Q) (s 2).

* Знайдені деякі класи мінімальних незвідних розв'язних підгруп групи GL(pq, Q), де р і q (р > q) - прості числа і q ділить р - 1.

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

Особистий внесок здобувача. Основні результати, які ввійшли в дисертацію, одержані дисертантом самостійно. Частина результатів, які ввійшли в підрозділи 2.2 і 3.2, одержані разом з П. М. Гудивком та В. П. Рудьком.

Апробація результатів роботи. Результати, які викладені в дисертаційній роботі, доповідались і обговорювались на таких семінарах і конференціях:

* алгебраїчних семінарах кафедри алгебри Ужгородського національного університету (Ужгород, 2000-2006);

* Міжнародній алгебраїчній конференції в рамках Українського математичного конгресу, присвяченого пам'яті М. В. Остроградського (Ужгород, 2001);

* 55-й, 56-й, 57-й, 58-й, 59-й, 60-й, 61-й підсумкових конференціях професорсько-викладацького складу УжНУ (Ужгород, 2001-2007);

* Десятій міжнародній науковій конференції імені академіка М. Кравчука (Київ, 2004);

* Одинадцятій міжнародній науковій конференції імені академіка М. Кравчука (Київ, 2006).

Публікації. Основні результати дисертаційної роботи опубліковано в працях [1-9], 6 з яких надруковано у виданнях з переліку, затвердженого ВАК України.

Структура та обсяг дисертації. Дисертація складається з вступу, трьох розділів, висновків та списку використаних джерел, який містить 39 найменувань. Повний обсяг роботи становить 129 сторінок, з них 124 сторінки загального змісту та 5 сторінок списку використаних джерел.

ОСНОВНИЙ ЗМІСТ РОБОТИ

У першому розділі ”Огляд літератури” наведені відомі результати про силовські підгрупи повної лінійної групи над полем.

У другому розділі ”Про силовські підгрупи повної лінійної групи над областю цілісності” досліджується питання про спряженість та ізоморфізм силовських підгруп повної лінійної групи над деякими областями цілісності. Розділ починається оглядом основних результатів про силовські р-підгрупи повної лінійної групи над кільцем цілих раціональних чисел (підрозділ 2.1 ”Попередні відомості”). В підрозділі 2.2 ”Про силовські р-підгрупи повної лінійної групи над областями головних ідеалів” основними результатами є розв'язання задачі про спряженість силовських р-підгруп групи GL(n, K), якщо р - необоротне в області K головних ідеалів характеристики нуль. Знайдені, залежні від р і K, достатні умови ізоморфізму силовських р-підгруп повної лінійної групи над кільцем K головних ідеалів характеристики нуль. Описуються з точністю до ізоморфізму незвідні силовські 2-підгрупи групи GL(2, Z) над деякими кільцями головних ідеалів Z.

Нехай K - область цілісності з одиницею, GL(n, K) - повна лінійна група над кільцем K, тобто група всіх оборотних матриць порядку n над кільцем K.

Нехай = (1 2 ... р) - цикл довжини р і С_р = - циклічна порядку р група підстановок степеня р. Нехай Н - підгрупа групи GL(t, K). Позначимо через

W_p(H) = H C_p (1)

сплетіння групи Н і групи підстановок C_p. Група W_p(H) міститься в GL(pt, K) і є напівпрямим добутком нормальної підгрупи Н^р і циклічної порядку р підгрупи, породженої матрицею _р Е_t, де _р - матриця підстановки і Е_t - одинична матриця порядку t.

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

Лема 2.2. Нехай Н - неодинична незвідна силовська р-підгрупа групи GL(s, R_p). Тоді W_p(H) є незвідною силовською р-підгрупою групи GL(sр, R_p). Якщо ж Н є силовською р-підгрупою групи GL(s, F), то W_p(H) є силовською р-підгрупою групи GL(sр, F), за винятком випадку, коли виконуються наступні умови: р = 2, s = 1, H = 1, -1 і в полі F існує такий елемент , що ² = 2.

Нехай далі - корінь степеня р з одиниці, 1; d_р = (F() : F); Sl_р(T) - силовська р-підгрупа мультиплікативної групи Т* області цілісності Т; Р_р = Sl_р(F()); K - кільце цілих над R_p величин поля F() (якщо р = 2, то K = K₂); - матриця оператора множення на F() у фіксованому фундаментальному базисі поля F(), - матриця порядку d_р над полем F; - матриця над F, отримана з матриці А = (_ij) над F() заміною всіх матричних елементів _ij F() на матриці- підгрупа в GL(d_рn, F) (G - підгрупа в GL(n, F()).

Основні результати підрозділу сформульовані в наступних теоремах:

Теорема 1.2. Нехай р > 2, d_р > 1 і |P_р| > p. Силовські р-підгрупи групи GL(n, R_p) ізоморфні тоді і тільки тоді, коли n < d_р.

Теорема 2.2. Нехай р = 2, (F(i) : F) = 2, (i² = -1) і |Sl₂(F(i))| > 4. Силовські 2-підгрупи групи GL(n, R₂) (n > 1) не ізоморфні.

Теорема 3.2. Нехай R_p ( ^p = 1, 1) та |P_р| > 2p. В групі GL(n, R_p) (n > 1) існують неізоморфні силовські р-підгрупи.

Теорема 4.2. Нехай р > 2 і R_p ( ^p = 1, 1). Силовські р-підгрупи групи GL(n, R_p) (n > 1) ізоморфні тоді і тільки тоді, коли |P_р| = p і n = 2.

Теорема 5.2. Нехай силовські р-підгрупи групи GL(n, R_p) ізоморфні. Тоді виконується одна з наступних умов:

1) n = 1 або n < d_р, якщо d_р > 1;

2) p > 2, |P_р| = p і n < 3d_р;

3) р = 2, |P₂| 4 і n 3.

Теорема 6.2. Нехай р > 3, |P_р| = p і 1 < d_р < p - 1. Силовські р-підгрупи групи GL(n, R_p) ізоморфні тоді і тільки тоді, коли n < 2d_р.

Теорема 7.2. Нехай р > 2. Силовські р-підгрупи групи GL(n, R_p) (n > 1) спряжені тоді і тільки тоді, коли d_р > 1 і виконується одна з наступних умов:

1) n < d_р;

2) n = d_р, |P_р| = p і R_p[] - кільце головних ідеалів.

Введемо деякі позначення. Припустимо, що 2 - простий елемент в R₂ і K = R₂[i] - кільце головних ідеалів. Кожний елемент в F(i) однозначно представимо у виді + i (, F). Нормою N(z) елемента z = + i (, F) назвемо

Очевидно, що нормене відображення N : K* є гомоморфізмом груп.

Очевидно, - гомоморфізм груп.

Теорема 8.2. Силовські 2-підгрупи групи GL(n, R₂) (n > 1) спряжені в цій групі тоді і тільки тоді, коли n = 2, |P₂| = 2 і виконуються наступні умови:

Розглянемо силовські 2-підгрупи групи GL(2, Z) над деякими кільцями головних ідеалів діедра порядку 8 є силовською 2-підгрупою в групах GL(2, Z), GL(2, Q), єдиною, з точністю до спряженості, в останній з цих груп.

Лема 23.2. Циклічна порядку 4 група Н, що породжена матрицею буде силовською 2-підгрупою групи GL(2, Z).

Лема 24.2. В умовах леми 23.2 група Н є незвідною підгрупою в GL(2, Z).

Теорема 10.2. Нехай Z - кільце головних ідеалів. З точністю до ізоморфізму група GL(2, Z) має точно дві незвідні силовські 2-підгрупи - це групи D₄ і Н.

Доведення теореми 10.2 випливає із лем 23.2-24.2. Відмітимо при цьому, що в умовах теореми 10.2 незвідність над кільцем Z тягне за собою незвідність над полем Q.

Прикладами кілець Z, що задовільняють умові теореми 10.2, є кільця з d = 31, 47, 127. Згідно теореми Дірихле про арифметичні прогресії, існує нескінченно багато простих чисел d виду (2).

В підрозділі 2.3 ”Про силовські р-підгрупи повної лінійної групи над кільцем цілих Р-адичних чисел” розглядається кільце R цілих величин скінченного розширення F поля р-адичних чисел, що містить первісний корінь _n степеня рⁿ із одиниці і t - простий елемент в R такий, що _n - 1 = t^d, R*, R* - мультиплікативна група кільця R. Нехай силовська р-підгрупа Р групи R* має порядок рⁿ, тобто Р = _n.

Нехай р-підгрупа G_n(p) групи GL(p, F) є сплетіння Р С_р групи Р і циклічної порядку р групи С_р підстановок, породженої циклом (12...р). Група G_n(p) породжується діагональною матрицею і матрицею b підстановки (12...р):

G_n(p) = а = diag[_n, 1, …, 1], b GL(p, R). (3)

Група G_n(p) - незвідна підгрупа в групі GL(p, R) і її порядок рівний р^{np + 1}. Відмітимо, що при р > 2 або при р = 2 і n > 1 силовські р-підгрупи групи GL(p, F) спряжені в цій групі з підгрупою G_n(p). На початку розділу сформульовані, а далі доведені наступні теореми.

Теорема 11.2. Нехай р > 2 і n = 1. В групі GL(p, R) існують принаймні (р - 2) незвідні силовські р-підгрупи попарно різних порядків.

Групове кільце L = RС_р перетворимо в RG_n(p)-модуль, в R-базисі 1, b, …, b^{p - 1} (4) якого матриці операторів a і b співпадають з матрицями a і b відповідно (див. (3)).

Введемо в розгляд деякі підгрупи в групі G. Нехай

Ці підгрупи утворюють нормальний ряд

порядки факторів якого рівні р.

Для кожного модуля L_j введемо в розгляд матрицю T_j переходу від R-базиса (4) в L до R-базиса (5) в L_j (j = 2, …, p - 1). Окрім цього, нехай L_p = L і T_p = E. Нехай далі

Група V_j (j = 1, …, p - 1) буде підгрупою групи GL(p, R).

Твердження 2.2. Групи V₂, …, V_{p - 1} є силовські р-підгрупи групи GL(p, R).

Теорема 12.2. Нехай p > 2 і n > 1. В групі GL(p, R) існують силовські р-підгрупи, які є абелевими групами типів (рⁿ, p²), …, (рⁿ, pⁿ) відповідно.

Нехай p > 2 і n > 1, 2 k n, = _k - первісний корінь степеня р^k із одиниці, = _n, = ₁,

(E - одинична матриця). Тоді H_k - абелева типу (рⁿ, p^k) підгрупа групи GL(p, R).

Твердження 4.2. Групи H_k (k = 2, …, n) є силовські р-підгрупи групи GL(p, R).

Теорема 12.2 є наслідком твердження 4.2.

Теорема 13.2. Нехай p = 2 і n > 2. В групі GL(2^{n - 1}, R) існує силовська 2-підгрупа, що є абелевою групою типу (2ⁿ, 2ⁿ).

Нехай р = 2, n > 1, = _n, d_n - діагональна матриця порядку 2^{n - 1}, діагональними елементами якої є всі первісні корені степеня 2ⁿ із одиниці (d₁ = -1, d₂ = diag[i, -i], (i² = -1) і т. д.).

Нехай b = diag[, d_{n - 1}, …, d₂, d₁] + J_t(0) (J_t(0) - жорданова клітка порядку t з нулем по діагоналі) - елемент порядку 2ⁿ в групі GL(2^{n - 1}, R).

Твердження 5.2. При n > 2 абелева типу (2ⁿ, 2ⁿ) група Н = а = Е, b (E - одинична матриця) буде силовською 2-підгрупою групи GL(2^{n - 1}, R).

В підрозділі 2.4 ”Силовські р-підгрупи повної лінійної групи над кільцем всіх цілих алгебраїчних чисел” R - кільце всіх цілих алгебраїчних чисел. Доводиться наступна теорема:

Теорема 15.2. В групі GL(n, R) (n > 1) існує нескінченно багато попарно неізоморфних силовських р-підгруп.

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

Нехай Т - поле всіх алгебраїчних чисел, С - поле комплексних чисел, _n - первісний корінь степеня pⁿ із одиниці, Р_р = _n | n = 1, 2, … - силовська р-підгрупа мультиплікативних груп R*, T*, С* кільця R та полів Т і С відповідно. Нехай G_p = P_p C_p - сплетіння групи Р_р GL(1, R) і циклічної порядку р групи С_р підстановок степеня р, породженої циклом = (1 2 ... р). Введемо в розгляд деякі підгрупи групи G_p.

Нехай Н_n = A_n, b, де b - матриця підстановки .

Нехай _n = _n - 1, n = 1, 2, … і L - RG_p-модуль з R-базисом {e₁, …, e_p} буде таким, що для кожного лінійного оператора g G_p його матриця у вказаному базисі співпадає з матрицею g.

Нехай Т_n - матриця переходу від R-базису е₁, …, е_p в R-модулі L до R-базису u₁, …, u_p в R-підмодулі M_n цього модуля:.

Нехай V_n = H_nT_n (n = 2, 3, …).

Теорема 17.2. Групи V_n (n = 2, 3, …) утворюють нескінченну серію попарно неізоморфних незвідних силовських р-підгруп в групі GL(p, R).

Лема 42.2. Нехай Н - така незвідна силовська р-підгрупа в групі GL(m, R), яка містить всі скалярні матриці Е ( Р_р). Тоді сплетіння G = H С_р групи Н з циклічною порядку р групою підстановок С_р буде незвідною силовською р-підгрупою групи GL(mр, R).

Теорема 18.2. Нехай

W₀(V_n) = V_n, W_j(V_n) = W_{j - 1}(V_n) C_p (j > 1).

Тоді групи W_j(V_n) (n = 2, 3, …) утворюють нескінченну серію попарно неізоморфних незвідних силовських р-підгруп в групі GL(p^{j +1}, R) (j 0).

Теорема 18.2 є наслідком леми 42.2 і теореми 17.2.

Теорема 19.2. Нехай m = m₀ + m₁p + + m_sp^s - р-ічний розклад натурального числа m p. Тоді групи утворюють нескінченну серію попарно неізоморфних силовських р-підгруп в групі GL(m, R).

Нехай далі р > 2. Введемо в розгляд деякі матриці і деякі матричні групи. Нехай J_s(0) - верхньотрикутна клітка Жордана порядку s з нулями по діагоналі

(E_r - одинична матриця порядку r). Очевидно, B_s - абелева типу (р, р) р-підгрупа в групі GL(s, R), B_st - абелева типу (р, рⁿ) р-підгрупа в групі GL(s + 1, R).

Лема 45.2. Нехай 1 s p. Група B_s є максимальна абелева р-підгрупа групи GL(s, R).

Теорема 20.2. Нехай 1 s p - 1. Абелеві групи B_st (t = 2, 3, …) утворюють нескінченну серію попарно неізоморфних силовських р-підгруп групи GL(s + 1, R).

З теорем 19.2-20.2, як наслідок, випливає теорема 15.2.

У третьому розділі ”Про мінімальні незвідні підгрупи повної лінійної групи над полем” вивчаються мінімальні незвідні розв'язні підгрупи груп GL(n, Q) і GL(n, Q()) (^p = 1, 1, p - просте число) при деяких n. Описуються мінімальні незвідні р-підгрупи груп GL(p^r, Q()) (r 2) і GL(р^s(p - 1), Q) (s 2).

В підрозділі 3.1 ”Про мінімальні незвідні р-підгрупи повної лінійної групи над полем” дається класифікація неспряжених мінімальних незвідних р-підгруп груп GL(р, Q()) і GL(р(р - 1), Q), а також мінімальних незвідних нільпотентних підгруп групи де r_i 1, p₁, …, p_t - різні непарні прості числа, p₁ < p₂ < < p_t. Описані з точністю до ізоморфізму мінімальні незвідні р-підгрупи груп GL(р², Q()) і GL(р^s(p - 1), Q). Зокрема доведені наступні теореми.

Теорема 3.3. Нехай (s 1, r_i 1, p₁, …, p_t - різні непарні прості числа, p₁ < p₂ < < p_t). В групі GL(n, Q) існує мінімальна незвідна р-підгрупа Н (р 2) тоді і тільки тоді, коли n = (p^r) (r 2, - функція Ейлера). Якщо r = 1, то в GL(p - 1, Q) міститься з точністю до спряженості єдина мінімальна незвідна підгрупа Н порядку р. При n = (p²) (р 2) в GL(n, Q) з точністю до спряженості містяться дві мінімальні незвідні р-підгрупи: циклічна група порядку р² і неабелева група Н порядку р³ з ехрН = р.

Лема 5.3. Нехай парне натуральне число n (n > 2) не ділиться на 4 і в групі GL(n, Q) існує скінченна незвідна нільпотентна підгрупа G. Тоді G буде р-групою (р > 2) або прямим добутком р-групи на групу порядку 2 і, при цьому, n = (p - 1)p^r (r 0).

Нехай в умові теореми 3.3 s = 1 (тобто n - парне число, що не ділиться на 4). Тоді ця теорема разом з лемою 5.3. дає описання з точністю до спряженості всіх мінімальних незвідних нільпотентних підгруп групи GL(n, Q). Такими підгрупами можуть бути лише р-групи порядку р^r (r 3).

Теорема 4.3. Нехай G = G₁ G_k, де G_j - незвідна p_j-підгрупа в групі GL(n_j, Q) (n = n₁ n_k, n_j > 1, p_j - непарне просте число, , p_j p_i при j i). Група G буде мінімальною незвідною нільпотентною підгрупою групи GL(n, Q) тоді і тільки тоді, коли група G_j буде мінімальною незвідною підгрупою в групі GL(n_j, Q) (j = 1, …, k).

Теорема 5.3. Нехай Н_j(G_j) - скінченна незвідна підгрупа групи GL(n_j, Q) (n_j > 1), П(Н_j) = = П(G_j) (П(Н_j) - множина всіх простих чисел, що ділять порядок |Н_j| групи Н_j; j = 1, 2), (|Н₁|, |Н₂|) = 1 і (|G₁|, |G₂|) = 1. Підгрупи Н = Н₁ Н₂ і G = G₁ G₂ групи GL(n, Q) (n₁ = n₁n₂) спряжені тоді і тільки тоді, коли спряжені підгрупи Н_j і G_j в групі GL(n_j, Q) (j = 1, 2).

Теореми 4.3-5.3 зводять описання з точністю до спряженості мінімальних незвідних нільпотентних підгруп непарного порядку в GL(n, Q) до відповідного описання мінімальних незвідних матричних р-груп над полем Q.

Далі, використовуючи теорію індукованих зображень, доводяться дві теореми (теорема 6.3 та теорема 7.3). Сформулюємо наслідки з цих теорем, позначивши F = Q() (^p= 1, 1, p - просте число).

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

Наслідок 7.3. Нехай Н - група порядку р^k. В групі GL((р - 1)р^k, Q) існує мінімальна незвідна р-підгрупа, яка ізоморфна розширенню елементарної абелевої р-групи з допомогою групи Н.

Наслідок 8.3. Нехай Н - група порядку n. В групі GL(n, Q) існує мінімальна незвідна підгрупа, яка ізоморфна розширенню елементарної абелевої 2-групи з допомогою групи Н.

Далі розглядається питання про незвідні р-підгрупи групи GL(n, F) та мінімальні незвідні р-підгрупи групи GL(р², F).

Нехай Н - мінімальна незвідна р-підгрупа в GL(n, F) і G = W_p(H) = H C_p

(C_p - циклічна група порядку р) - підгрупа в GL(nр, F). Тоді G - мінімальна незвідна р-підгрупа групи GL(nр, F).

а_j (j = 2, …, p - 1) - такі діагональні матриці, що b-¹a_jb = a_ja_{j - 1},

= diag[, 1, …, 1] b - супровідна матриця многочлена х^р - .

Нехай G - мінімальна незвідна р-підгрупа групи GL(р², F). Нехай Н - нормальна індекса р підгрупа в групі G і G = Н, с (с^р Н). За теоремою Кліфорда Н - звідна. Можливі два випадки: Н - однорідно звідна і Н - неоднорідно звідна.

1) Нехай G - мінімальна незвідна р-підгрупа групи GL(р², F) і група G містить однорідно звідну нормальну підгрупу Н індекса р. Тоді з точністю до спряженості число таких груп G рівно 2р - 1 і дається описання цих груп.

2) Нехай Н - неоднорідно звідна, тоді мінімальна незвідна р-підгрупа групи GL(р², F) є напівпрямим добутком елементарної абелевої групи порядку р^{р + 1} та циклічної групи порядку р².

В дисертаційній роботі дається описання з точністю до ізоморфізму всіх мінімальних незвідних р-підгруп групи GL(р², F). Нехай - супровідна матриця полінома Ф_р(х) поділу круга на р частин і Q() - ізоморфне полю F, поле матриць порядку р - 1. Замінивши елементи поля F на елементи поля Q(), ми одержимо описання мінімальних незвідних р-підгруп групи GL((р³), Q) ( - функція Ейлера).

В підрозділі 3.2 ”Про мінімальні незвідні розв'язні підгрупи повної лінійної групи над полем” знайдені деякі класи мінімальних незвідних розв'язних підгруп групи GL(pq, Q), де р і q (p > q) - прості числа і q ділить р - 1. У випадку, коли q не ділить р - 1, мінімальні незвідні розв'язні підгрупи групи GL(pq, Q) описані Д. О. Супруненко. Позначимо:

Z₂ - поле з двох елементів;

- найбільше натуральне число таке, що q ділить р - 1;

m - показник, якому належить 2 за модулем р;

- найбільше невід'ємне ціле таке, що q ділить m;

- первісний корінь степеня q із одиниці за модулем р, вибраний так, що T = a, b - група з твірними а та b і визначальними співвідношеннями: (будемо вважати, що група T міститься в групі T _{+ 1}; для цього покладемо a = a₁ і b = c^q).

Як випливає із результатів Т. І. Копилової, групи T₁, ..., T _{+ 1} ізоморфні мінімальним транзитивним розв'язним групам підстановок степеня pq. В даному підрозділі основним є наступний результат.

Нехай q ділить р - 1. Для кожної групи T_j (1 j + 1, - найбільше натуральне число таке, що q ділить р - 1) існують такий Z₂T_j-модуль V_j і такий лінійний функціонал _j: V_j Z₂, що індекс стабілізатора N_j цього функціонала в групі T_j дорівнює pq. Нехай (V_j T_j) - напівпрямий добуток адитивної групи простору V_j та групи T_j і - зображення, яке індукується лінійним характером : V_j N_j 1; -1. Тоді група буде мінімальною незвідною розв'язною підгрупою групи GL(pq, Q).

ВИСНОВКИ

В дисертаційній роботі вивчаються силовські р-підгрупи повної лінійної групи над областями головних ідеалів характеристики нуль, а також над полями Q і Q() (^p= 1, 1). Розв'язана задача про спряженість силовських р-підгруп групи GL(n, R) (n >1), якщо р - необоротне в області R головних ідеалів характеристики нуль. Одержано також ряд, залежних від р і R, достатніх умов ізоморфізму силовських р-підгруп групи GL(n, R). У випадку, коли кільце R цілих величин скінченного розширення поля р-адичних чисел містить первісний корінь степеня рⁿ з одиниці, показується, що: 1) якщо р > 2 і n = 1, то в групі GL(p, R) міститься по крайній мірі (р - 2) незвідних силовських р-підгруп попарно різних порядків; 2) якщо р > 2, то в групі GL(р, R) існують абелеві силовські підгрупи типів (pⁿ, p²), …, (pⁿ, pⁿ); 3) якщо р = 2 і n > 2, то в групі GL(2^{n - 1}, R) існує абелева силовська 2-підгрупа типу (2ⁿ, 2ⁿ). Доводиться, що в групі GL(n, R) (n >1) над кільцем R всіх цілих алгебраїчних чисел існує нескінченно багато попарно неізоморфних силовських р-підгруп. Описуються з точністю до ізоморфізму незвідні силовські 2-підгрупи групи GL(2, Z) над деякими кільцями головних ідеалів Z. Також вивчаються мінімальні незвідні розв'язні підгрупи груп GL(n, Q) і GL(n, F), де F = Q() (^p = 1, 1). Дається класифікація неспряжених мінімальних незвідних р-підгруп груп GL(р, F) і GL(р(р - 1), Q), а також мінімальних незвідних нільпотентних підгруп непарного порядку групи де р₁, ..., р_s - різні непарні прості числа, р₁ < p₂ < … < p_s (r_j 1, j = 0,1, …, s - 1). Описуються з точністю до ізоморфізму мінімальні незвідні р-підгрупи груп GL(р², F) і GL(р²(р - 1), Q). Знаходяться деякі класи мінімальних незвідних розв'язних підгруп групи GL(pq, Q), де p і q - різні прості числа і q ділить р - 1.

СПИСОК ОПУБЛІКОВАНИХ ПРАЦЬ ЗА ТЕМОЮ ДИСЕРТАЦІЇ

1. Гудивок П. М., Рудько В. П., Юрченко Н. В. О силовских р-подгруппах полной линейной группы над областями главных идеалов // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2001. - С. 31-46.

2. Гудивок П. М., Рудько В. П., Юрченко Н. В. Про мінімальні незвідні підгрупи повної лінійної групи над полем // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2003. - С. 28-42.

3. Юрченко Н. В. Про силовські 2-підгрупи групи GL(2, Z) // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2004. - С. 110-112.

4. Рудько В. П., Юрченко Н. В. Про силовські підгрупи повної лінійної групи над кільцем // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2005. - С. 111-120.

5. Рудько В. П., Юрченко Н. В. Про силовські 2-підгрупи повної лінійної групи над полем характеристики нуль // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2006. - С. 128-136.

6. Юрченко Н. В. Про силовські р-підгрупи повної лінійної групи над кільцем всіх цілих алгебраїчних чисел // Наук. вісник Ужгород. ун-ту. Сер. матем. і інформ. - 2006. - С. 136-143.

7. Юрченко Н. В. Про ізоморфізм силовських р-підгруп повних лінійних груп над деякими кільцями // Міжнар. алгебр. конф. Тези доп. - Ужгород, 2001. - С. 56.

8. Юрченко Н. В. Про мінімальні незвідні р-підгрупи повної лінійної групи над деякими полями // Матеріали Х міжнар. наук. конф. ім. акад. М. Кравчука. - К., 2004. - С. 558.

9. Юрченко Н. В. Про силовські підгрупи повної лінійної групи над кільцем // Матеріали ХІ міжнар. наук. конф. ім. акад. М. Кравчука. - К., 2006. - С. 664.

АНОТАЦІЇ

Юрченко Н. В. Про скінченні підгрупи повної лінійної групи над областями цілісності. - Рукопис.

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

університет імені Тараса Шевченка, Київ, 2007.

У роботі розв'язана задача про спряженість силовських р-підгруп повної лінійної групи над областю R головних ідеалів характеристики нуль, в якій просте число р - необоротне. Знайдені, залежні від р і R, достатні умови ізоморфізму силовських р-підгруп повної лінійної групи над кільцем R головних ідеалів характеристики нуль. Знайдені умови існування певного класу силовських р-підгруп в групі GL(р, R) у випадку, коли R - кільце цілих величин скінченного розширення поля р-адичних чисел містить первісний корінь степеня рⁿ з одиниці. Доводиться існування нескінченно багато попарно неізоморфних силовських р-підгруп в GL(n, R) (n > 1) над кільцем R всіх цілих алгебраїчних чисел.

Описані мінімальні незвідні р-підгрупи груп GL(p^r, Q()) (r 2) (^p = 1, 1, p - просте число) і GL(р^s(p - 1), Q) (s 2). Знайдені деякі класи мінімальних незвідних розв'язних підгруп групи GL(pq, Q), де p і q - прості числа (p > q), q ділить р - 1.

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



Юрченко Н. В. О конечных подгруппах полной линейной группы над областями целостности. - Рукопись.

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.01.06 - алгебра и теория чисел. - Киевский национальный университет имени Тараса Шевченко, Киев, 2007.

В диссертационной работе изучаются силовские р-подгруппы полной линейной группы над областями главных идеалов характеристики ноль, а также над полями Q и Q() (^p= 1, 1). Решена задача о сопряженности силовских р-подгрупп группы GL(n, R) (n >1), если р - необратимо в области R главных идеалов c полем частных F характеристики ноль. Пусть - корень степени р из единицы, 1; d_р = (F() : F); Р_р - силовская р-подгруппа мультипликативной группы F()* поля F(). Показано, что при р > 2 силовские р-подгруппы группы GL(n, R) (n > 1) сопряжены тогда и только тогда, когда d_р > 1 и выполняется одно из условий: 1) n < d_р; 2) n = d_р, |P_р| = p і R[] - кольцо главных идеалов.

Найдены также, зависимые от р и R, достаточные условия изоморфизма силовських р-подгрупп группы GL(n, R). В случае, когда кольцо R целых величин конечного расширения поля р-адических чисел содержит первообразный корень степени рⁿ из единицы показывается, что: 1) если р > 2 и n = 1, то в группе GL(p, R) имеется по крайней мере (р - 2) неприводимых силовских р-подгрупп попарно разных порядков; 2) если р > 2, то в группе GL(р, R) существуют абелевые силовские подгруппы типов (pⁿ, p²), …, (pⁿ, pⁿ); 3) если р = 2 и n > 2, то в группе GL(2ⁿ - ¹, R) существует абелевая силовская 2-подгруппа типа (2ⁿ, 2ⁿ). Доказывается, что в группе GL(n, R) (n >1) над кольцом R всех целых алгебраических чисел существует бесконечно много попарно неизоморфных силовских р-подгрупп. Описываются с точностью до изоморфизма неприводимые силовские 2-подгруппы группы GL(2, Z) над некоторыми кольцами главных идеалов Z. Также изучаются минимальные неприводимые разрешимые подгруппы групп GL(n, Q) и GL(n, F), где F = Q() (^p = 1, 1). Дается классификация несопряженных минимальных неприводимых р-подгрупп групп GL(р, F) и GL(р(р - 1), Q), а также минимальных неприводимых нильпотентных подгрупп нечетного порядка группы где р₁, ..., р_s - разные непарные простые числа, р₁ < p₂ < … < p_s (r_j 1, j = 0,1, …, s - 1). Описываются с точностью до изоморфизма минимальные неприводимые р-подгруппы групп GL(р², F) и GL(р²(р - 1), Q). Находятся некоторые классы минимальных неприводимых разрешимых подгрупп группы GL(pq, Q), где p и q - разные простые числа и q делит р - 1.

Ключевые слова: полная линейная группа, силовские р-подгруппы, минимальные неприводимые р-подгруппы, минимальные нильпотентные подгруппы, минимальные разрешимые подгруппы.

Yurchenko N.V. On finite subgroups of the general linear group over integral domains. - Manuscript.

Thesis for obtaining the degree of Candidate of sciences in physics and mathematics in speciality 01.01.06 - algebra and number theory. - Kyiv Taras Shevchenko University, Kyiv, 2007.

Let R be a principal ideal domain of the characteristic zero and р is not invertible element of R. The problem of the conjugation of Sylow р-subgroups of the general linear group over R has been solved in the manuscript. Depended on R and р sufficient conditions of the isomorphism of Sylow р-subgroups of the general linear group over the principal ideal domain R of the characteristic zero have been founded. The conditions of existence of some Sylow р-subgroups of the group GL(р, R), where R is the ring of integers of the finite extension of the field of р-adic numbers such that containes primitive рⁿ-th root of identity, have been founded. Let R be the ring of all algebraic integers. It has been proved that there are infinity many pairwise nonisomorphic Sylow р-subgroups of the general linear group GL(n, R) (n >1).

All minimal irreducible р-subgroups of the groups GL(p^r, Q()) (r 2) (^p = 1, 1, p is prime) and GL(р^s(p - 1), Q) (s 2) have been described. Some classes of minimal irreducible solvable subgroups of the group GL(pq, Q), where p and q are primes (p > q) and q divides р - 1, have been founded.

Keywords: the general linear group, Sylow р-subgroup, minimal irreducible р-subgroups, minimal nilpotent subgroups, minimal solvable subgroups.

Размещено на Allbest.ru

...