Вы находитесь на странице: 1из 20

МИНОБРНАУКИ РОССИИ

Федеральное государственное бюджетное образовательное учреждение


высшего образования
«МИРЭА — Российский технологический университет»

РТУ МИРЭА
Институт кибернетики
Базовая кафедра № 252 «Информационная безопасность»

КУРСОВАЯ РАБОТА

по дисциплине «Группы подстановок»

Тема курсовой работы___________________________________________


_____________________________________________________________________

Студент группы__________________________________ ______________


(учебная группа, фамилия, имя, отчество студента) (подпись студента)

Руководитель курсовой работы_______________________ ___________


должность, звание, ученая степень (подпись руководителя)

Рецензент (при наличии) ________________________________ ________________


должность, звание, ученая степень ( подпись рецензента)

Работа представлена к защите «10» июня 2021 г.

Допущен к защите «_____» ___________ 20__г.

Оценка________________
МИНОБРНАУКИ РОССИИ
Федеральное государственное бюджетное образовательное учреждение
высшего образования
«МИРЭА — Российский технологический университет»

РТУ МИРЭА
Институт кибернетики
Базовая кафедра № 252 «Информационная безопасность»

Утверждаю
Заведующий БК № 252
____________ Корольков А.В.
подпись
«____» __________ 20____г.

ЗАДАНИЕ

на выполнение курсовой работы по дисциплине


«Группы подстановок»

Студент ________________________________ Группа _________________


Тема курсовой работы: __________________________________________
________________________________________________________________
Исходные данные: ___________________________________________________________
Перечень вопросов, подлежащих разработке, и обязательного
графического материала: ________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________

Срок представления к защите курсовой работы: до «____» _______20___г.

Задание на курсовую работу выдал ____________________ __________________


Подпись руководителя Ф.И.О. руководителя

Задание на курсовую работу получил ___________________ __________________


Подпись обучающегося Ф.И.О. исполнителя
«____» ____________20___г.
Оглавление

ВВЕДЕНИЕ..........................................................................................................................................5
Глава 1. Подгруппы. Смежные классы и теорема Лагранжа............................................................6
Подгруппы........................................................................................................................................6
Смежные классы..............................................................................................................................7
Теорема Лагранжа............................................................................................................................8
Следствия из теоремы Лагранжа....................................................................................................9
ГЛАВА 2. Теоремы Силова...............................................................................................................10
ЗАКЛЮЧЕНИЕ..................................................................................................................................18
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ...........................................................................19
ВВЕДЕНИЕ

Строение абелевых групп во многом определяется строением


максимальных р-подгрупп. В теории конечных групп максимальные
подгруппы также играют существенную роль. Теорема, доказанная
норвежским математиком Л. Силовом в 1872 году, явилась краеугольным
камнем теории конечных групп. Она неоднократно обобщалась в разных
направлениях как в нашей стране (С. А. Чунихин и др.), так и за рубежом
(Ф. Холл и др.). В связи с этой теоремой и в честь ее автора максимальные
р-подгруппы конечных (а часто и бесконечных) групп называются
силовскими р-подгруппами. Проблема нахождения силовской подгруппы
данной группы является важной задачей вычислительной теории групп.
Для групп перестановок Уильям Кантор доказал, что силовская p-
подгруппа может быть найдена за время, полиномиальное от размера
задачи (в данном случае это порядок группы, помноженный на количество
порождающих элементов).

Людвиг Силов — норвежский математик. Автор нескольких работ по


теории эллиптических функций и по теории групп. С 1858 по 1898 годы
был учителем в школе в городе Фредериксхальд. В 1862 году Силов
заменил профессора по теории Галуа в университете Христиании, где он
поставил задачу, которая привела к наиболее важному результату его
жизни — так называемым теоремам Силова, опубликованным в 1872 году.

5
Глава 1. Подгруппы. Смежные классы и теорема Лагранжа.

Подгруппы.

Определение. Подмножество H элементов группы G называется


подгруппой, если для него выполняются следующие свойства 1. если a, b ∈
H, то a · b ∈ H; 2. e ∈ H; 3. если a ∈ H, то a −1 ∈ H. Обозначение H < G
указывает, что H — подгруппа G.

Лемма. Подмножество H является подгруппой тогда и только тогда, когда


ограничение H является группой относительно ограничения групповой
операции на G.

Доказательство. Теперь в другую сторону. Пусть H является группой


относительно ограничения групповой операции на G. Это означает, в
частности, что групповая операция с элементами из H даёт результат,
который также принадлежит H, то есть первое свойство. Пусть eH —
нейтральный элемент в группе на множестве H, а eG — нейтральный
элемент в группе на множестве G. Тогда для любого элемента h ∈ H
выполняются равенства eHh = h = eGh и из свойства сокращения получаем
eH = eG. То есть, выполняется второе свойство из определения. Проверим
последнее свойство. Пусть g — обратный к h в группе на множестве H, а h
−1 — обратный к h в группе G. Получаем равенства gh = e = h −1h, откуда
по свойству сократимости получаем, что g = h −1

Теорема. Множество H является подгруппой группы G тогда и только


тогда, когда для любых a, b ∈ H выполнено ab−1 ∈ H.

Доказательство. Если H — подгруппа, то для любых a, b ∈ H из свойств 3


и 1 определения подгруппы следует, что ab−1 ∈ H. Теперь докажем
необходимость. Пусть для любых a, b ∈ H выполнено ab−1 ∈ H. Возьмём
любой элемент a ∈ H. Тогда e = a · a −1 ∈ H (свойство 2). Выбрав пару e, a
∈ H, убеждаемся, что ea−1 = a −1 ∈ H (свойство 3). Поскольку (b −1 ) −1 =
b, то ab = a(b −1 ) −1 и свойство 1 также выполнено.

Лемма. Пересечение подгрупп — подгруппа.

6
Доказательство. Рассмотрим две подгруппы H1, H2 некоторой группы G.
Пусть a, b ∈ H1 ∩ H2. Тогда ab−1 ∈ H1, ab−1 ∈ H2. Значит, ab−1 ∈ H1 ∩
H2. Следует, что H1 ∩ H2 — подгруппа.

7
Смежные классы

Пусть G — группа, H — подгруппа группы G, x ∈ G. Левым смежным


классом группы G по подгруппе H, порожденным элементом x,
называется множество xH = {xh | h ∈ H}. Аналогично, правый смежный
класс определяется как Hx = {hx | h ∈ H}.

Пример 1. Пусть G = R 2 с операцией сложения, H = {(a, 0) | a ∈ R}, x = (1,


1). Тогда x + H = {(a, b) ∈ R 2 | b = 1}. Все смежные классы группы R 2 по
H — это все прямые, параллельные прямой H.

Пример 2. Пусть G = C ∗ = C \ {0} — группа всех комплексных чисел,


отличных от нуля, с операцией умножения, H ≡ T = {z ∈ C | |z| = 1}, x = 1 +
i. Тогда xH = {w ∈ C | |w| = √ 2}. Все смежные классы группы G по H в
этом случае — это подмножества вида {w ∈ C | |w| = r 6= 0}, т. е.
концентрические окружности положительного радиуса с центром в нуле.

8
Теорема Лагранжа

Теорема 1. (о разбиении группы на левые смежные классы).

Пусть G — группа и H — подгруппа группы G, тогда: 1) x ∈ xH для всех x


∈ G; 2) если z ∈ xH, то zH = xH; 3) если xH ∩yH 6= ∅, то xH = yH (т. е. два
левых смежных класса либо не пересекаются, либо совпадают); 4)
равносильны следующие условия: a) xH = yH; b) y −1x ∈ H; c) x −1 y ∈ H;
5) |H| = |xH|.

Доказательство.

1) x = xe ∈ xH, так как e ∈ H.

2) Если z ∈ xH, то z = xh0, где h0 ∈ H. Тогда x = zh−1 0 , где h −1 0 ∈ H.


Пусть h ∈ H. Тогда: zh = (xh0)h = x(h0h) ∈ xH, так как h0h ∈ H; xh = (zh−1 0
)h = z(h −1 0 h) ∈ zH, так как h −1 0 h ∈ H. Итак, zH ⊆ xH и xH ⊆ zH, т. е.
zH = xH.

3) Пусть z ∈ xH ∩ yH. В силу 2) xH = zH = yH.

4) Если xH = yH, то x ∈ xH = yH, и поэтому x = yh, h ∈ H, т. е. y −1x = h ∈


H. Аналогично, y ∈ yH = xH, y = xh0 , h 0 ∈ H, т. е. x −1 y = h 0 ∈ H. Если y
−1x = h ∈ H, то x = yh ∈ yH. В силу 2) xH = yH. Если x −1 y = h 0 ∈ H, то y
= xh0 ∈ xH. В силу 2) yH = xH.

5) Если xh = xh0 , то, умножая на x −1 , видим, что h = h0 .

Теорема 2. Если H — подгруппа группы G, |G| = n < ∞, |H| = k, то k —


делитель числа n, а именно, n = kj, где j — число левых (правых) смежных
классов, называемое индексом подгруппы H в G (обозначение: j = (G : H)).

Доказательство. Рассмотрим разбиение группы G на j различных левых


смежных классов xH. Так как |xH| = |H| = k, то n = kj.

9
Следствия из теоремы Лагранжа

Следствие 1. Если a ∈ G, |G| = n, то порядок O(a) элемента a является


делителем числа n, порядка группы G.
Доказательство. Рассмотрим циклическую подгруппу H = hai. Тогда |H| =
O(a). В силу теоремы Лагранжа n = O(a) · j.
Следствие 2. Если |G| = n и a ∈ G, то a n = e.
Доказательство. В силу следствия 1 n = O(a) · j. Тогда a n = a O(a) j = e j =
e.
Следствие 3. (теорема Эйлера и малая теорема Ферма). Если m ∈ N, a ∈ Z,
(a, m) = 1, то a ϕ(m) ≡ 1 (mod m), где ϕ(m) = |U(Zm)| — функция Эйлера. В
частности, при m = p получаем малую теорему Ферма: если a не делится на
простое число p, то a p−1 ≡ 1 (mod p) (другими словами, a p ≡ a (mod p)).
Доказательство. 1) Пусть G = U(Zm) — группа обратимых элементов
кольца вычетов Zm, |G| = |U(Zm)| = ϕ(m) — функция Эйлера (т. е. ϕ(m) —
число тех x ∈ N, что 0 < x < m, (x, m) = 1). Так как (a, m) = 1 ⇐⇒ a + Zm ∈
U(Zm), то (a + Zm) ϕ(m) = a ϕ(m) + Zm = 1 + Zm, и поэтому a ϕ(m) ≡ 1 (mod
m). 2) Если m = p, то ϕ(p) = p − 1.
Замечание 2. На применении малой теоремы Ферма основаны
вероятностные алгоритмы нахождения больших простых чисел p: для
достаточно большого числа случайных значений a < p проверяется, что a
p−1 ≡ 1 (mod p).
Следствие 4. (о цикличности группы простого порядка). Порядок |G|
конечной группы G равен простому числу p тогда и только тогда, когда G
∼= Zp (т. е. группа G циклическая и изоморфна группе вычетов Zp по
модулю простого числа p). Итак, если |G| = p, то G — циклическая группа
и в качестве циклического образующего группы G можно выбирать любой
неединичный элемент группы G. В частности, в группе G нет подгрупп,
отличных от {e} и G. 8
Доказательство. 1) Если G ∼= Zp, то |G| = |Zp| = p.
2) Пусть |G| = p и e 6= a ∈ G. Тогда число O(a) является делителем числа p
= |G|, поэтому O(a) = p и |hai| = O(a) = p = |G|. Следовательно, hai = G, т. е.
G — циклическая группа порядка p. Итак, G ∼= Zp.
Следствие 5. Группа S3 является неабелевой группой наименьшего
порядка.

10
ГЛАВА 2. Теоремы Силова

Пусть G – конечная группа, а р – простое число, которое делит порядок G.


Подгруппы порядка pt называются р-подгруппами. Выделим из порядка
группы G примарный делитель по р, то есть | G | = pns , где s не делится на
р. Тогда силовской р-подгруппой называется подгруппа G, имеющая
порядок pn. Под N(P) понимается нормализатор подгруппы Р в G.

Теорема 1.(первая теорема Силова).

Силовские р-подгруппы существуют.

Доказательство.

Докажем теорему индукцией по порядку G. При |G| = p теорема верна.


Пусть теперь |G| > p. Пусть Z(G) - центр группы G. Возможны два случая:

а) p делит |Z|. Тогда в центре существует циклическая группа (как


элемент примарного разложения центра), которая нормальна в G.
Факторгруппа G по этой циклической группе имеет меньший порядок, чем
G, значит, по предположению индукции, в ней существует силовская p-
подгруппа. Рассмотрим её прообраз в G. Он и будет нужной нам силовской
p-подгруппой G.

б) p не делит |Z|. Тогда рассмотрим разбиение G на классы сопряжённости:


|G|=|Z|+ ∑ |K a| (поскольку если элемент лежит в центре, то его класс
сопряжённости состоит из него одного). Порядок G делится на p, значит,
должен найтись класс Ka, порядок которого не делится на p.
Соответствующий ему нормализатор имеет порядок pnr, r < s. Значит, по
предположению индукции, в нём найдётся силовская p-подгруппа — она и
будет искомой.

Теорема 2.(вторая теорема Силова).

Всякая p-подгруппа содержится в некоторой силовской p-подгруппе. Все


силовские p-подгруппы сопряжены (т.е. каждая представляется в виде gPg
− 1, где g — элемент группы, а P — силовская подгруппа из теоремы 1).

Доказательство.

11
Итак, пусть силовские р-подгруппы в G существуют и Р — одна из них.
Пусть, далее, P1 — произвольная р-подгруппа группы G, не обязательно
силовская. Заставим P1 действовать левыми сдвигами на множестве
G/ P=¿i gi P левых смежных классов G по Р. Длина любой орбиты
k
относительно P1 делит порядок |P1|= p , k ≤n . Таким образом,
n
p m |G| k k
m= n = =|G/ P|= p 1 + p 2 +. ..
p |P|
k k
где p 1 , p 2 ,... — длины орбит. Так как НОД(m,p) = 1, то хотя бы одна
орбита имеет длину pki = 1, т. е.
P1⋅aP=aP (1)

для некоторого элемента a=g i ∈G . Переписав соотношение (1) в виде


P1⋅aPa−1=aPa−1 , мы приходим к заключению, что

P1 ⊂aPa−1 (2)

(поскольку aPa−1 — группа). В частности, если P1 — силовская р-


подгруппа, то | P1 | = |Р|, и из (2) следует, что P1 = aPa−1 .

Теорема 3(третья теорема Силова).

Количество силовских p-подгрупп сравнимо с единицей по модулю p


N p ≡1(mod p) и делит порядок G.

Доказательство.
s
Рассмотрим несколько более общую ситуацию. Именно, пусть |G|=p t ,
где s≤n , t может делится на p, и пусть N p (s) - число всех подгрупп
порядка ps в G. Оказывается, что имеет место сравнение
N p (s)≡1( mod p ) , в частности, G содержит подгруппы любого порядка
s
p , s=1,2,…,n и N p (n)=N p .
Рассуждаем следующим образом. Действие левыми сдвигами группы G на
себе индуцирует действие G на множестве

Ω={M ⊂G :|M|=p s }

12
всех ps -элементных подмножеств { g1 ,. .. , g p }
s
. Причём
g⋅{ g 1 ,. . . , g s }= { gg1 ,. . ., gg ps } . Множество разбивается на G-орбиты
p Ω
Ωi :Ω=¿ i Ω i , так что

|Ω|=∑ |Ωi|
i , |Ωi|=(G :Gi )

где G i=⟨ g∈G|gM i=M i ⟩ - стационарная подгруппа некоторого


представителя M i ∈ Ωi .
νi
Так как Gi M i =M i , то M i=¿ i=1 G i gij - объединение нескольких правых
s
смежных классов G по Gi . Поэтому p =|M i|=ν i|Gi| , откуда
s s s s−si
|G i|=p i≤ p . В случае |Gi|< p имеем |Ωi|= p t≡0(mod pt ) .
s
Равенства |Gi|=p и |Ωi|=t эквивалентны. Получаем

|G|
( )
p
s =|Ω|≡ ∑ |Ωi|(mod pt )
|Ωi|=t

s
|Ωi|=t ⇒|G i|= p ⇒ M i =G i ai ( ai =gij - некоторый элемент из G) и, стало
быть, ai M i =ai Gi ai =Pi - подгруппа порядка ps . Орбита Ωi
−1 −1

исчерпывается некоторым числом левых смежных классов gPi группы G


по Pi .
s
Обратно: каждая подгруппа H ⊂G порядка |H|=p приводит к орбите
' s
Ω =⟨gH |g∈ G⟩ длины t. Различные подгруппы H i с |H i|=p приводят
к различным орбитам Ωi , поскольку из H i=gH j следует e=gh j ,
'

откуда g=h j ∈ H j и H i=H j . Таким образом, имеется взаимно


−1

однозначное соответствие между подгруппами порядка ps и орбитами


Ωi длины t. Тогда сравнение записывается как

|G|
( )s ≡ ∑ |Ωi|≡tN p (s )(mod pt )
p |Ωi|=t

Где следовало бы написать N p (s ,G ) , чтобы подчеркнуть зависимость


N p (s) от G.

13
Если взять за G циклическую группу порядка ps t , то для неё
N p (s ,G )=1 и поэтому

|G|
( )
p
s ≡t⋅1(mod pt )

Так как левые часть сравнений по одному и тому же модулю совпадают, то


имеем

t≡tN p ( s)(mod pt )
А это и даёт искомое сравнение

N p (s)≡1( mod p )

Получим полезное уточнение теорем Силова.

Теорема 4.

Справедливы следующие утверждения:

1).силовская p-подгруппа P группы G нормальна в G тогда и только тогда,


когда N p =1
n n
2).конечная группа G порядка |G|=p 1 .. . p k является прямым
1 k

произведением своих силовских pi - подгрупп P1 ,...,Pk в точности тогда,


когда все эти подгруппы нормальны в G.

Доказательство.

1).Все силовские подгруппы, отвечающие данному простому делителю р


порядка |G| , по второй теореме Силова сопряжены, и если P–одна из них,
то
−1
N p =1⇔ xPx =P ∀ x ∈G⇔ P нормальна в G

2).Если G=P1 ×...×P k - прямое произведение своих силовских подгрупп,


то Pi нормальна в G как любой прямой множитель. Значит условие
нормальности необходимо.

14
Пусть теперь Pi нормальна в G, 1≤i≤k , т.е. N p i=1 . Заметим, что
ps p
t
x ∈ P i∩P j , i ≠ j ⇒ x i =e , x j =e ⇒ x=e . Стало быть, Pi∩P j =e , а
отсюда для любых x i ∈ Pi , x j ∈ P j имеем
' −1
i )x j =x j x j ∈ P j
(x i x j x−1 −1
( xi , x j )=
{ x i ( x j x−1 −1 '
i x j )=xi x i ∈ Pi
⇒( x i , x j )=e

Т.е. элементы x i и x j перестановочны.

Представим, что единичный элемент e ∈ G записан в виде e= y 1 y 2 ... y k ,


bi
где y i ∈ Pi - элемент порядка ai = pi . Положив a=∏i≠ j ai и
воспользовавшись перестановочностью y 1 , y 2 ,..., y k получим

e=( y 1 y 2 . . . y k )a = y 1a y a2 . .. y ak = y aj
a
Но так как а и a j взаимно просты, то y j = y j =e ⇒ y j =e . Это верно при
j a

любом j, и, стало быть, равенство e= y 1 y 2 ... y k возможно лишь при


y 1 =.. .= y k =e .

С другой стороны, каждый элемент x∈ G порядка r=r 1 r 2 ...r k ,


s
ri= pi i записывается в виде r=r 1 r 2 .. .r k , |⟨ xi ⟩|=r i , 1≤i≤k .
t i r 'i
Достаточно положить x i= x , где показатели определяются
условиями
k
' r
ri = '
1=∑ t i r i
ri , i=1

Если теперь x=x 1 x2 . . .x k - другая запись x в виде произведения pi -


' ' '

'
элементов, то в силу перестановочности x i , x i с различными нижними
индексами будем иметь
' ' ' −1 ' −1 ' −1 ' −1
e=( x 1 x 2 .. . x k )( x 1 x 2 .. . x k ) =x 1 x 1 ⋅x 2 x 2 ⋅. ..⋅x k x k ,

что, как было показано выше, влечёт равенства


' −1 ' −1 ' −1 ' ' '
x 1 x 1 =x 2 x 2 =. . .=x k x k =e , т.е. x 1=x 1 , x 2 =x 2 ,. . ., x k =x k .

Итак, каждый элемент группы G записывается, и притом единственным


образом в виде G=P1 ×...×P k .
15
Замечание

Нормальная силовская p-подгруппа P группы G характеристична в G, т.е.


инвариантна при действии любого автоморфизма ϕ ∈ Aut(G ) .
Действительно, |ϕ(P)|=|P| , поэтому ϕ( P ) - силовская р-подгруппа, и,
стало быть, ϕ( P )=P , если N p =1 . Аналоги силовских подгрупп
прослеживаются в алгебраических структурах, далёких от конечных групп.

Следствие

Если все делители | G | , кроме 1, после деления на p дают остаток,


отличный от единицы, то в G есть единственная силовская p-подгруппа и
она является нормальной (и даже характеристической).

Примеры силовских подгрупп.

Пример 1.

Аддитивная группа кольца вычетов Z n разлагается в прямое


произведение своих силовских p-подгрупп, которые являются
m m
циклическими подгруппами порядков p1 1 ,. .. , ps s , если n имеет
m m
каноническое разложение n= p1 1 ,. .. , ps s .

Пример 2.

Силовские p-подгруппы симметрических групп. Как мы знаем, |Sn|=n!


Каков максимальный показатель e(n), при котором pe(n ) делит n!? В
последовательности 1,2,…,n кратными p будут числа p,2p,…,kp, где
n n n k
k= []p , поэтому []
e (n)=
p
+e(k )
. Так как [ ][]
p2
=
p , то
n n
[ ][ ]
e (n)=
p
+ 2 +. . .
p Удобно разложить n по основанию p:
s
n=a0 + a1 p+. ..+a s p , 0≤a i < p , тогда
2 s−1
e (n)=a1 + a2 (1+ p )+ a3 (1+ p+ p )+. ..+ as (1+ p+. . .+ p )

16
Рассмотрим сначала группы S n , когда n степень p. Пусть в
S pm уже
1+...+ p m−1
найдена силовская p-подгруппа, т.е. подгруппа H m порядка p .

Построим по ней в
S p m+1 подгруппу H m+1 порядка p1+...+ p
m
. Для
этого разобьём переставляемые символы 1,2,…, pm+1 на
последовательные отрезки длины pm . Если
pm
c=∏ ( j, pm + j , 2 p m+ j, . .. ,( p−1 ) p m+ j)
j=1 и x – подстановка на символах i-го
отрезка, то легко сообразить, что c−1 xc - подстановка на символах (i+1)-го
отрезка (сложение по модулю p). Отсюда видно, что подгруппа,
−r r
порождённая подгруппами c H m c , 0≤r < p , является из прямым
произведением, и, стало быть, подгруппа H m+1 , порожденная подгруппой
H m и элементом с, изоморфна сплетению H m г (c) . Подгруппа H m+1 -
m
p 1+. ..+ p
искомая, так как |H m+1|=|H m| |c|=p .

Одновременно мы видим, что силовская p-подгруппа в


S pm изоморфна
последовательному сплетению (…( Z p г Z p ) г ...) г Z p циклической группы
Z p с самой собою m раз.

Теперь пусть n произвольно. Разобьём символы 1,...,n на a0


одноэлементных, a1 р-элементных и т.д. отрезков. На каждом из этих
отрезков рассмотрим симметрическую группу – она будет некоторой
степени pm , а в ней возьмём силовскую p-подгруппу, построенную как
выше. Так как эти подгруппы действуют на непересекающихся
множествах, то их порождение Pn является их прямым произведением, а
потому имеет порядок
s
m−1 a e(n )
|Pn|=∏ ( p1+ p+.. .+ p ) m=p
m=1

Следовательно, Pn - силовская p-подгруппа в S n . Из построения видно,


что она изоморфна прямому произведению нескольких последовательных
сплетений типа (…( Z p г Z p ) г ...) г Z p .

17
Пример 3.

Рассмотрим общие линейные группы над конечными полями. Пусть p –


простое число, m, n – целые числа ¿ 1 и q= pm . Покажем, что UT n (q) -
силовская p-подгруппа группы GLn (q ) . Посчитаем порядки этих групп.

Какие n-ки над полем GF(q) могут быть первой строкой невырожденной
матрицы? Очевидно, любые, кроме нулевой, т. е. q n−1 штук. Если первая
строка выбрана, то в качестве второй строки можно взять любую, не
пропорциональную первой; таких строк q n−q . Если две первые строки
уже выбраны, то в качестве третьей можно взять любую строку, не
зависящую линейно от первых двух; это дает q n−q2 возможностей. И так
n−1
|GL n (q )|=∏ (qn −q i )
далее. Значит, i=0 .

Так как угловые элементы матриц UT n (q) пробегают независимо друг от


n
друга всё поле, а всего угловых мест () ( n
2)
2 , то |UT n (q )|=q . Из сравнения
порядков мы видим, что UT n (q) - силовская p-подгруппа группы GLn (q ) .

Нахождение силовской подгруппы.

Проблема нахождения силовской подгруппы данной группы является


важной задачей вычислительной теории групп. Для групп перестановок
Уильям Кантор доказал, что силовская p-подгруппа может быть найдена за
время, полиномиальное от размера задачи (в данном случае это порядок
группы, помноженный на количество порождающих элементов).

18
ЗАКЛЮЧЕНИЕ

При изучении абелевых групп видно, что их строение во многом


определяется строением максимальных р-подгрупп. В теории конечных
групп максимальные р-подгруппы также играют существенную роль. В
этом курсовой были доказаны теоремы Силова о конечных группах: для
каждой степени pa , делящей порядок группы, существует подгруппа
порядка pa , причем если pa+1 делит порядок группы, то всякая
подгруппа порядка pa содержится в некоторой подгруппе порядка pa+1
; все максимальные р-подгруппы попарно сопряжены в группе, а их число
сравнимо с 1 по модулю р. Эта теорема была доказана норвежским
математиком Л. Силовом в 1872 году. В связи с этой теоремой и в честь ее
автора максимальные р-подгруппы конечных (а часто и бесконечных)
групп называются силовскими р-подгруппами.

Из теоремы Силова вытекает, в частности, что силовские р-подгруппы


конечной группы — это в точности подгруппы порядка pr , где pr —
максимальная степень р, делящая порядок группы. Отметим, что если
число m делит порядок конечной группы G, но не является степенью
простого числа, то в G может и не быть подгрупп порядка m — например,
в знакопеременной группе А4 порядка 12 нет подгрупп порядка 6.

В теории групп теоремы Силова представляют собой неполный вариант


обратной теоремы к теореме Лагранжа и для некоторых делителей порядка
группы G гарантируют существование подгрупп такого порядка

19
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. А. И. Кострикин. Введение в алгебру, III часть, 2001.

2. Э. Б. Винберг. Курс алгебры, 2002.

3. М.М. Глухов, В.П. Елизаров, А.А. Нечаев. «Алгебра»,2015.

4. М.И. Каргаполов, Ю.И. Мерзляков. Основы теории групп, 1982.

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

20