Академический Документы
Профессиональный Документы
Культура Документы
8)
ББК 22.143
К 71
К о с т р и к и н А. И. В в е д е н и е в а л г е б р у . Ч а с т ь I I I . О с н о в н ы е
с т р у к т у р ы : Учебник для вузов. — 3-е изд. — М.: Ф И ЗМ А ТЛИ Т, 2004. —
272 с. - ISBN 5-9221-0489-6.
Алгебраические структуры, известные из первых двух частей учебника
(группы, кольца, модули), изучаются на несколько более высоком уровне.
Идеи и результаты теории представлений, подкрепленные многочисленными
примерами, придают всему изложению общ ематематическое звучание. Осо
бое место занимаю т конечно порожденные абелевы группы, теоремы Силова,
представления и характеры конечных групп, алгебры над классическими
полями. Имеются теоретико-числовые приложения. В заклю чительной главе
изложены основы теории Галуа.
Второе издание — 2001 г.
Д ля студентов младш их курсов университетов и вузов с повышенными
требованиями по математике.
Ил. 6.
ПРЕДИСЛОВИЕ 7
ЕЛАВА 1
Т Е О Р Е Т И К О -Г Р У П П О В Ы Е К О Н С Т Р У К Ц И И
ГЛАВА 2
СТРОЕНИЕ ГРУ П П
§ 1. Разреш им ые и просты е группы ........................................................ 48
1. Разреш им ые группы (48). 2. П росты е группы (50). У праж
нения (54).
§ 2. Теоремы С и л о в а ......................................................................................... 54
Упражнения (59).
§ 3. Конечно порождённые абелевы г р у п п ы .......................................... 60
1. П римеры и предварительны е результаты (60). 2. Абелевы
группы без кручения (61). 3. Свободные абелевы группы конеч
ного ран га (64). 4. С троение конечно порождённых абелевых
групп (66). 5. Д ругие подходы к проблеме классификации (67).
6. Основная теорем а о конечных абелевых группах (71). У праж
нения (74).
4 Оглавление
ГЛАВА 3
ЭЛЕМ ЕНТЫ ТЕОРИИ П РЕДСТАВЛЕН И Й
ГЛАВА 4
К ОЛЬЦА И М ОДУЛИ
ГЛАВА 5
Н А Ч А Л А ТЕОРИИ ГАЛУА
ПРИЛОЖЕНИЕ
Н ЕРЕШ ЁННЫ Е ЗА Д А Ч И
ПРЕДИСЛОВИЕ
ДОПОЛНИТЕЛЬНАЯ ЛИ ТЕРА ТУ РА
Т Е О Р Е Т И К О -Г Р У П П О В Ы Е
КОНСТРУКЦИИ
Имеем
* a 7 -1 5 -13
9 , 9 = a
0 S -7
§ 1. Классические группы малых размерностей 11
9= S i , Н 2 + |/?|2 = 1. (3)
|/? |= s in ^ , Arg /3 = ——
используя то обстоятельство, что каждое комплексное число z за
даётся двумя вещественными параметрами, \z\ и arg 2: (Arg 2 — глав
ное значение аргумента arg z).
-1) Из дальнейшего будет видно, что р, 9, яр — те же углы Эйлера. Унитарным
матрицам =Ьд ставится в соответствие одно и то же вращение в М2, поэтому
область изменения яр сжимается до полуинтервала [0,27т).
12 Гл. 1. Теоретико-групповые конструкции
где у = (2/1 , 2/2 , 2/з) Е М3. Из определяющих равенств (7) и (9) видно,
что
Ф+(Яах+а,х0 = аФ+(Ях) + а'Ф+(Ях,).
Стало быть, отображение Ф+ (соответственно Фр) — линейный опе
ратор на МУ (соответственно на R3).
§ 1. Классические группы малых размерностей 13
1 1 i j k
i i -1 k -j
j j -k -1 i
k k j —i -1
Из этой таблицы сразу видно, что Ш— ассоциативная (но некомму
тативная ) алгебра с центром Z(M) = Е и 1 — её единичный элемент.
Каждый элемент алгебры Ш однозначно записывается в виде
q = <T+ /^i + 7 j + 5k:= < T l + /^i + 7 j + 5k (10)
с вещественными коэффициентами а,Д ,7, J, так что
Ш
1 = Е1 + Ei + Ej + Ek.
Между прочим, умножение в Ш служит непосредственным про
должением умножения в поле комплексных чисел С, покрываемом
кватернионами а + /3i (1 отождествляется с вещественной единицей
1, a i — с i — у/—1). Фактически Ш можно рассматривать как дву
мерную алгебру над С. Действительно, для с, с1 ЕС, q, q' Е Шимеем
c(q + q') = cq + cq', (с + c')q = cq + c' q,
(cc')q = c(c'q) = c'(cq).
Так как
<Tl + /5i + 7 J T 5 k = (q + Дл/-1) 1 + (7 T —1) j,
to dime H = 2.
Аналогия с С просматривается и дальше. Так, сопряжённым с q
называется кватернион
q* — а —Д i —7 j —^ k
— аналог сопряжённого комплексного числа. Если q — “чистый
кватернион ”, т.е. а = 0, то q* = —q. Величина
N ( q) := q • q* = а 2 + Д2 + 7 2 + 52, (11)
вычисляемая посредством приведённой выше таблицы, называется
нормой кватерниона q. Очевидно, что q ф 0 = > IV(q) ф 0, а поэтому
16 Гл. 1. Теоретико-групповые конструкции
r(Sp(l)) = | И 2 + f = l } = SU(2),
—с
т.е. Г реализует изоморфизм групп SU(2) и Sp(l). К искомому эпи
морфизму Sp(l) — УSO(3) мы придём следующим образом. Каждому
кватерниону q с единичной нормой поставим в соответствие отобра
жение : Ш — у Н, полагая
ф ч (р ) = qpq (15)
§ 1. Классические группы малых размерностей 17
2 А.И. Кострикин
18 Гл. 1. Теоретико-групповые конструкции
УПРАЖНЕНИЯ
i 0 1 i , i 0 i i , i 1 0
1 0 = —hi, K ‘2 = — -i 0 = —h2 , Ко = — 0 -1
2 2 2 2 2 = 2 Лз’
составляющие базис пространства М 2 косоэрмитовых матриц
с нулевым следом: К * = —К , tr К = 0.
3. Кватернионные единицы i, j, к порождают в Sp(l) интересную подгруп
пу — группу кватернионов Qs порядка 8, играющую заметную роль в разного
рода вопросах. Какое отношение к Qs имеют матрицы
1 0 i 0 , ± 0 1 , ± 0 i
0 1 5 =Ь 0 —i -1 0 i 0
4. Можно ли построить ассоциативную алгебру с делением А над К размер
ности 3, содержащую С в качестве подалгебры?
5. Эйфория, возникшая в связи с открытием кватернионов, привела к соз
данию общества сторонников кватернионных функций — аналога функций
комплексного переменного. Хотя больших достижений на этом пути не было
достигнуто, нельзя отрицать, что кватернионы имеют прямое отношение к ма
тематической физике. В какой-то мере это можно усмотреть, введя дифферен
циальный оператор
.д _ . д д
V= 1---- b к —
дх ду dz
на трёхмерном функциональном пространстве с базисом {i,j,k}. Справедливы
следующие соотношения:
. dt . dt dt
Vt = i-----bk —
дх J dy dz
— градиент скаляра t;
dH дН дЧ\
V 2t = - A t = -
дх2 ду2 dz2)
§ 2. Смежные классы по подгруппе 19
' ди dv dw \
V(m + jv + кw)
• дх ду dz '
поле ^ у '
ди вергенция поля
. / dw dv\ . / ди dw\ \^( ди\
V ду dz ) ^ \ dz дх ) \<
9ж ду)
§ 2. С м еж н ы е классы по п о д г р у п п е
2
20 Гл. 1. Теоретико-групповые конструкции
УПРАЖНЕНИЯ
§ 3. Д е й ст в и е г р у п п на м н о ж е ст в а х
1. Г ом ом орф изм ы G — £ (П ) . Теория групп началась для нас
в [ВА I, гл. 4], с примеров групп преобразований — подгрупп группы
S(Q) всех взаимно однозначных отображений множества П на себя.
Этот подход соответствует как историческому пути развития тео
рии групп, так и значению групп преобразований в других областях
математики. Так называемая абстрактная теория групп, являющая
ся порождением более поздней эпохи (первая половина XX столетия),
далеко отошла от групп преобразований, но многие её понятия не
сут на себе отпечаток старого времени. Именно, источник этих поня
тий чаще всего покоится на идее реализации (представления) данной
группы G в S(Q), где П — подходящим образом выбранное множест
во. Под реализацией G в S(Q) удобно понимать любой гомоморфизм
Ф : G — у S(Q). Если Ф9 — преобразование из 5(П), отвечающее
элементу g Е G, то Фе = — единичное преобразование П — у П
и Фgh = Фд о Ф/д д Д Е G. Образ Фд(х) точки (элемента) х Е П от
носительно преобразования Фд часто обозначается просто символом
д х , что даёт право говорить об отображении (д,х) i-А дх декарто
ва произведения G х П в П. Правильнее было бы писать д о х или
д * ж, чтобы не получалось путаницы с умножением в G, но боль
шей частью в этом нет необходимости. Отмеченные выше свойства
преобразования Фд записываются в виде:
i) ex = ж, х Е П;
и) (gh)x = g(hx), g , h e i l .
Всякий раз, когда имеется отображение (д, х) i-A дх декартова
произведения G х П в П, удовлетворяющее свойствам i), ii), гово
рят, что группа действует (слева) на множестве П, а П является
24 Гл. 1. Теоретико-групповые конструкции
г
|G| = \Z(G)\ + Y , (G ■C ^ ) ) - (2')
i=q+ 1
Е ^ ) 2= Е Е N ( x ) = 2\G\. □
geG j = 1 xeGj
УПРАЖНЕНИЯ
П -Д . QI
ф9 4 \,Ф'д
П -Лл П'
коммутативной при всех д £ G. Таким образом, = <тФ9<т- 1 . Доказать, что
каждое транзитивное действие группы G эквивалентно действию G на левых
смежных классах по некоторой подгруппе Н.
2. Опираясь на теорему 2, доказать, что все группы порядка р 2 (р — простое
число) абелевы.
3. Показать, что центр группы Р , приведённой в конце примера 1, имеет вид
1 0 с
Z (P ) 0 1 0
0 0 1
l rr!2s s !3 4 !. . . '
6. Пусть группа G действует на множестве П. Назовём подмножество
Г С П инвариантным относительно G (или
G-инвариантным), если дх Е Г для всех д £ G
и х G Г. Например, инвариантными множествами
при действии S O (2) на М2 являются концентрические
кольца.
Показать, что всякое инвариантное подмножество
в П является объединением орбит, причём G-орбита
любого элемента х Е П есть не что иное, как наимень
шее инвариантное подмножество, содержащее х.
7. Показать, что для группы G с подгруппой Н
действие Н х G — у G , определённое сдвигом (/i,g) ^ hg, задаёт разбиение G на
правые смежные классы G по Н.
8. Видоизменив доказательство теоремы 1, получить соотношение
r(G: п) = тк У n{9)’
11 део
32 Гл. 1. Теоретико-групповые конструкции
D(a) = (ж G G| жа = а _1ж},
§ 4. Ф а к т о р г р у п п ы и го м о м о р ф и зм ы
\G , H\ = ^ = ( G: H) ,
3 А.И. Кострикин
34 Гл. 1. Теоретико-групповые конструкции
3*
36 Гл. 1. Теоретико-групповые конструкции
Я /У 4 = 5 з / ( 5 з ПУ4) = 5 3.
В частности, \Н\ = |V4 1 - | | = 24, т.е. Н = S 4 . Итак, S 4 обладает подгруп
пой, изоморфной 5 3, и аналогичной факторгруппой. Применяя теорему 4, мы
получаем описание множества П(5 '4 ,У4) подгрупп в S 4 , содержащих У4:
П(^ 4 ,У4) = {У4,((12))У4 ,((13))У4 ,((23)>У4 ,А 4 = ((123)>У4 , S4}
Обратим внимание на то обстоятельство, что для любого делителя d чис
ла 24 в S 4 имеется хотя бы одна подгруппа порядка d. В частности, имеется
ровно четыре подгруппы ((123)), ((124)), ((134)), ((234)) порядка 3 и три под
группы ((12))V4 , ((13))V4 , ((23))V4 порядка 8 (это так называемые 3-силовские и
2-силовские подгруппы). Собственных (т.е. не равных е и S 4) нормальных под
групп всего две: У4 и А4.
Действительно, если К <\ S 4 и К ПУ4 ф е, то К D V4 , потому что неединичные
элементы в У4 все сопряжены относительно S 4 . Обращаясь к множеству П(5'4, У4),
мы видим, что К = V4 или К = А4. Е сли же К П У4 = е, К ф е, то
К < S 4 , V4 < S 4 = > K V 4 < s 4,
и остаётся принять, что K V 4 = S 4 , К = S 3 . Но Sз содержит транспозицию, а все
транспозиции сопряжены в 64 и порождают S 4 . С другой стороны, они должны
содержаться в К . Полученное противоречие показывает, что случай К П У4 = е
невозможен.
3. К о м м у т а н т . Выражение
(х,у) = х у х ~ ху~х,
называемое коммутатором элементов х , у группы G, служит коррек
тирующим членом, необходимым для того, чтобы поменять местами
х и у.
ху = (х,у)ух.
Если х и у перестановочны, то (х,у) = е. Интуитивно ясно, что
чем больше в группе G коммутаторов, отличных от е, тем значитель
нее отклонение закона умножения в G от коммутативного. Пусть
М — множество всех коммутаторов в G. Коммутантом (или про
изводной подгруппой) группы G называют подгруппу G' ( = =
= (G, G)), порождённую множеством М (см. [BA I, гл. 4, § 2 ,
упр. 1 , 2 ]):
G ' = ((х,у) | х ,у G G) := gr(x,y).
Хотя (ж,?/)- 1 = у х у~ гх ~ г = (у,х) — коммутатор, произведение двух
коммутаторов быть им уже не обязано, так что G' состоит из все
возможных произведений вида
(Х1,У1)(Х2,У2) ■■■(хк,Ук), Хг,Уг G G.
Конечно, в каждом конкретном случае желательно иметь более
точное описание коммутанта G'.
38 Гл. 1. Теоретико-групповые конструкции
1 1 2 2 т т
е аш а ат ~ 1 b ab
УПРАЖНЕНИЯ
\ н к \ - \ н п к \ = \ н\ - \ к \
С(р°°) = ( a i , a 2 , a 3, . . . | = 1 , a ?+ 1 = a*; i = 1, 2, 3, . . . ) .
ее ~ е,
1
1 % ~ е,
а«а- а ~ 1сц ~ е,
aie ~ ai, аг_1е ~ аг
_1>
еа; ~ щ , еаг_ 1 ~ « А
§ 4 • Факторгруппы и гомоморфизмы 47
а- 1
Рис. 3
Несократимым словам отвечают натянутые нитки, освобождённые от три
виальных петель aa- 1 , a - 1 a, 66- 1 , Ъ~1 Ъ. На рис. 3 участки а и a- 1 , b и 6- 1
изображены геометрически различными лишь для наглядности. Наш пример ре
ализует F2 в виде совокупности классов “гомотопически эквивалентных путей”
(топологическая терминология) лемнискаты. В этом смысле фундаментальной
группой лепестка, изображённого на рис. 6 в комментариях к 3.3.2 в разделе
ответов и решений, будет свободная группа F&.
Глава 2
С Т РО Е Н И Е Г Р У П П
§ 1. Р а зр еш и м ы е и п р о ст ы е гр уп п ы
4 А.И. Кострикин
50 Гл. 2. Строение групп
\а\2 + \P\2ei2lfi
\а\2 + \P\2e~i2cp ’
где \а \2 + |Д|2 = 1 (см. (3) из § 1 гл. 1). Для следа матрицы (Д^,д)
получаем выражение
tr <ydv ,g) = 2\а\2 + \j3\2(yel2v + e~2v) = 2 (1 - 2\Р\2 sin2 ф).
Здесь \/3\ принимает любое значение из отрезка [0,1] и sin Ч> Ф 0 .
Снова в силу (5) из § 1 гл. 1 найдётся унитарная матрица h Е SU(2)
4:
52 Гл. 2. Строение групп
_ f а /3 \
В = DU = UD
- \ 0 а "" 11 /
— стандартная борелевская подгруппа. Заметим, что
d( А) = ЦА —1)гГ(1)1/(Л—1 —1)и(—А),
поэтому борелевская подгруппа В порождается унипотентными под
группами U и U. Выделим ещё элемент
0 1
w = гх(1 )гх(—1 )гх(1 )
-1 0
2 ) Группа G = SL(2 ,F ) обладает разложением
G = В UB w B , В ПBwB = 0 . (4)
Чтобы в этом убедиться, рассмотрим естественное действие G
слева на столбцы. Группа изотропии столбца е1 = [1,0] совпадает,
очевидно, с U. Орбита B e 1 состоит из всех столбцов [А, 0], А ф 0. С
другой стороны, we1 = [0 , - 1 ], и поэтому орбита B w e 1 состоит из
всех столбцов [Д,А-1] со второй компонентой ф 0. Так как эти две
орбиты покрывают орбиту Ge1, то отсюда следует, что В U B w B =
= G, поскольку группа изотропии U содержится в В.
§ 1. Разрешимые и простые группы 53
УПРАЖНЕНИЯ
1. Цепочка подгрупп
е = G0 С Gi С . . . С Gn С Gn+1 = G, (*)
где Gi - 1 < G i , 1 ^ г ^ n + 1, называется нормальным рядом группы G. Нормаль
ным называется также ряд убывающих подгрупп
G = Go D Gi D . . . D Gn A G n + 1 = e,
где Gj+i < Gi.
Если все члены ряда (*) различны и Gi - 1 <1 Н <\ Gi = > Н = G^-i или Н =
= Gi при всех г, то говорят о композиционном ряде группы G. Факторгруппы
Fi = Gi / Gi —i в этом случае называются композиционными факторами.
Показать, что:
1 ) любой нормальный ряд конечной группы можно уплотнить до композици
онного ряда, вставляя в него дополнительные члены до тех пор, пока это будет
возможно;
2 ) факторы Fi являются простыми группами (или циклическими группами
простых порядков);
3) группа G разрешима ровно тогда, когда все её композиционные факторы
являются циклическими группами простых порядков.
Упомянем без доказательства о теореме Жордана-Еёльдера, согласно кото
рой набор композиционных факторов группы G с точностью до изоморфизма и
порядка следования не зависит от выбора композиционного ряда.
2. Доказать, что любая конечная р-группа разрешима.
3. Доказать простоту знакопеременной группы А п , п ф 5, следуя набросан
ной ниже схеме рассуждений.
а) В нормальной подгруппе К <\ А п , К ф е, следует взять перестановку
7г ф е, оставляющую на месте максимально возможное число т символов из П =
= { 1 , 2 , . . . , гг,}. Если т = п — 3, то 7Г = (г j к) и К = А п (см. [ВА I, гл. 4, § 2,
упр. 1 1 ]), поэтому считаем т < п —3.
б) Если 7г = (12 3 . . . ) . . . — разложение 7г на независимые циклы, то чётность
7г и условие т < п — 3 влекут неравенство т < п — 5. Возможно ещё, что 7г =
= (1 2)(3 4) . . . состоит из независимых циклов длины 2.
в) В любом случае рассмотреть коммутатор (7г,а) = 7га7г~1а ~ 1 ф е с
а = (3 4 5) и проверить, что он оставляет на месте более т символов. Это про
тиворечит выбору т и доказывает утверждение.
4 . Показать, что знакопеременная группа А 5 не содержит подгрупп порядков
15 и 20 .
§ 2. Т еор ем ы С илова
Мы уже обращали внимание на тот факт, что в конечной группе
G порядка \G\ может и не быть подгруппы порядка d , делящего \G\.
Минимальным таким примером служит пара G = ДЦ, d = 6 .
Так как в неабелевой простой группе не может быть подгрупп
индекса 2 (ввиду их нормальности), то по теореме 2 из § 1 в знакопе
ременной группе А$ порядка 60 нет подгрупп порядка 30 (см. также
упр. 4 из § 1). На этом фоне особенно замечательными выглядят об
щие закономерности, установленные более 125 лет назад норвежским
§ 2. Теоремы Силова 55
Так как левые части сравнений (4) и (5) по одному и тому же модулю
pt совпадают, то имеем
t = tNp(s) (mod pt),
а это и даёт искомое сравнение N p(s) = 1 (modp). □
Хотя фактически доказано больше, чем требовалось, мы не наме
рены этим воспользоваться, отсылая интересующихся к специальной
литературе.
П р и м е р . Пусть G = SL(2, Zp ) — группа всех 2 х 2 -матриц с определителем 1
над полем Zp из р элементов. Из разложения
р- 1
GL(2, Zp) = U SL(2 , Z P)
г=1
полной линейной группы GL(2,Zp) в смежные классы по SL(2, Zp ) следует, что
|GL(2, Zp )\ = (р — 1) |SL(2, Zp )\. ( 6)
Рассматривая GL(2, Z P) как группу автоморфизмов двумерного векторного про
странства V над Zp, легко найти порядок |GL(2,ZP)|. Действительно, GL(2, Zp )
действует на множестве пар {vi , V2 } базисных векторов. Образом v i может быть
любой отличный от нуля вектор fi G V (их всего р 2 —1 штук), а при всяком выбо
ре fi образом V2 может быть любой вектор f 2 из Vr\ ( f i ) (таких векторов имеется
р 2 —р штук). Стало быть, |GL(2,ZP)| = (р 2 — 1){р2 —р), что в сочетании с (6)
приводит к формуле
|SL(2, Zp)\ = р(р2 — 1).
По крайней мере две силовские р-подгруппы группы SL(2, Z P) мы находим
сразу:
1 а 1 0
Р =
0 1 GZ* а 1 ol GZ%
р = {
В соответствии с теоремой 3 имеем
Np = (G : N( P) ) = 1 + кр > 1,
а так как
А О 1 а А- 1 А2а
О А” 1 О 1 О 1
и, следовательно, нормализатор N ( P ) содержит подгруппу
А а
Н = а, A G Zp, А ф О
О А"
порядка р(р — 1 ), то остаётся единственная возможность
N ( P ) = Н, Np = 1 + р.
58 Гл. 2. Строение групп
Между группой
1 0 1 1 0 1 0 1
SL(2 , Z 2) 5 5
’
0 1 1 0 1 1 1 0
1 0 1 1
1 1 5 0 1
и симметрической группой Sз непосредственно устанавливается изоморфизм
1 1 (1 2 ) ь-» 0 1
(12 3)
1 0 ’ 1 О
(обе группы имеют одинаковое задание образующими и соотношениями). При
р > 2 группа G = SL(2, Zp ) имеет центр Z(G) = {±РД порядка 2 . Факторгруппа
PSL(2, Zp) = G/Z(G), которую естественно называть, как и в [ВА II], проектив
ной специальной группой (она является группой преобразований проективной
прямой
zpР 1 = P(V) = { 0 , 1 , . .. , р - 1} U {оо}),
играет важную роль в алгебре со времён Галуа. Дело в том, что при р > 3
группа PSL(2, Zp) простая, и это, наряду с А п , — один из самых ранних примеров
конечных простых групп.
Обратимся снова к общему случаю и получим одно полезное уточ
нение теорем Силова.
Т е о р е м а 4. Справедливы следующие утверждения :
i) силовская р-подгруппа Р группы G нормальна в G тогда и
только тогда , когда N p = 1;
и) конечная группа G порядка \G\ = р™1.. .ррк является прямым
произведением своих сило в ских pi-подгрупп P i ,. . . , P k в точности
тогда , когда все эти подгруппы нормальны в G.
Д о к а з а т е л ь с т в о , i) Все силовские подгруппы, отвечающие
данному простому делителю р порядка |G|, по второй теореме Сило
ва сопряжены, и если Р — одна из них, то
Np = 1 <*=> х Р х - 1 = Р \/х е G <(=> Р <\G.
ii) Если G = Р±х .. . x P k — прямое произведение своих силовских
подгрупп, то Pi <\ G как любой прямой множитель. Значит, условие
нормальности необходимо.
Пусть теперь Pi <\ G, 1 ^ г ^ fc, т.е. N Pi = 1 . Заметим, во-пер
вых, что
х G Pi П Pj, гф j = > xPi = е, хрз = е = > х — е.
Стало быть, Pi П Pj = е, а отсюда для любых Xi G Pi, Xj G Pj имеем
Г (Xi Xj Xi Х)Х; 1 = ж' ж, 1 е Pj
( Xi , Xj ) = < , _1 J i 4 3 / „ ( xi , Xj ) = e,
v 3> \ Xi ( Xj Xi 3Xj Д = XiX\ e Pi
т.е. элементы Xi и xj перестановочны.
§ 2. Теоремы Силова 59
г i =E^
2=1
УПРАЖНЕНИЯ
§ 3. К о н еч н о п о р о ж д ён н ы е абелевы гр уп п ы
Этот параграф написан так, что его зависимость от остального
материала главы минимальна.
1. П ри м еры и пр едвар и тел ьн ы е р езу л ь т а т ы . Как уже не
раз упоминалось, абелевы группы иногда удобно записывать адди
тивно, используя + в качестве основной операции. Таким образом,
если (А, +) — аддитивная абелева группа, то:
1) а + а' = а' + а для любых элементов а, а1 Е А;
2) па := а + а + ... + а при любом п > 0, п Е Z;
^ V ^
п
3) 0 • а = 0 (слева 0 Е Z, справа 0 — нейтральный элемент труп-
пы);
4) ( -п ) а = (—а) + (—а) + ... + (—а) при любом п > 0, п Е Z.
у _ ^
п
Понятно, что при этом выполнены свойства
т(па) = (гтш)а, (т + п)а = та + па, п(а + а') = па + па'.
Стало быть, для любого набора элементов a i , ..., ат Е А мы можем
рассматривать целочисленные комбинации
п\а\ + п^а^ + ... + nmam Е А
с коэффициентами П{ Е Z.
О п р е д е л е н и е . Система элементов a i , . . . , a m аддитивной абе
левой группы Э называется системой образующих или системой по
рождающих, если
{niai + ... + п тат | n; Е Z} = Э,
т.е. каждый элемент а' £ А записывается, быть может, многими
способами, в виде а1 — п\а\ + ... + п шаш. В таком случае пишут
А = (ai, a 2 , . . . , am).
п р и м е р 1 . Обычная единица 1 — образующая группы (Z, +); —1 также
будет образующей, но п ф ± 1 образующей не является.
П р и м е р 2 . Абелева группа Ъп целочисленных векторов (векторов с целыми
координатами) в координатном пространстве Qn обладает системой образующих
£1 = ( 1 , 0 , . . . , 0), £2 = ( 0 , 1 , . . . , 0 ), ..., = (О, О,. . . , 1 ).
§ 3. Конечно порождённые абелевы группы 61
&i=(l,l), Ъ2 = { 1 , - 1 ) , Ьз = (4,1).
Так как е\ = 3 6 1 + 262 —63, £ 2 = —26i —262 + 63, то это действительно образующие
группы Z 2. Однако никакая пара элементов из множества { 6 1 , 62, 63} системой
образующих группы Z 2 не является. Убедитесь в этом.
Нетрудно назвать группы, в которых нет никакой конечной сис
темы образующих. Например, ими являются = (R, +) и U =
= {<т Е С | \а\ = 1} (группа с операцией умножения). Действитель
но, эти группы — несчётные множества, а группа с конечным числом
образующих всегда счётна. Имеются и другие примеры: или Q*
(несложная проверка).
П р е д л о ж е н и е 1. Прямая сумма
А = Аг 0 ... 0 А п
конечного числа циклических групп А{ является группой с конечным
числом образующих.
Д о к а з а т е л ь с т в о . Действительно, если А{ = (аД, то элементы
(аь 0, . . . , 0) , (0, а2, . . . , 0), ( 0, 0, . . . , а„)
будут образующими группы А. □
П р е д л о ж е н и е 2 . Прямая сумма А = Ст 0 Сп двух конечных
циклических групп взаимно простых порядков ш, п является цик
лической группой порядка тп.
Д о к а з а т е л ь с т в о . См. [BA I, гл. 4, § 2 , упр. 3]. □
Итак, имеет место импликация
НОД(ш, п) = 1 =► Ст © Сп - Стп. (1 )
Мы видим, что абелевы группы с конечным числом образующих
довольно разнообразны по своим свойствам. Они достойны детально
го изучения хотя бы потому, что возникают естественным образом
в геометрии, в топологии, в гомологической алгебре. Стоит ещё до
бавить, что если G — произвольная конечно порождённая группа, а
это обширный класс групп, то по теореме 5 из § 4 гл. 1 факторгруппа
по коммутанту G/G' является абелевой группой с конечным числом
образующих.
2. А белевы гр уп п ы б ез кручени я. По определению группа
А без кручения, если она не имеет ненулевых элементов конечного
порядка, т.е. па = 0, п / 0 => а — 0. Такие группы очень похожи
на векторные пространства, как это будет видно из дальнейшего.
О п р е д е л е н и е . Система элементов а±, . . . , Е А называется
независимой , если из равенства п\а\ + ... + = 0, где П{ Е Z,
следует, что ni = ... = = 0.
62 Гл. 2. Строение групп
т.е.
А = (ai) 0 Ai, В = (bi) + Bi,
где bi = niiai, В г С А г := (v2, .. . , v n).
Итак, В\ — подгруппа свободной абелевой группы А\ ранга
п —1. Простая индукция по рангу приводит к заключению, что для
пары ( A i,B i) утверждение теоремы справедливо, т.е. в А\ найдутся
элементы , . . . , ап , для которых
Ai = (а2, . . . ,а п), Вг = (b2,...,b k ), h = гщщ, m i- 1\m i, i > 2.
На каком-то этапе, возможно, появятся нули: rrik+i = mk+2 — • • •
... = т п = 0 .
Осталось доказать, что т\ \ Положим — qmi + г, 0 ^ г <
< mi, и заменим временно а\ на а[ = а\ 0 qa2 . Относительно базиса
{а^, а 2 , ..., ап} группы Д элемент + 62 G В имеет вид
bi + Ъ2 = m iai + (^mi + r)a 2 = mia^ + га2.
Отсюда видно, что при г > 0 мы вступаем в противоречие со свой
ством экстремальности исходного базиса, или, что то же самое, с
выбором mi. Таким образом, г = 0, и доказательство завершено. □
В условиях теоремы 2 говорят о согласованности базисов в А
и В.
С л е д с т в и е 1. Всякая подгруппа В свободной абелевой группы
А ранга п свободна ранга к ^ п.
Д о к а з а т е л ь с т в о . По теореме 2 в группах i , 5 / 0 можно
выбрать согласованные базисы
А = (а1;... ,а„), В = ( к, ■■■,Ьк), к = гп^аи 1^ i ^ к ^ п,
где mi | т 2, т 2 \ т 3, mfe_i | т к (тк+1 = ... = т п = 0). Итак,
любой элемент b Е В записывается в виде
b = sim iai + s 2 m 2 a 2 + ... + skm kak.
Если для некоторых si, S2 , ..., sk Е Z, одновременно не равных нулю,
будет b = 0 , то мы приходим к нетривиальной линейной зависимос
ти системы {ai , ... ,а к} с коэффициентами simi, $2 ^ 2 ,... , s km k , что
исключено, поскольку {ai, .. ., a^} — часть базиса группы А. Ста
ло быть, система образующих {Ъ\ , . . . , Ък} группы В независима (или
свободна) и В — свободная группа ранга к ^ п. □
При п = 1 утверждение следствия 1, конечно, нам известно: в
группе (Z, +) каждая ненулевая подгруппа имеет вид тЪ и является
бесконечной циклической, т.е. свободной ранга 1 .
С л е д с т в и е 2 . Любой гомоморфный образ ц>(А) свободной абе
левой группы А ранга п изоморфен группе
Ъп ^ 0 Z mi 0 ... 0 Z mk, 0 ^ к ^ 77/,
5 А.И. Кострикин
66 Гл. 2. Строение групп
причём m i - 1 |т*, 2 ^ i ^ к.
Д о к а з а т е л ь с т в о . Пусть В = Кег ср — ядро гомоморфизма р.
По теореме о гомоморфизмах (теорема 2 из § 4 гл. 1 ) р(А) = А /В .
Опишем эту факторгруппу, для чего в соответствии с теоремой 2
выберем в А и В согласованные базисы. Пусть
А = А\ 0 ... 0 Лп, В = В\ 0 ... 0 B nj
где
^ гт7 _ . Г niLai при i < к,
Ai = Z ah Bi = B n A i = < \ г F
г г’ г \ 0 при i > к.
Факторизация бесконечной циклической группы {ai) = Za* по под
группе miCtiZ приводит либо к той же группе (аД при i > к, либо
к циклической группе (а* | т(а{ — 0 ) порядка изоморфной Zm.,
i ^ к.
По теореме 7 из § 4 гл. 1 имеем
А/В = А\/В\ 0 ... 0 Ak/Bj, 0 Ak+i / Bk+i 0 ... 0 А п/ В п =
— Z mi 0 ... 0 Z mk 0 Z 0 ... 0 z . □
^ V ^
n—k
4. С т р о ен и е конечно п о р ож д ён н ы х абелевы х гр уп п . Пос
леднее следствие теоремы 2 даёт фактически ответ на основной
вопрос о конечно порождённых абелевых группах. Предварительно
докажем одно универсальное свойство свободной абелевой группы.
Л е м м а 3. Пусть X — множество образующих абелевой группы
F, \Х\ = п. Тогда эквивалентны следующие утверждения :
i) F = F%b — свободная абелева группа и X — множество её
свободных образующих ;
п) каждое однозначное отображение р множества X в некото
рую абелеву группу А индуцирует гомоморфизм р: F А.
Д о к а з а т е л ь с т в о . i)= > ii). Имеем X = {ж1 , . . . , жп}, р : X —>
—у А. Так как каждый элемент из F однозначно записывается в виде
'EiSiXi, то, очевидно, отображение
ф ■Е siX i
i i
является гомоморфизмом из F в А.
ii) ^=> i). В этой импликации мы убедимся сразу, взяв в качестве
А свободную группу со множеством образующих {сд,. .., ап} той же
мощности, что и X . Если р : Х{ i—>- — существующее по условию
однозначное отображение, которое продолжается до гомоморфизма
ёр : F —>А, то
i —1
5
68 Гл. 2. Строение групп
и в силу максимальности рк
рк~1Ь + рк~11а = ркх = 0 .
Отсюда pfc-1Za = 0, а в таком случае рк~г1 делится на р к, т.е. I = pj
для некоторого j G Z. Теперь для у = х —ja имеем ру = Ъ Е В; но
у (fc Н, так что (В , у) содержит (в силу максимальности В) ненулевой
элемент га Е (а).
Итак, га = b' -\- sy; b' Е В, s Е Z. Отсюда si/ Е В 0 (a) = Н. Если
р | s, то s?/ Е В , V + sy = Ьп € В и 0 ^ га = Ъ" = > 5 П ( а ) 7^ 0 —
противоречие. Значит, (s,p) = 1, причём sy Е Н и ру Е 77, откуда
у Е Н — снова противоречие. Таким образом, А — Н , И = (а) 0 Б,
и утверждение доказано.
Теперь доказательство теоремы 8 очевидно. Мы выбираем в И
элемент максимального порядка и записываем И = (а) 0 В. Тот
же процесс, применённый к В, \В\ < \А\, завершает доказательст
во. □
Важным дополнением к теореме 8 служит
Т е о р е м а 9. Если конечная абелева р-группа А разложена
двумя способами в прямую сумму циклических подгрупп :
А\ 0 ... 0 А г — А — В\ 0 ... 0 В s,
то г = s и порядки \А{\ совпадают с порядками \Bj\ при некотором
упорядочении последних.
Д о к а з а т е л ь с т в о . При \А\ = р теорема, очевидно, верна. Ис
пользуем индукцию по \А\. Удобно с самого начала упорядочить ком
поненты Ai и Bj так, чтобы их порядки не возрастали:
Ai = (ai), I(a*) I = p f£i,
(3 )
P'1 ^ P2 ^ ^ Pq У Pq + 1 = ••• = Pr —
jXPisk . m s1 m s2 ^ • . ^ m sk :
р 7 ‘\ р ? ‘2, ■• ' 5 Ps Ч
Можно считать, что все строки из инвариантов имеют одинаковую
длину к , если дополнить некоторые из них единицами.
Целые числа
т > = р ? '* р ? « ...р ? i — 1, 2,..., к,
72 Гл. 2. Строение групп
Элементарные Инвариантные
|Л| = 36 = 2 2 • 3 2
делители факторы
Z4 0 Zg = ^36 4, 9 36
Z2 0 Z2 0 Zg — Z2 0 Zi8 2, 2, 9 18, 2
Z4 0 Zg 0 Zg = z 3 0 Z12 12, 3
TJH*'
со"
со
Z2 0 Z2 0 Zg 0 Zg — Zg 0 Zg 6, 6
CO
CO
УПРАЖНЕНИЯ
§ 4. Л и н ей н ы е гр уп п ы Л и
г; = ••><(*))
— однозначно определённый вектор в V , называемый касательным
вектором к Г в точке Гг или вектором скорости в момент време
ни t. В дальнейшем будем для простоты говорить о гладкой кривой
Г^, отождествляя функцию с её значением.
Пусть теперь V = МП(Е) или МП(С), рассматриваемые как век
торные пространства размерностей п2 и 2п2 соответственно. Будем
считать, что кривая Гг на пространстве М п(Я) (Я = Е или Я = С)
на самом деле целиком лежит в матричной группе G С М п(Я), т.е.
Гг Е G Vt Е Тогда естественно говорить о кривой в группе
или на группе G. При любом t = to надо чётко представлять себе,
что A to есть точка кривой в п2-мерном пространстве, реализован
ная в виде матрицы. Если A t = (ctik(t)), B t = (bkj(t )) : (<т,/^) —> G
— две параметрические кривые в группе G, то можно определить их
произведение Ct = A tB t , полагая
п
Ct = (Cij(t )), Cij(t) := am(t)bkj(t), t G (a,/3). (2)
k= 1
Наша ближайшая задача — рассмотреть в классических мат
ричных группах множество всех дифференцируемых кривых, прохо
дящих через единичный элемент Е, и множество всех касательных
векторов к кривым в этой избранной точке. МП(С) трактуется как
вещественное пространство размерности 2п 2.
Т е о р е м а 1. Пусть G С GL(п,Я) — матричная группа. Спра
ведливы следующие утверждения.
i) Если At, B t : (а,/?) —)>G — две дифференцируемые кривые в G,
§ 4 • Линейные группы Ли 77
Bt = t B Т Е .
Мы видим, что В о = Е , B f0 = В , а при малых t матрицы B t лежат в G . Стало
быть, касательное пространство L (G L(n,K )) совпадает с М П(К) и имеет размер
ность п 2. Аналогично показывается, что касательное пространство L (G L(n,C ))
имеет над М размерность 2п 2 .
П р и м е р 7. Имея дело с группой SL(n,M), мы должны выбирать в £-шаре с
центром в Е матрицы А с det А = 1, а для любой матрицы В Е М п (Ж) с нуле
вым следом и малого параметра t определять кривую B t , используя экспоненту
матрицы [BA II, гл. 7, § 1] :
Bt = exp (tB).
Тогда В о = Е , B't = B e x p (tB ), В'0 = В , det Bt = exp(tr(£B )) = 1. Это и
означает, что касательное пространство L (SL(n,K )) имеет размерность п 2 — 1.
П р и м е р 8. Из примера 4 видно, что касательные пространства к много
образиям (группам Ли) О ( п ) и SO(n) в точке Е совпадают. Пусть теперь B t —
произвольная кривая в SO(n) с касательным вектором B f0 в Е . Так как по опреде
лению B s t B s = Е , то дифференцирование приводит к соотношению B o A t B o = 0,
показывающему, что любой касательный вектор кососимметричен.
С другой стороны, если А — любая кососимметричная матрица, то кривая
A s = exp ( s A ) , выходящая из Е ( А о = Е ) , имеет в Е касательный вектор A'Q = А.
К аждая точка кривой A s — ортогональная матрица с определителем 1 [BA II,
78 Гл. 2. Строение групп
гл. 7]. Таким образом, L(SO(n)) = so(n) — пространство размерности п(п —1)/2,
состоящее из всех кососимметричных матриц.
П р и м е р 9. В случае унитарной группы U(n), заменяя so(n) на пространство
su(n) косоэрмитовых матриц (над К) и обращаясь к соображениям, использован
ным в примере 8, мы убеждаемся в том, что L(U(n)) имеет размерность п 2.
Размерность линейной группы Ли определялась ранее по чис
лу независимых параметров, задающих базисное дифференцируемое
многообразие. Теперь мы видим, что справедлива
Т е о р е м а 2. Пусть G — одна из классических линейных групп
Ли GL(п, Л), SL(n, Л), О(n), SO(n), U(n), SU(n); Я = Е или Я = С,
L(G) — её касательное пространство в Е.
Тогда dim G = dim L{G).
Д о к а з а т е л ь с т в о получается сопоставлением примеров 2-5,
6-9. □
К указанным в теореме группам следовало бы добавить симплек-
тическую группу, но ради простоты изложения мы условились её
опускать.
3. Д и ф ф ер ен ц и а л го м ом ор ф и зм а. Всякому гомоморфизму Ф :
G —>■Н матричных групп G, Н и всякой гладкой кривой At в груп
пе G отвечает кривая (Ф о ГД = Ф(ГД в группе Н. Гомоморфизм Ф
естественно называть гладким , если все кривые Ф о гладкие.
О п р е д е л е н и е . Гладкому гомоморфизму Ф : G —> Н матрич
ных групп Ли и касательному вектору Гд к G в точке Е можно по
ставить в соответствие касательный вектор дФ(Т'0) к Н в Е, полагая
<Ч>(Г') = (ФоГ)' . (3)
Отображение дФ : L(G) —>L ( H ), заданное равенством (3), назы
вается дифференциалом или касательным отображением гомомор
физма Ф.
Т е о р е м а 3. В матричных группах справедливы следующие ут
верждения.
i) Дифференциал гомоморфизма групп является линейным отоб
ражением касательных пространств.
п) Если Ф . G —>Н, Ф : Н —УК — гладкие гомоморфизмы, то
й(ФФ) = дФ • дФ.
ш) Гладкому изоморфизму Ф : G —>• Н отвечает линейный изо
морфизм дФ : L(G) —>L ( H ), причём dim G = dim H.
Д о к а з а т е л ь с т в о . Пусть А'0, В'0 Е L(G ), /i, v Е Е. Тогда
йФ(Мо + ^ о ) = (ф ° (М + vB))’o =
= (/ДФ о А) + п(Ф о В))'0 = /ДФ о А)'0 + п(Ф о В)'0 =
= /1дФ(А'0) + пдФ(В^).
§ 4 • Линейные группы Ли 79
(5)
Положив
= (9t,h s),
мы видим, что /(t, 0) = е и
x (E - t X - sY + tsX Y + у X 2 + у У 2 + ...) =
[X,Y] =
6 А.И. Кострикин
82 Гл. 2. Строение групп
УПРАЖНЕНИЯ
Э Л Е М Е Н Т Ы Т Е О РИ И
ПРЕДСТАВЛЕНИЙ
Итак,
н т = {um{x,y),vm{x,y))R.
Интерпретируя теперь ж, у как координаты вектора в евклидовой
плоскости R2 с фиксированной прямоугольной системой координат,
посмотрим, что произойдёт при ортогональной замене координат —
повороте плоскости R2 вокруг начальной точки на произвольный
угол в:
х' — Фб»(ж) = жcos в — у sin в ,
у1 = Фб»(у) = жsin в + у cos в.
Известное из анализа (и легко проверяемое для многочленов) правило
дифференцирования сложных функций даёт
d2f д2 д2 f д2 f
2 cos в • sin в + sin2 (9,
д х'2 дх2 ox ду oyz
d2f д2 d2f д2/
cos в • sin в + тНт cos2
ду'2 дх 2 дх ду dyz
откуда
d2f д ^_ (Р £ _(Р_
дх'2 ду'2 д х2 ду2
Это значит, что уравнение (*) остаётся инвариантным при ортого
нальной замене переменных, или, как мы ещё могли бы сказать, при
действии группы SO(2) = {Ф^}. В частности, многочлены иш(х',у'),
vm (x',y') будут решениями уравнения (*) и как таковые будут ли
нейно выражаться через иш( х ,у ), vm(x,y). Таким образом, группа
SO(2) действует на пространстве решений уравнения Лапласа. При
этом говорят о двумерном вещественном линейном представлении
Ф(ш) : Фв ^ Ф(ш) (в)
группы SO(2).
Обратившись опять к комплексным многочленам, мы замечаем,
что
ж' + iyr = хегв + iye16 = егв (х + iy),
(ж' + = eim9{x + iy)m.
Сохраняя за комплексифицированным линейным оператором ф(т ) (в)
его прежнее обозначение, будем иметь
ф М ( 0 ) : Z m ^ z^ = eimezm.
Так называемые одномерные унитарные представления ф(т ) : Ф^ н->>
н-» егтб>, т £ ^ группы SO(2) играют важную роль в анализе.
Гл. 2. Элементы теории представлений 85
г (**)
§ 1. О п ределен ия и п ри м еры
л и н ейн ы х п р едстав л ен и й
(gh) * v = д * (h * г),
имитирующим свойства линейных операторов, причём последние два
соотношения заменяют то, что выражено выше посредством Ф (срав
нить с i), п) в § 2 гл. 1). Соотношениями (1) в линейном представ
лении (Ф,У) на первое место выдвигается G-пространство V , что
бывает удобно делать по тем или иным причинам (например, когда
V — не абстрактное линейное пространство, а какая-то его конкрет
ная реализация).
С другой стороны, пространство V можно и не упоминать, если
под линейным представлением понимать попросту гомоморфизм Ф
группы G в матричную группу GL(п,К ). По-прежнему Ф ^ = Ф^Ф/г,
но здесь Фд — невырожденная матрица, причём Фе — Е — единичная
матрица. Матричная интерпретация более приемлема с вычислитель
ной точки зрения, но она менее инвариантна и лишена пространст
венной наглядности. На самом деле важно владеть (несложным) ис
кусством свободного перехода от G-пространств к матричным пред
ставлениям, и обратно.
Напомним в этой связи хорошо известный из курса линейной ал
гебры [BA II] факт, что две матрицы А, В, отвечающие одному и
тому же линейному оператору в различных базисах, подобны: В =
= GAG-1 (G — матрица перехода от одного базиса к другому). В
случае представлений, когда речь идёт о группе линейных операто
ров, зависимость от выбора базиса учитывается следующим образом.
О п р е д е л е н и е 2. Два линейных представления (Ф,У), (Ф,ИД
группы G называются эквивалентными (изоморфными или подобны
ми), если существует изоморфизм векторных пространств а : V — >
— У W , делающий диаграмму
88 Гл. 3. Элементы теории представлений
V W
Чз) 4- I Чз)
V ^ W
коммутативной при всех g е G, т. е.
Ф(д)а = аФ(д), geG ,
или, что равносильно,
ф (д) = (гФ(д)а~1 (2)
(сравнить с определением эквивалентности действий группы на мно
жествах, данным в упр. 1 из § 2 гл. 1). Будем иногда писать Ф « Ф
для эквивалентных и Ф ф Ф для неэквивалентных представлений.
Приведём ещё два варианта определения 2.
а) Т е р м и н о л о г и я G- п р о с т р а н с т в . Пусть G — группа и
V : ( g , v ) h ^ g * v , W : (д, w) н-» д о w — два G-пространства с дейст
виями *,о, удовлетворяющими условиям (1). Изоморфизм а : V — >
W векторных пространств является изоморфизмом G -пространств,
если
g o a (v ) = a (g * v ) (2')
для всех д е G и v е V. Говорят ещё, что отображение а перестано
вочно с действием G.
б) М а т р и ч н а я т е р м и н о л о г и я . Если V = (i?i,. . . , i?n), W =
= (гщ,. .., wn) и Фд, Фр — матрицы линейных операторов Ф(д), Ф(д)
относительно выбранных базисов, то условие эквивалентности (2)
выражается в виде
* д = СФдС - \ (2")
где С — некоторая невырожденная матрица, одна и та же для всех
g e G . Коэффициенты всех рассматриваемых матриц принадлежат
одному полю К.
Отношение подобия матриц, выраженное условием (2//), есть от
ношение эквивалентности, разбивающее множество М п(К) на непе-
ресекающиеся классы. Соответственно и представления группы G
разбиваются на классы эквивалентных представлений. Из дальней
шего будет ясно, что для теории представлений интересны и сущест
венны именно классы эквивалентных представлений.
Обращаясь вновь к курсу линейной алгебры, попытаемся более
наглядно представить себе действие группы Ф(G) на пространст
ве V. Относительно линейного оператора A: V — >V в V может
существовать инвариантное подпространство U : и е U => Аи е U.
Дополнив произвольный базис (ei,... , е/Д в U до базиса всего про
странства V = (ei,..., е*;, efc+i,. .., еп), мы увидим, что матрица one-
§ 1. Определения и примеры линейных представлений 89
0
с характеристическими корнями Ai, Л2 , ..., Ап по диагонали. Несколь
ко более тонкий анализ заканчивается приведением А к жордановой
нормальной форме J(A) (см. [ВА II] ) — прямой сумме жордановых
клеток
А 1 0 .,.. 0
0 А 1 .,.. 0
Jm, X —
0 0 0 .... А
(т х т — размер клетки, А — один из характеристических корней).
Заметим, что если A q = Е, то J qm х = Е — единичная т х т-
матрица для каждой жордановой клетки Jm,л матрицы А, а это, оче
видно, возможно только тогда, когда т — 1 и А — корень степени q
из 1 (по-прежнему считаем К = С). Значит,
Ai 0
А2
Е = => С А С - 1 = К = 1, (3)
0
для некоторой обратимой матрицы С. То же самое следует из более
простого критерия диагональности линейного оператора А с матри-
90 Гл. 3. Элементы теории представлений
0 ф"
9
А 0 0
<42) . 0
° : °
0 .. ФГ
О п р е д е л е н и е 4. Линейное представление (Ф,Е) группы G, яв
ляющееся прямой суммой неприводимых представлений, называется
вполне приводимым. Аналогичная терминология применяется по от
ношению к G-пространствам.
Интуитивно ясно, что неприводимые представления играют роль
строительных блоков, из которых конструируются произвольные ли
нейные представления. Вполне приводимые представления получа
ются в результате применения простейшей конструкции — прямой
суммы. Из дальнейшего будет видно, что во многих случаях этого до
статочно для описания всех представлений. Заметим, что некоторые
важные для физики группы, такие, как группа Лоренца, имеют бес
конечномерные неприводимые представления. Естественно, что они
никак не сводятся к конечномерным и должны изучаться отдельно.
2. П ри м еры л инейны х п р едстав лен и и . Мы ввели все сущест
венные понятия теории представлений. Осталось наполнить их
реальным содержанием, для чего на первых порах весьма полезно
познакомиться (и основательно разобраться) с приводимой ниже се
рией примеров.
П р и м е р 1. Полная линейная группа GL(п, К ) над полем К имеет по опреде
лению точное неприводимое линейное представление степени п с пространством
представления V = К п . На этом же пространстве действует любая линейная
группа Н С GL( п , К ) — точно, но, возможно, приводимо.
Аналогичные замечания относятся к другим классическим группам, указан
ным в § 1 гл. 1. Скажем, унитарная группа U (п) действует неприводимым об
разом на эрмитовом пространстве, а ортогональная О(п) — на евклидовом. Это
непосредственно следует из доказанного в [BA II] более сильного утверждения,
что группы U(n) и О(п) действуют транзитивно (в смысле примера 3 из п. 3 § 2
гл. 1) на множестве векторов единичной длины.
П р и м е р 2. Заставив действовать GL( п , К ) на векторном пространстве
М п (К) матриц порядка п по правилу Ф^д : X А Х (А £ GL( п , К) , X £
£ МП(АГ)), мы без труда убеждаемся в том, что Ф,д(аХ + /ЗУ) = <тФа (АГ) +
+ /3 Фа (А) и Фа в = Поэтому (Ф, М п (К)) — линейное представление сте
пени п 2. Пусть М ^ — подпространство матриц
о .... ХЦ .. 0
о .. Хп{ .. 0
М П( К) = м £ \ к ) е . . . ф М ^ \ к )
— разложение в прямую сумму п изоморфных GL(n, Х)-подпространств, чему
соответствует разложение
Ф = фА)д_... д-ф(п)
в прямую сумму п эквивалентных представлений. Символически этот факт за
писывают в виде
Мп( К ) ^ . п М ^ \ к ) , ФипфТ.
•о
•о
•о
... 1 1
0 0 0 ... 0 1
0
где ф(т ) — одно из представлений вида (7).
Нашей целью является установление подобных закономерностей в общем
случае.
П р и м е р 7. Уже в предыдущих примерах чувствовалась сильная зависи
мость свойств линейного представления Ф группы G от основного поля К . Внесём
дополнительную ясность в этот вопрос.
Циклическая группа G = (а \ ар = е) простого порядка р, действующая
на двумерном векторном пространстве V = (vi,V 2 ) над произвольным полем К
характеристики р по правилу а * vi = vi, а * V2 = v\ + V2 , определяет неразло
жимое представление (Ф,У):
1 к
О 1 00 0 —1.
В самом деле, матрица Фа имеет характеристический корень 1 кратности 2. По
этому разложимость Ф в прямую сумму двух одномерных представлений означа
ла бы существование обратимой матрицы С, для которой СФаС -1 = II J. !? II.
Но тогда Фа = С - 1 Е С = Е, что не так.
Пусть, далее, G = (а | а3 = е) — циклическая группа порядка 3 и К =
= К. Двумерное представление (Ф,У), V = заданное в указанном базисе
матрицей
§ 1. Определения и примеры линейных представлений 95
УПРАЖНЕНИЯ
1, если Ф Pd Ф,
Е ф(а* О, если Ф ф Ф.
к=
4. Опираясь на упр. 3, убедиться в справедливости следующего утверждения.
Любую комплекснозначную функцию / на конечной циклической группе (а \ ап =
= е) можно записать в виде разложения “по элементарным гармоникам”
/(ак) = ^ 2 с тетк, £= е х р (^ ).
771 = 0
“Коэффициенты Фурье” ст вычисляются по формуле
77—1
cm = - Y ' f ( a k)S~mk.
п к=о
5. Из формулы для числа ожерелий (см. начало главы) вывести элементарные
следствия:
а) qp —q = 0 (mod р) (малая теорема Ферма, см. § 4 гл. 4);
б) Ed|n^(d) =п.
96 Гл. 3. Элементы теории представлений
§ 2. У н и т а р н о ст ь и п р и в о д и м о ст ь
7 А.И. Кострикин
98 Гл. 3. Элементы теории представлений
TO
Ф(( 1 2 ) ) / 1 = e 2 - e 3 = / 2 , Ф((1 2 ) ) / 2 = ei - e 3 = / 1 ,
Ф((1 2 3 ) ) /i = e 2 —ei = - / i + / 2, Ф ((1 2 3 ))/2 = е3 —ei = - / 1 .
Так как я = (12 3)г(1 2У , где i — 0,1 или 2 и j = 0 или 1, то без труда получаются
все матрицы = Ф(7г) \(f 1 j 2) :
0 0 1 -1 -1
ei !->‘• 0 1 ( 12) -
1 о (13) I
0 1
(2 3)
1 0 (12 3) I
-1 -1 (13 2) I 0 1
I—1
—1 1 0
1
-1 -1
I—1
I—1
1
1
—1 + у/—3
1
с 1 и С -1: 0
для некоторой невырожденной матрицы С. Сопряжение при помощи С не долж-
но нарушать свойства унитарности матрицы
0 1 Линейным условиям
1 0
1—
1—
11
00
1
0 1 0 1
о
С
1 0 — 1 0
с, с 1 0 — 0 е-1
С
удовлетворяет матрица
С =
1
V
100 Гл. 3. Элементы теории представлений
Ф(д)ГаФ(д-1) = ^ Г 1 £ Ф(д)Ф(к)РФ(к-1)Ф(д-1) =
heG
Us — Vs 0 Vs 0 ... 0 Vs — n sVs,
где rii — кратность вхождения неприводимой компоненты Vi в раз
ложение V . Мы увидим, что кратности определяются однозначно.
102 Гл. 3. Элементы теории представлений
УПРАЖНЕНИЯ
_L f eikt .^iHdt =
2тг J
О
(сравнить с соотношением в упр. 3 из § 1: порядок п заменён “объёмом” 2л груп
пы SO(2)). В анализе система функций {eint} служит классическим примером
полной ортонормированной системы периодических функций (или функций на
окружности S'1 ~ SO(2); см., в частности, [BA II]). С этого начинается обширная
теория рядов Фурье.
3. При помощи теоремы Машке доказать, что любое точное комплексное
двумерное представление неабелевой конечной группы неприводимо.
§ 3. К он еч н ы е гр уп п ы вращ ений
\п \ = Х Л * - Ц
xes
Взяв за {^1 , . . . , Xk} множество полюсов, по одному из каждой орби
ты, положив П{ := пж., rrii := m Xi и заметив, что п х = n Xi = П{ для
всех х G G(xi), мы получим
к к
|П| = ^ ( П х - 1) = ^ГПг(п* - 1) = ^ ( N mi).
xES 2=1 2=1
Таким образом,
к
2N - 2 = J 2 ( N -ггц).
2=1
2т 3 2т + 2 2 2 т
12 3 14 2 3 3
24 3 26 2 3 4
60 3 62 2 3 5
No N1 N2 д V N
Тетраэдр 4 6 4 3 3 12
Куб 8 12 6 4 3 24
Октаэдр 6 12 8 3 4 24
Додекаэдр 20 30 12 5 3 60
Икосаэдр 12 30 20 3 5 60
УПРАЖНЕНИЯ
0 1
о
Dt 5 £ ф £ ф 1 —0
7ю
о
1
f ( A 4 ,q) = j ^ ( q 2 + 11),
§ 4. Х а р а к т ер ы л и н ейн ы х п р едстав л ен и й
1. Л ем м а Ш ура и её следствие. В основе всякой содержатель
ной математической теории лежит обычно несколько сравнительно
несложных (но тонких) соображений. Одним из краеугольных кам
ней теории представлений является следующее утверждение.
Т е о р е м а 1 (лемма Шура). Пусть (Ф,У), (Ф,ИД — два непри
водимых комплексных представления группы G и а : V — У W —
линейное отображение такое , что
Ф(д)а = аФ(д) VgEG. (1 )
Тогда :
i) если представления Ф, Ф неэквивалентны , то а — 0;
п) если V = W, Ф = Ф, то а = А£.
Д о к а з а т е л ь с т в о . При а — 0 доказывать нечего. Считаем по
этому а ф 0 и полагаем Vo = Ker а С V.
Так как сгФ(д)уо = Ф(д)сгУо при любом Vo Е Vo, то Ф(g)Vo = Vo,
т.е. подпространство Vo инвариантно относительно G. Ввиду непри
водимости (Ф, V) имеем Vo = 0 или Vo = V. Равенство Vo = V невоз
можно, поскольку о ф 0. Стало быть, Кег а — 0.
Аналогично, полагая ИД = Im а С W, будем иметь
W\ G W, = > Ф(д)ю! = Ф(д)а(и1) = а(Ф(д)и1) = w[ G W±,
так что W\ — инвариантное подпространство в W. Снова о ф 0 =>
=> Wi ф 0, а поскольку (Ф,ИД — неприводимое представление,
остаётся единственная возможность ИД = W.
i) Так как Кег а = 0, Im а = W , то а: V — >W — изоморфизм, и
условие i) есть не что иное, как условие эквивалентности представ
лений Ф, Ф (см. § 1, определение 2). Утверждение i) доказано.
п) По условию а : V — >V — линейный оператор на V. Пусть А—
одно из его собственных значений; оно существует, поскольку основ
ное поле С алгебраически замкнуто. Линейный оператор сто = а —А£
имеет нетривиальное ядро (в нём содержится собственный вектор)
и удовлетворяет равенству Ф(д)сго = сг0Ф(д). По ранее доказанному
сто = 0, т.е. а = А£. □
С л е д с т в и е . Пусть (Ф, У), (Ф, W) — два неприводимых пред
ставления над С конечной группы G порядка \G\ и а: У — >W —
произвольное линейное отображение.
Тогда усреднённое отображение
(/tGT
обладает следующими свойствами:
i) Ф ф Ф а = 0;
по Гл. 3. Элементы теории представлений
Д о к а з а т е л ь с т в о . Имеем
О Д г З Д -1 = |с г 1 5 ] ф ы ф ю ^ л г ' фЫ -1 =
h£G
(Ф и Ф — неэквивалентные представления).
Если теперь V = W и Ф = Ф, то
t r <7 = ^ ' СГц = ^ ^ S j ' i 1& j ' i ' 5
i i',j'
§ 4 • Характеры линейных представлений 111
tr а - —я tr °
а =
dim V aji - ji d h V v dim V
i'J'
Сравнивал полученное выражение с (2), получаем
где
Г 1, если g G 3Q,
\ 0 , если g %i. (7)
Легко проверяется, что форма (сг, т) i-A (сг, т)<з удовлетворяет всем
свойствам невырожденной эрмитовой формы. Её сужение на подпро
странство Xc(G) С CG оказывается весьма полезным инструментом,
в особенности при изучении характеров линейных представлений.
Т е о р е м а 2. Пусть Ф,Ф — неприводимые комплексные пред
ставления конечной группы G. Тогда
1 , если Ф « Ф,
(ХфX ^ ) g = (9)
О, если Ф 96 Ф.
Д о к а з а т е л ь с т в о . В матричных обозначениях имеем
п п
хф (ff) = ^ 2 т ( 9 ) , хф Ы = Т / Фи(д)-
2=1
8 А.И. Кострикин
114 Гл. 3. Элементы теории представлений
0= ^ Г 1 |G|_1 = =
9,hj 9 j i
= |G|_1 ^ 2 х^(д)хф{д~1) = |G|_1 ^ 2 Хф(д)хф{д) = (х ф , хф )g
geG geG
1 1geG j i
V = @ v t, v = @ v ;
i=1 3= 1
на неприводимые прямые слагаемые мы можем считать I = k, V- =
— Vi, 1 ^ i ^ к. Следовательно, изоморфны и сами G-пространст
ва V, V . □
Замечания, сделанные после доказательства теоремы Машке, и
следствие теоремы 2 дают возможность выразить характер хф любо
го комплексного линейного представления (Ф, V) конечной группы G
в виде целочисленной линейной комбинации
Хф = ^ 2 m iXi-
£ = exp^/ 27гг
_ j\.
8:
116 Гл. 3. Элементы теории представлений
12 1 3 4 4
а4 е (1 2) (3 4) (12 3) (1 32)
X 3 -1 0 0
24 1 3 6 8 6
S4 е (1 2)(3 4) (12) (12 3) (1 2 3 4 )
X 3 -1 -1 0 1
60 1 15 20 12 12
А5 е (1 2)(3 4) (12 3) (1 2 3 4 5 ) (1 2 3 5 4 )
X 3 -1 0 (1 + %/5)/2 (1 - %/5)/2
Соотношения
(х , х ) а 4 = X { ! • З2 + 3(—I)2 + 4 • О2 + 4 • О2} = 1,
(X,X)s4 = 4 {1 • З2 + 3(—I)2 + 6 ( - 1 )2 + 8 • О2 + 6 • Г } = 1 ,
(х , х ) а 5 = 4 | l - 3 2 + 1 5 ( - l ) 2 + 2 0 - 0 2 + 12 ^ i± ^ j + 12( ^ Д ^ ) J = 1
УПРАЖНЕНИЯ
§ 5. Н еп р и в од и м ы е п р едстав л ен и я
к он ечн ы х гр у п п
= n g h g - ^ i g h g - 1) = ^Щ)Ф(г) = фг.
heG teG
Хъ Х2, .. Хг,
X
степеней
ПЬ П2, .. • 5 Tlrj щ = Xi(e)
Обычно за Ф^1) берут единичное представление, так что Xi(d) — 1
\/g G G. Соотношение (2) показывает, что
р = т Ф(1)+ . . . ' + пг ф(г),
откуда
ХР = m x i + ... + n rXr-
В частности,
|G| = х Р(е) = nixi(e) + ... + n rx r(e) = п\ + ... + п 2г.
Т е о р е м а 2. Каждое неприводимое представление ф(г) входит
в разложение регулярного представления р с кратностью, равной
120 Гл. 3. Элементы теории представлений
Xiidj) Xk(gj) 1 r | G |
■X i ( 9 j ) X k ( 9 j ) =
^ V \ C (9j)\ V \ C (9j)\ lG l \С Ш \
l r _____ i ____
= p E \9?\xi(9j)xk(gj) = Xi(g)xk(g) =
geo
= ( X i , X k ) o = Sik,
означает, что г x r-матрица
м=(*М =
V \/№ )I
унитарна по строкам. Но унитарность по строкам равносильна уни
тарности по столбцам (М • 1М — Е — lM • М ), так что
^ Xi(dj) Xi (9k) Л
i Э\сЩ\ лД ^Ы Т - jk'
§ 5. Неприводимые представления конечных групп 121
е а b ab
XI 1 1 1 1
Х2 1 -1 1 -1
Хз 1 1 -1 -1
Х4 1 -1 -1 1
^5 е (1 2)(3 4) ( 1 2 3) (12345) (1 2 3 5 4 )
Хф 4 0 1 -1 -1
УПРАЖНЕНИЯ
аТ(х) = Х(а),
60 1 15 20 12 12
3-5 е (1 2)(3 4) (12 3) (12345) (12354)
XI 1 1 1 1 1
Х2 3 -1 0 (1 + V 5)/2 (1 - %/5)/2
хз 3 -1 0 (1 - л/5)/2 (1 + л/5)/2
Х4 4 0 1 -1 -1
Х5 * * * * *
Ф^З : а ь4
Э О
О е~э
будет определять представление степени 2. Представление Ф*33 неприводимо при
j = 1, 2 , . . . , [(п — 1)/2] ([а] — целая часть вещественного числа а). При п — 2т
представление ф(т ) распадается в прямую сумму двух одномерных представ
лений: a i-4 —1,6 i-4 1 и a i-4 —1,6 i-4 —1. Это согласуется с тем фактом, что
коммутант D'2m имеет индекс 4 в 1Ч т и D 2 m / D 2m = Z 2 х Z 2 . Все указан
ные представления неприводимы и составляют полное множество неприводимых
комплексных представлений группы диэдра. Найти вещественную реализацию
представлений Ф*33. Указать в явном виде изоморфизм (эквивалентность) Ф*33 &
& фУ), k > m, j ^ т.
§ 6. Представления групп SU(2) и S 0 (3 ) 127
cos 0 —sin 9 0
А = sin 9 cos 9 0
0 0 1
9 А.И. Кострикин
130 Гл. 3. Элементы теории представлений
УПРАЖНЕНИЯ
§ 7. Т ен зо р н о е п р о и зв ед ен и е п р едстав л ен и й
9*
132 Гл. 3. Элементы теории представлений
лами mh-
о из соотношений
** = £ Ч х * . (в)
к
В частности, равенства ш - = т\^ = 8kj отражают свойства
коммутативности Xz(G ) и единичности уд- Согласно (6)
Xi(g)xj(g) = У " Д v# е G.
/г
Умножив обе части этого соотношения на TrrrXsig), просуммировав
|С т|
т Ь = T^^2xi ( g) xj ( g) xi ( g) = тТ У Xi(g)xj(g) =
' ' 9 ' ' 9
с определителем
1 1 1
det (ojj) = CJ0 UJnn—l
1 UJX 1 1
.г а — .г а — , .г а —
^0 ^m —1
отличным от нуля (определитель Вандермонда). Таким образом,
Tj = 0, j = 0,1,... ,т —1, т.е.
Е Хк(д~г) = О, j = 0, —1.
g£Gj
136 Гл. 3. Элементы теории представлений
В частности,
0 = Е Хк(9~г) = Хк(е)
geGo
— противоречие, доказывающее теорему. □
В случае регулярного представления р, очевидно, т = 2.
4. И нварианты линейных групп. Линейной группой степени
п мы, как обычно, называем любую подгруппу в GL(п,Р), где Р —
некоторое поле. В дальнейшем можно считать Р — Е или Р = С.
Если G — абстрактная группа и Ф : G — > GL(n,C) — её линей
ное представление, то пару (G, Ф) мы тоже будем называть линей
ной группой. Линейные преобразования Фд действуют на столбцы
переменных х \ , . . . , х п:
Ф д ( Х 1 ) X I
$ д ( х п ) Х п
f ( x 1 , . . . , х п ) = y ^a j j X j X j ,
записанную в виде
f ( x 1 ,. . . , х п) = fX A X , ; А = (a i j ) — fA, X = [жь . . . ,жп],
действует ортогональная группа О(п):
II £ £~г 0 = rv.
II 0 0 1
Пусть u, v — независимые переменные, линейно преобразующиеся посредст
вом Го-:
Г(1 2 3 )М = £и, Г(1 2 3 ) (и) = е“ Т ;
Г (2 3 ) Ы = «> Г ( 2 3 ) (и) = и.
138 Гл. 3. Элементы теории представлений
Так как
Г ( 1 2 3 ) М = r ^i12 3)(“ )r a 12 3)(t') = £ ~ 1 u - e v = uv,
Ii = uv, h = и 3 + v3 (7)
степеней 2 и 3 в качестве своих инвариантов.
Далее, группа Sз действует естественным образом на многочленах f ( x 1 ,Ж2 ,жз)
от трёх независимых переменных:
0/)(ж1,Ж2,Ж3) = Д ж<71,Ж<72,Ж<73).
Положив
W= Х\ Т £ 2 Ж2 + £ Ж з,
( 8)
V = Х\ + £Ж2 + £2Жз ,
мы увидим, что
r (J(w ) = Жо-1 + £2Ха2 + £Ж<тЗ-
В частности,
г (1 2 3 ) (и) = Х2 + £2 Ж3 + = ей,
Г(23) Ы = XI + £2 Ж3 + £Ж2 = V,
Г(1 2 3) (^) = ^2 + £Ж3 + £2Ж1 = £ ~1V,
Г(23)(^) = + £Хз + £2Ж2 = U,
т.е. действия IV на гл,г; и ст на x i , X 2 , xs согласованы. При подстановке (8) в
инварианты (7) последние перейдут в симметрические функции от Ж1 ,Ж2 ,жз, ко
торые по теореме 1 из [BA I, гл. 6 , § 2 ] можно выразить через элементарные
симметрические функции = S{(x 1 ,Ж2 ,жз). Небольшое упражнение показывает,
что
h = х\ + х\ + х \ + (£ + £2){ х \ Х 2 + Ж1 Ж3 + ж2 ж3) = sf - 3s2,
h = -З р , /2 = —27q. ( 9)
3
V
I 2 — и з ~\----
Л3
= \
-н
у, и
II
и и3 \ 2 )// т4
§ 7. Тензорное произведение представлений 139
Все р ад и к алы в ы бираю тся т ак и м и , ч т о после под стан овки значений (9) п ол у ч ат
ся ф орм улы
з / 27 3 ,---- --
и = ^J- — q + - V - 3 D ,
3/ 27 3 .-------
"= V " T 9“ 2V^ ’
uv = —3р,
с величиной D = —4р 3 —27д2 — ди скрим и нан том наш его кубического уравнения
(см. в [BA I, гл. 6, § 2, ф орм улу (16)]). Т ак к а к и и v теп ерь и звестны , то из
линейной систем ы
Х\ + £2Х 2 + £Хз = и,
Х\ + £Ж2 + £2Хз = V,
Х\ + х 2 + Ж3 = О
находятся сами корни. М ы приш ли довольно естествен н ы м п утём к ф орм улам
К ард ан о, о к о то р ы х упоминалось в [ВА I, гл. 1, § 2, за д а ч а 1].
УПРАЖНЕНИЯ
о 00
0 1
00 о
(Dn , Ф) 5
1
1 0
=1
(см. упр. 9 из § 5). Показать, что любой другой (целый) инвариант группы (Dn , Ф)
имеет вид многочлена от ху, х п + у п .
4. Проверить, что группа кватернионов, рассматриваемая в своём двумер
ном неприводимом представлении, не обладает квадратичными и кубическими
инвариантами. Что можно сказать о формах ж2?/2, ж4 + у 4?
Глава 4
К О Л Ь Ц А . А Л Г Е Б Р Ы . М О ДУ Л И
10 А.И. Кострикин
146 Гл. 4 • Кольца. Алгебры. Модули
Ю:
148 Гл. 4 • Кольца. Алгебры. Модули
( x i , . . . , x n) ■(У1, . . . , у п) = ( x i y i , . . . , x nyn).
Мы приходим к внешней прямой сумме К = К i 0 ... 0 К п колец
К{. Каждая из компонент является образом при эпиморфизме 7г* :
[ х \ , . . . , х п) i-А х \ , 1 ^ ^ п. Если, далее,
Ji , Xi , ... , 0 ) I Xi E K i } ,
= {(0,...
УПРАЖНЕНИЯ
§ 2. О тдел ьн ы е р е зу л ь т а т ы о кольцах
Этот параграф можно рассматривать как небольшое, но полезное
дополнение к главам 4 и 5 в [ВА I].
1. Целые гауссовы числа. Ранее была доказана факториаль-
ность евклидовых колец, к числу которых относятся кольца Z и Р[Х].
Ниже приводится ещё один пример евклидова кольца, а в следующем
пункте — пример факториального кольца, не являющегося евклидо
вым.
Т е о р е м а 1. Кольцо целых гауссовых чисел Z[i] евклидово.
Д о к а з а т е л ь с т в о . Имеется в виду числовое кольцо
Z[i] = {m + m | m , n E Z } ,
содержащееся в квадратичном поле Q(г) Е С , г2 + 1 = 0, и гео
метрически отождествляемое со множеством узлов (точек) целочис
ленной решётки в комплексной плоскости С. Понятно, что Z[i] —
целостное кольцо. Мы определим на Z [г]* = Z[i] \ {0} отображение
8 : Z[i]* — у N U {0}, полагая
8(т + in) = \т + ш |2 = т 2 + п2
(т.е. 8(a) = N(a) — норма числа а в Q(i)). Как известно, 8(аЬ) =
= 8(a)8(b) для всех a, b Е Z [г]*, так что свойство Е1) из определения
евклидова кольца (см. п. 3, § 3 гл. 5 в [ВА I]) автоматически выпол
нено. Чтобы убедиться в справедливости Е2), запишем дробь аЬ~г с
Ъ ф 0 в виде ab_1 = а + ifd с а, Д Е Q и возьмём ближайшие к а, Д
целые числа k ,l такие, что а = к + г/, Д = I + /х, \и\ ^ 1/2, \/л\ ^ 1/2.
Тогда
а = Ь[(к + и) + i(l + /л)] = bq + г,
где q = к + il Е Z [г], а г = b(v + г/i). Так как г = а —bq, то и г Е Z [г],
причём
Sir) = И 2 = |6| V + ц 2) ^ S(b) ( \ + I ) = \ 5(b) < 5(b).
§ 2. Отдельные результаты о кольцах 151
УПРАЖНЕНИЯ
§ 3. М одул и
Понятие модуля служит носителем фундаментального принципа,
выработанного в алгебре почти сто лет назад. Он заключается в
том, что предметом изучения любой алгебраической системы долж
ны быть не только внутренние свойства этой системы, но и все её
представления (в самом широком смысле этого слова).
1. П ервоначальные сведения о модулях. Начнём с класси
ческого определения. Пусть К — ассоциативное кольцо с единицей и
V — аддитивно записываемая абелева группа. Пусть, далее, задано
отображение (ж, г) i—у xv из К х V в V, удовлетворяющее условиям:
Ml) х(и + v) = XU + XV,
М2) (ж + y)v = xv + y v ,
М3) (жy)v = ж(yv),
М4) 1 • v = v
для всех ж,у € К, u, v Е V. Тогда V называется левым К-модулем
(или левым модулем над кольцом К ). Аналогично определяется пра
вый АТ-модуль. В дальнейшем мы говорим просто о АТ-модуле, хотя
в некоторых ситуациях оба вида модулей появляются вместе.
Аксиома М4) (условие унитарности модуля), естественно, явля
ется лишней, если кольцо К не обладает единицей. Более существен
но, что возможны модификации аксиомы М3), приспособленные к
некоторым неассоциативным кольцам. Пример модуля над неассоци
ативным кольцом приведён в конце главы. Пока мы будем исходить
из данного выше определения.
Пусть V — АТ-модуль. Подгруппа U С V называется подмодулем
в V , если хи Е U для всех ж Е АТ, и Е U.
160 Гл. 4 • Кольца. Алгебры. Модули
11 А.И. Кострикин
162 Гл. 4 • Кольца. Алгебры. Модули
11 *
164 Гл. 4 • Кольца. Алгебры. Модули
УПРАЖНЕНИЯ
которой была придана следующая изящная форма: всякое соотношение (*) можно
записать в виде равенства
/1 h fr
и21 U22 . . U2r
Ur 1 Ur 2 . . Urr
при подходящих Uij £ А. Это утверждение, несмотря на свою кажущуюся прос
тоту, было доказано лишь в 1976 г. независимо А.А. Суслиным (Россия) и Д. Квил
леном (США). Попробуйте это реализовать при небольших п и г.
Основная идея — изучить действие группы GL(r, A [ X i , . . . , Х п —\\) на мно
жестве унимодулярных последовательностей и использовать индукцию по и. С
доказательством можно познакомиться по оригинальной статье: Суслин А. А. / /
ДАН СССР. — 1976. — Т. 229, № 5. — С. 1063-1066; или по докладу на семина
ре Н. Бурбаки: Ferrand D .// Sem. N. Bourbaki, 28 erne annee, 1975/76, Juin 1976.
Изложение вполне элементарное. Какой ценой оно достигнуто, можно судить по
более раннему докладу на семинаре Н. Бурбаки: Bass Н .// Sem. N. Bourbaki,
26eme annee, 1973/74, Juin 1974. В указанной литературе содержатся постановки
нерешённых задач. Весь круг вопросов очень хорош для обсуждения на спецсе
минаре.
§ 4. А л г еб р ы н ад полем
A ^ C ( V ) = Endp(K),
где F Э Р — некоторое расширение поля Р. Другими словами, век
торное пространство V над F снабжается структурой левого
A-модуля в смысле определений § 3, причём
(Аж) • v = х • (Ai?) VA G Р, х G A, v е V.
Выбрав в V какой-нибудь базис, мы придём, как и в случае групп, к
матричному представлению А — >M r (F ), где г = dimi?(K).
2 . А л геб р ы с делением (т ел а ). Как показывает сформули
рованная выше теорема Веддербарна, изучение алгебр с делением —
важная составная часть общей структурной теории ассоциативных
§ 4 • Алгебры над полем 171
Е а з9 + Е + Ря)9,
д д д
(1)
д д
§ 4 • Алгебры над полем 175
$ ( У а 9з) = У а дФ(д),
И положим
(У а з ё ) o v =У a 9 $ ( g ) v Vvev.
( Е а я 9 ^ ) ^ ( X a gg^j ov,
то, полагая
= ( E a^ ) ° v>
мы определим гомоморфизм Ф : K[G\ — >Епс1к(С) (т. е. представ
ление алгебры K[G]), ограничение которого Ф = Ф \о на G даст нам
представление группы G. □
В соответствии с теоремой 3 пространство представления V груп
пы G часто называют модулем представления группы G или, корот
ко, — G-модулем. Соответствующие терминологические изменения
касаются других понятий теории представлений.
Пусть, далее, G — конечная группа, К = С — поле комплексных
чисел. Согласно результатам гл. 3 каждый неприводимый (или, гово
рят ещё, простой) G-модуль над С (т.е. CfGJ-модуль) с характером
Xi изоморфен некоторому левому идеалу Ji алгебры C[G] (см. в этой
связи пример 4 из § 3). Если dimc[G] = щ, то C[G] содержит прямую
сумму
A i = t/^i 0 ... 0 Ji,m
12 А.И. Кострикин
178 Гл. 4 • Кольца. Алгебры. Модули
Xj(Ii) = n ~ J 2 x i ( g ) X j ( 9 ) = riiSij.
' ' 9
Поэтому B i содержит минимальный левый идеал J С й*, отвечаю
щий характеру х%- Так как и В i — двусторонние идеалы, то Ai С
С Bi. Сравнивая разложения (2) и (7), мы заключаем, что Ai = Bi.
Итак, доказан усовершенствованный вариант теоремы 3.
Т е о р е м а 5. Элементы То 1 ^ г ^ г, вычисляемые по форму
ле (5), образуют полную систему центральных ортогональных идем-
потентов групповой алгебры C[G] конечной группы G. Простая
компонента IiC[G\ прямого разложения
C[G] = hC[G] 0 I2C[G\ 0 ... 0 JrC[G],
изоморфная полной матричной алгебре Mn.(С), содержит все ми
нимальные левые идеалы, отвечающие характеру Xi-
Всю теорию представлений групп можно развить, исходя из тео
ремы Веддербарна-Артина (см. п. 1) и из общей структурной теории
групповых алгебр (её заключительный вывод для конечных групп
сформулирован в теореме 3). Мы шли в обратном направлении, опи
раясь по существу лишь на лемму Шура.
В заключение докажем два полезных утверждения о степенях и
значениях характеров неприводимых представлений.
Т е о р е м а 6. Степень п неприводимого представления (Ф,У)
над С конечной группы G делит порядок \G\.
Д о к а з а т е л ь с т в о . Пусть Ф — соответствующее представле
ние групповой алгебры C[G]. По лемме Шура (предложение 3 из § 3)
линейный оператор Ф(АГД, перестановочный со всеми Ф(д), ^ G G, и
потому принадлежащий Endqcf] (У), должен быть кратен единично
му оператору: Ф(АГД = с^£. Имеем
nuJi = trcjj£ = tr Ф(.К'г) = У 0 Ф (h g ih - 1 ) = |3Q| Хф(Эг),
h
откуда
_ |ХФ(di)
UJi — --------- .
n
Применяя Ф к соотношениям (4), получим
г
UWj =
k= 1
12 *
180 Гл. 4 • Кольца. Алгебры. Модули
Стало быть, Z[cjJ — подмодуль Z-модуля Z[cji, . .., шг\ конечного ти
па и согласно результатам п. 3 из § 3 сUi — целое алгебраическое
число. По тем же причинам
E w s)i2 ^i^i-
ses
Д о к а з а т е л ь с т в о . Пусть п = |Д| и Т — поле разложения мно
гочлена Х п —1 над Q. В следующей главе изучается группа Галуа
G = G alF/Q и действие G на характерах. Для наглядности будем
изображать это действие экспоненциально. Если а Е G и £ — корень
степени п из 1, то (Д = £ш, НОД(ш,п) = 1. Далее, х(5) = Ci + • • •
• • • + Ofe? Cf — 1? и п0 определению
хДв) = СГ + ... + СГ = х(вт )-
Группа G абелева и н->- а, а Е F, — тоже элемент из G, так что
а а = (суД, а е F, а е G. Таким образом,
|а а \2 = = аХ(сбД = ( аа) (Т = d al2)0",
(lxWI2r = l x ( O I 2, НОД(ш,п) = 1
(ш зависит только от а).
Заметим, что s Е S => sm Е 5, если НОД(ш,п) = 1. Кроме
того, х I—у х т — биекция на А , являющаяся перестановкой. Значит,
rises 1х(Д)|2 — инвариант относительно G, а потому является ра
циональным числом. Вместе с тем это целое алгебраическое число.
Таким образом, это число должно лежать в Z. По условию х(5) Ф 0,
поэтому f l seS |x(s)|2 ^ 1. Но
2=1 2
для любых положительных вещественных чисел г \ , . . . , . В нашем
случае
т4 г £ 1 х (8)12 ^ 1 - □
§ 4 • Алгебры над полем 181
\G \ - f l K i = ( П ^ | ) Е ^ (8)
i=1 i=1 1=1
(m.e. центральные элементы Y U ^ i u us Q[G] пропорциональ
ны).
Д о к а з а т е л ь с т в о . Пусть g i , . . . , g r — представители классов
сопряжённости , . . . , %г и К \ , . . . , К г — суммы элементов из
X l, ... , Хг. Мы знаем (см. (4)), что
г
К ,к , = Е « { ^ .
1=1
w(Ki)u{Kj ) = Y , n li jio{Kl),
I
где oo(Ki) = x (g i) \^ i\/x ( e) — целое алгебраическое число. Умножая
обе части соотношения
хЫ хЫ = Y ^ niijX{gi) |эс,|
будем иметь
x ( g i ) - - - x ( f l r ) r n = i I^QI
X > x G » )|K j|,
x ( e ) r_1 1=1
так что
Пг 1^1 у' хЫ •■-x(9r)x(9s) (*)
\G\ A x(e)*-1
УПРАЖНЕНИЯ
§ 5. Н еп р и в од и м ы е м одул и н ад а л г е б р о й Л и sl(2)
1. Исходный м атериал. Напомним, что в алгебре Ли L над по
лем Р произведение элементов х ,у Е L принято обозначать [ж, у\ или
ещё проще [ху]. По определению алгебры Ли билинейная операция
(х,у) н->> [ху] удовлетворяет двум требованиям:
i) [хх] = 0 ([ху] = —[ух] — антикоммутативность );
и) [[жг/]г] + [[j/г]ж] + [[гж]г/] = 0 (тождество Якоби).
Мы знаем также из [ВА II], что если А — ассоциативная алгебра
над полем Р, то на векторном пространстве А можно задать струк
туру алгебры Ли L (A ), полагая [ху] = ху — ух (коммутатор двух
элементов).
Пусть, в частности, А = Endp(V) = £(У) — алгебра всех линей
ных операторов конечномерного векторного пространства V над Р.
Любой гомоморфизм
<р: L — >L(&(V))
называется представлением алгебры Ли L. В соответствии с тер
минологией предыдущих параграфов пространство представления V
называется также L -модулем (или модулем над алгеброй Ли L). Фор
мально L-модуль задаётся тремя аксиомами:
LI) х(аи + /3v) = ахи + fdxv;
L2) (ах + fiy)v = axv + fiyv]
L3) [xy]v = x(yv) —y(xv).
На самом деле каждый L-модуль является модулем над универ
сальной обёртывающей алгеброй U(L) — ассоциативной алгеброй,
порождаемой L (теорему Биркгофа-Витта на этот счёт мы не фор
мулируем).
П р и м е р 1. Дифференцированием произвольной алгебры А (не обязательно
ассоциативной) над полем Р называется дифференцирование D кольца (А , •):
Ъ{и + v) = Т>(и) + D (v), Ъ{и • v ) = Т>(и) • v + и • D (v), u, v Е А,
перестановочное с действием констант из Р: D(Aа) = AD(a), А Е Р, а Е А. Умно
жение
[D 1 D 2] = T>iT>2 —^ 2 ^ 1
наделяет множество всех дифференцирований Der(A), являющееся векторным
пространством над Р, структурой алгебры Ли.
Если, в частности, А = Р[Х] — алгебра многочленов, то Der(A) состоит из
дифференцирований D u , и Е А, действующих по правилу
Ф и (/) = и А = и /'.
По определению
Следовательно,
[D ltD -u] — ^ u v ' - и ' V)
обладающее свойством г р а д у и р о в а н н о й а л г е б р ы Л и
[^(гр ^(j)\ ^
(ср. с примером 2 из п. 1 § 4). Алгебра Ли ( К , [*,*]) действует на векторном
пространстве К двумя способами: 1) ( a , / ) ь-» а /' ( е с т е с т в е н н о е д е й с т в и е );
2) (а, / ) 1-» a f —a' f ( д е й с т в и е п р и с о е д и н ё н н ы м и э н д о м о р ф и з м а м и ) . В результате
получаются два неизоморфных (А, [*, *])-модуля.
Л
прямая. Из леммы 1 следует также, что W является L-подмодулем в
V. Так как W / 0, то в случае неприводимого L-модуля V должно
выполняться равенство W = V.
О п р е д е л е н и е . Вектор Vo Е V назовём старшим вектором ве
са А, если Vo ф 0 и
E\Vo = 0, E qvо = Xvo.
Л е м м а 2. Любой конечномерный L -модулъ V обладает старшим
вектором.
Д о к а з а т е л ь с т в о . Возьмём произвольный (ф 0) вектор v ве
сами построим последовательность векторов v ,E \v , E \ v , ... с весами
/i, /i + 2, /i + 4,... (см. лемму 1). Так как dim V < оо, то E™+1v = 0
для некоторого т. Взяв т минимальным, мы можем положить Vo =
= Е'фи, X = fi + 2m. □
Л е м м а 3. Пусть Vn — векторное пространство размерности
п + 1 над С с фиксированным базисом (г?о, Щ,. .., vn), E i ,E q, E i —
§ 5. Неприводимые модули над алгеброй Ли 51(2) 187
I— 1
0 0 0 0
5 5
1 0 0 - 1 0 0
УПРАЖНЕНИЯ
k i = т Д е - i + е 2 ), k 2 = ^ (e_ i - еД, к3 = - ^ е 0
0 1 . . . 0 0 0
, El =
0 0 0 . 0
to
1
0 0 0 . 0 7 p - i
0 0 . . . 1 0 0
7 0 0 0 . 0 0 0 0 . . . 0 1 0
7 к = d l o + к \ + к ( к - 1 ), к = 1, 2 , . . . ,р - 1.
(Эта совершенно новая ситуация типична для представлений над полем конечной
характеристики.)
Глава 5
Н А Ч А Л А Т Е О РИ И Г А Л У А
§ 1. К он еч н ы е расш ир ен и я полей
1. П ри м и ти вн ы е эл ем ен ты и ст еп ен и р асш и рени и. Если
F — поле, содержащее подполе Р, то F называется также расшире
нием поля Р [ВА I, гл. 4, § 3]. Мы ограничимся вначале простейшим
случаем, когда расширение F = Р(в) получено из поля Р присоеди
нением (внутри заданного поля F) единственного элемента в G F.
Говорят, что Р(9) — простое расширение поля Р, а в — прими
тивный элемент этого расширения. По своему смыслу Р(в) — поле
отношений целостного кольца Р[0\. Элемент в трансцендентен над
Р тогда и только тогда, когда расширение Р(в) изоморфно полю
рациональных дробей. Если, однако, в — алгебраический элемент,
то Р(в) = P [ X \ /( f( X ) ) (гл. 4, § 1 , теорема 2). Здесь f ( X ) — не
приводимый многочлен степени п > 0, корнем которого является 0.
Обратно: если f [ X ] — неприводимый многочлен, то, как мы знаем из
гл. 4, каноническим образом строится поле Р, в котором / обладает
хотя бы одним корнем (назовём его 0). Из построения видно, что F
отождествляется с множеством элементов вида
а0 + а\в + ... + а* € Р, п = deg /.
Для элементов кольца Р[в\ это очевидно (разделить д(Х) на f ( X )
с остатком и подставить X = в); деление же в Р[в\ осуществля
ется так: если д(Х) = ао + а \ Х + ... + ап_iX n_1, то неприводи
мость / влечёт равенство НОД(/, д) = 1 и существование многочленов
u ( X ),v ( X ) степени < п, для которых fu + g v = 1; отсюда g{0)v{0) = 1
и 1/д(в) = i?(0). Число п можно считать размерностью векторного
пространства над Р с базисными элементами 1,0,..., 0n_1.
В случае произвольного расширения F Э Р также целесообразно
рассмотреть F как векторное пространство над Р. Его размерность
di mpF (возможно, бесконечную) мы обозначим через [F : Р] и на
зовём степенью расширения F над Р. Если F = Р(0), то [F : Р]
§ 1. Конечные расширения полей 191
Действительно,
V2 = _ £ e + I e3 у^ = 1± в - 1-в \ V6 = - - + - e 2.
2 2 2 2 2 2
Примитивный элемент 0 имеет минимальный многочлен f e ( X) = X 4 — 10Х 2 + 1
с корнями
0(1) = в = V2 + у/ s , 0(2) = V2 - y/s,
0(3) = -х /2 + х/3, 0Ю = - у / 2 - у / 3 .
Обратим внимание на тот факт, что F является полем разложения много
члена f o ( X ), причём
F = Q(0(1), 0 (2), 0 (3), 0 (4)) = Q(0(i)), г = 1,2,3,4.
В общей теории Галуа такое поле было бы названо нормальным. Диаграмма под
полей поля F
F
Q (V 2 )
Q
похожа на диаграмму подгрупп четверной группы V4 , и это не случайно. Если
мы рассмотрим произвольный автоморфизм Ф : F — у F, то из соотношений
Ф(ж + у) = Ф(ж) + Ф(у), Ф(ху) = Ф(х)Ф(у) Ух, у Е F,
следует, что Ф полностью определяется своим действием на примитивный эле
мент в. Далее, Ф(а) = a Va Е Q, поэтому
Ф(6>)4 - 10Ф(6>)2 + 1 = Ф(04 - 1О02 + 1) = Ф(0) = 0.
Значит, Ф($) — один из корней в *1', г = 1,2,3,4, и мы приходим к заключе-
нию, что группа всех автоморфизмов Aut](F/Q), называемая также группой Га
луа G(F/Q) или G(fo), имеет порядок 4 = [F : Q]. Групп порядка 4 с точностью
до изоморфизма всего две: циклическая Z 4 и Z 2 х Z 2 — V4 . Непосредственные
вычисления показывают, что Aut](F/Q) = V4 .
Легче всего в этом убедиться, рассмотрев представление Aut(F/Q) переста
новками на множестве П = {1,2, 3,4}, элементами которого нумеруются корни
0W. Если, например, Ф ( в ^ ) = то
13 А.И. Кострикин
194 Гл. 5. Начала теории Галуа
подполя Q (\/2). Аналогично, полями инвариантов для (т) и (сгт) служат соот
ветственно Q (\/3) и Q (\/6), а группами Галуа G = F/(Q(y/3)), G = F/(Q(\ /b))
будут в свою очередь (т) и (сгт). Мы проверили на частном примере справедли
вость биективного соответствия Галуа между подполями нормального поля F и
подгруппами его группы автоморфизмов.
2. И зо м о р ф и зм полей разл ож ени я. В § 1 гл. 4, где определе
но и построено поле разложения F над Р нормализованного много
члена, отмечалось, что в построении имеются элементы произвола.
Повторяя сейчас эту конструкцию, мы могли бы лишь сказать, что
[F : Р] ^ п\ (постарайтесь понять, почему). Но на самом деле все
поля разложения над Р данного многочлена / изоморфны. Чтобы
уточнить это высказывание, рассмотрим несколько более общую си
туацию. Согласно теореме 3 § 2 , гл. 5 из [ВА I] любое изоморфное
отображение ср поля Р на поле Р продолжается единственным обра
зом до изоморфизма Р \Х \ на Р[Х], так что
[F : Ь\ = Т П < F : Р],
т
так что по предположению индукции каждый из pi можно продол
жить до изоморфизма Фi j : Р — у Р, причём число таких продолже
ний (число индексов j) не превосходит [F : L\ и равно этой верхней
границе, если все корни в F многочлена / различны. Так как
Фi j Il — Pi, 1 ^ j ^ [F : Ц , Pi |p= V,
то Фi j — продолжение p, причём
Pi Ф Ps ---^ ^i,j Ф ^s,t При i ф S.
13 *
196 Г л. 5. Начала теории Галуа
У П РА Ж Н ЕН И Я
§ 2. К он еч н ы е поля
1. С ущ ествов ан и е и ед и н ств ен н ост ь . Помимо Zp = Z/pZ,
нам встречались и другие примеры конечных полей. Настало время
включить их в общую теорию. Первые очевидные замечания отно
сятся к произвольному конечному расширению конечного поля.
П ре д л о ж е н и е 1. Пусть F — поле с числом элементов q и
К э F — расширение степени [К : F] = п. Тогда \К\ = qn.
Д о к а з а т е л ь с т в о . Действительно, после выбора базиса век
торное пространство К над F отождествляется с пространством F n
строк (ад,. .., а п) длины п. Все координаты ад независимо друг от
друга принимают q значений из F. Значит, \К\ = |F n| = qn. □
§ 2. Конечные поля 199
_ (pdy _ X= (pd _ т0
Х рП - X = ( X pd - Х ) д ( Х ) .
£ K d) = £ K d) = £ ) (-1 Г = (1 - 1)г = 0
d\n d\no s= О
/W = £ » № • (з)
d\n
Тогда
д (п ) = £ ^ ( ^ ) / ( rf)- (4 )
d\n
= 9 (т)-
п \ т п \ т d\n d \ m d \n \ m
§ 2. Конечные поля 203
g(n) = l [ f ( d r ^ dl (5)
d\n
Для доказательства нужно провести те же формальные вык
ладки:
Д / ( n)M(™/») = Д Д = Д Д д{<1у(т,п) =
п\т п\т d\n d\m d\n\m
= Д 5(<0 Е-'"'™'‘(т/п)=5(ш),
d\m
а затем слегка изменить обозначения.
Приведём три примера на применение формулы обращения
Мёбиуса.
1) Функция Эйлера ip. По определению р(п) — число взаимно
простых с п чисел ряда 1,2, . . . , п — 1, или, что равносильно,
р(п) = \U(Zn)\ — порядок группы обратимых элементов кольца
Z n — Ъ/пЪ. Из упр. 5 § 1 гл. 3 нам известно соотношение
п = j2 tp (d ). ( 6)
d\n
Непосредственно по формуле (4) получаем
Pid)
d\n d\n d\n
Если n = p™1... p ™r , to
= (i-A ) (i-l)...(i_ A ).
V P l J V p 2J V pr J
Таким образом,
„M = . . ( i - A ) P - A ) . . . ( i - A )
V P l J V p 2J V pr J
— формула, которую мы приводили ещё в [BA I] и из которой непо
средственно вытекает мультипликативность функции р.
204 Г л. 5. Начала теории Галуа
{i , c, c2, - - - , C “ 1} = U (7)
d\n
(перейдя к мощностям множеств, мы снова пришли бы к соотноше
нию (6)). Круговым многочленом , отвечающим Гп, называется мно
гочлен
<м*) = П ( х -с)
С
x qm- х = Щ 1 [ f d,k( x ) \ - (и )
d \m ^ к= 1 ^
УПРАЖНЕНИЯ
§ 3. С о о т в е т с т в и е Галуа
1. П р едв ар и тел ьн ы е р езу л ь т а т ы . Пусть F Э Р — поле раз
ложения некоторого неприводимого над Р многочлена /(X ),
Aut F /P — множество всех автоморфизмов г] поля F таких, что
77(a) = a Va е Р. Как мы знаем из §1, |A u tF /P | ^ [F : Р], причём
|A u tF /P | = [F : Р], если все корни многочлена / различны.
О п р е д е л е н и е . Группу Aut F / Р принято называть группой
Галуа расширения F / Р и обозначать Gdl F/ P. Этот термин уже был
использован в ряде мест, включая § 1.
В дальнейшем поле Р будет предполагаться совершенным, так
что
|Gal F/ P\ = [F : Р].
Пусть Н С Ga l F / P — любая подгруппа группы Галуа. Положим
F H = {a G F\ <Да) = а У<р € Я}.
Таким образом, F H — подполе в F всех элементов, остающихся не-
подвижными при действии Н . Имеем два отображения:
1) Н i-ч К = F H — из множества подгрупп Н С Gal F / Р во
множество подполей F D К D Р;
2) К i-А Н = G a l F / K — из множества промежуточных подполей
F D К Э Р во множество подгрупп Н С Gs l F/ P.
208 Г л. 5. Начала теории Галуа
Очевидные свойства:
i) G = G a l F / P D G i D G 2 = ► F G l C F G2;
ii) F D Pi D P i 2 P = > G alF /P i c G alF /P 2;
iii) F GaXF/ p D P;
iv) Gal Р / Р я D H для любой подгруппы H С G.
Будем временно понимать под К D Р произвольное расширение
поля Р (не обязательно поле разложения).
Л е м м а (Э. Артин). Пусть G — конечная группа автоморфиз
мов поля К и Р — К ° . Тогда
[К : Р К \G\.
сf i ( u j ) x j = 0 , 1 ^ i ^ п,
3=1
имеет нетривиальное решение (сд,. .., аш) ф (0,..., 0). Среди всех
решений выбираем такое (bi,...,bm), у которого число ненулевых
компонент наименьшее. Без ограничения общности считаем Ъ\ ф 0 и
даже Ъ\ = 1 .Достаточно показать, что bj Е K G Vj, поскольку первое
соотношение, отвечающее ipi = е, будет иметь вид Y^JjLi ujbj = 0 .
Предположим, что bj (fc Р для некоторого j. После возможного
переобозначения считаем bj = &2 - Применим (fk к системе уравнений,
выбрав к таким, чтобы <^.(62 ) 7^ &2 - Получим
'^2(<Pk<Pi)(uj)<Pk(bj) = 0, 1 ^ i ^ п,
з
или, что то же самое,
^2<Pi(uj)<Pk(bj) = °>
3
поскольку tpkTi, i — 1 , . . . , п, при фиксированном к пробегают все
элементы группы G. Следовательно, (1 , ^ ( 62 )? • • •, Tk(bm)) — тоже
решение системы. Вычитая его из (1, 62 , . . . , Ьш), получим решение
(0, Ь2 - Pk{b2),---,bm -<Pk(bm)),
которое также нетривиально, поскольку 62 — (рк(Ь2 ) 7^ 0 ввиду вы
бора у?*.. Однако число ненулевых компонент у него меньше, чем у
(bi , 62 , • • •, frm), вопреки выбору последнего. □
§ 3. Соответствие Галуа 209
14 А.И. Кострикин
210 Г л. 5. Начала теории Галуа
14 *
212 Г л. 5. Начала теории Галуа
F = Р(и) и= ^ ^, а, 6, с, б? Е Р\ ad —be ф 0.
ct + d
УПРАЖНЕНИЯ
§ 4. В ы чи слен и е гр уп п ы Галуа
А (/) = П № - 0j).
i<j
Тогда подполем в F, отвечающим Gal(/)flAn, является Р (Д (/)).
Д о к а з а т е л ь с т в о . Пусть 7г Е Sn. Посмотрим сначала на коль
цо Р [Х i , . . . , X n]. Его автоморфизм Ф^ : Х{ i-A оставляющий
каждый элемент из Р на месте, продолжается до автоморфизма, обо
значаемого также Фтт, поля отношений Р ( Х l, . .., Х п). Понятно, что
группа G всех таких автоморфизмов изоморфна Sn. Используя со
ответствие Галуа, нетрудно заметить, что F G = P ( s i , ..., sn), где
Sk — элементарная симметрическая функция от Х л , . . . , Х п. Кстати,
Gal P(Xb . . . , X n) / P( s b . . . , s n) - 5 n.
Положим д „ = lli< j№ —Xj). Известно и легко проверяется, что
Ф7Г(ДП) = Еъ Дп. Если ф : Х{ I—у 0^ — гомоморфизм Р[ Х i , . .., Х п\ в
F, то ^(Ф7Г(ДП)) = тг(Д(/)) = =ЬД(/), где теперь тг Е Gal(/) П Sn.
Следовательно, подгруппа в Gal(/) = G alF /P , оставляющая на
месте элементы подполя Р (Д (/)) С F, есть подгруппа чётных пере
216 Гл. 5. Начала теории Галуа
Здесь
£2 + £ + 1 = 0, в = а + £, д{0) = О, я(Х) = X 6 + ЗХ 5 + 6 Х 4 + ЗХ 3 + 9Х + 9.
Строение группы Галуа довольно очевидно:
G = Gal E /Q = (<т, т | сг3 = е = т 2, тсгт = <т2) = S 3 ,
§ 4 • Вычисление группы Галуа 217
где
а(е) = е, а(а) = еа, а(еа) = £2 а; т(а) = а, т(е) = £2.
G (°) (Т) 7Т
(< ){а2т) {е}
Q 0(e) QO) Q(£2a) ОЦеа) F
так что (о-) = Gal F / Q{ e ) , (т) = Gal F / Q ( a ) , (ат) = Gal F / Q ( £ 2 а), (<т2т) =
= G a lF /Q ^ a ). Так как (<т) < G, то Q(e) нормально над Q и GalQ(y)/Q =
~ G/ (а) ~ Z2.
2. М н огочлен ы и гр упп ы п р о ст о и степ ен и . В общем вычис
ление группы Галуа конкретного многочлена / Е Р[Х] — довольно
трудная задача даже при Р = Q. Она привлекала внимание
крупных математиков. Отметим два результата И. Шура (1931 г.):
если п — 0 (mod 4);
f{x) = £ X m/rn\ если п ^ 0 (mod 4).
m —О
Пусть Н п{Х) — п- й многочлен Эрмита (см. [ВА II]). Положим
Н2п{Х) = К {п \ х 2), Н 2п+1(Х ) = Х К {п \ х 2). Тогда при п > 12 име
ет место изоморфизм Gal ^ К п \ х ) ^ = S n. j = 0,1. Основным полем
является Q.
Симметрические группы в дальнейшем будут возникать неодно
кратно, поэтому приведём относящиеся к ним два простых утверж
дения, развивающие упр. 10 из [ВА I, гл. 4, § 3].
П р е д л о ж е н и е 1. Транзитивная группа перестановок степе
ни п, содержащая один двойной цикл и один цикл длины п —1, яв
ляется симметрической.
Д о к а з а т е л ь с т в о . Пусть (12 .. .п —1) — данный (п —1)-цикл.
Транспозицию (ij) в силу транзитивности группы можно перевести
в (fen), где к — один из символов от 1 до п —1. Сопряжение (кп)
при помощи цикла (12...П —1) и его степеней даёт транспозиции
(In), (2п),. .., (п —1, п), а они порождают Sn. □
П р е д л о ж е н и е 2. Пусть р — простое число. Если G С Sp,
причём G содержит элемент порядка р и какую-то транспозицию ,
то G = Sp.
Д о к а з а т е л ь с т в о . По условию G содержит p-цикл а — [i\i2 • • •
... гр), где {ii, «2 , • • •, ip} = {1, 2,... ,р}. При надлежащем упорядоче
нии считаем, что (12) Е G. Так как а 8 = (12...) при некотором s, то
считаем с самого начала а = (12 .. .р), (12) Е G. Тогда G содержит
ст(12)ст-1 = (23), сг(23)сг-1 = (34), . .. , а ( р - 2 , р - 1)ст-1 = (р - 1,р).
Но ((12), (23),..., (р —1,р)) = Sp. □
218 Г л. 5. Начала теории Галуа
Так как
FD Ш ) , [ Q № ) : Q ] = d e g f = р,
то степень |Gal(/)| = [F : Q] делится на р. По теореме Силова (см.
гл. 2, § 2) Gal(/) содержит элемент порядка р. Автоморфизм сопря
жения z У z поля С, продолженный на С[Х], переводит / в себя.
Следовательно, он переставляет корни многочлена /.
Пусть 0\ , $2 — невещественные корни. Тогда по условию теоре
мы 62 = 0\ и Oi = Oi при i > 2. Приходим к выводу, что ограничение
автоморфизма сопряжения на F является элементом в Gal(/), а имен
но транспозицией. Стало быть, Gal(/) содержит элемент порядка р
и транспозицию. Остаётся применить предложение 2. □
Т е о р е м а 4 (Р. Брауер). Для любого простого числа р можно
построить сколь угодно много неприводимых многочленов степени
р с группой Галуа Sp.
Д о к а з а т е л ь с т в о . Пусть ш ; п \ , . . . , nk-2 — целые чётные чис
ла, т положительно, п\ < П2 < ... < п ^_2 и к > 3 нечётно. Рассмот
рим многочлен
g(X) = ( X 2 + т ) ( Х - щ) ( Х - п2) ... ( X - п*_2)
с вещественными корнями п±, П2 , . .., n k - 2-
График у = д{х) имеет (к —3)/2 относительных максимумов,
а так как \g(h)\ > 2 для любого нечётного целого h, то ясно, что
значения этих относительных максимумов будут > 2. Это означа
ет, что график у = f (x) = д{х) —2 имеет (к —3)/2 положительных
относительных максимумов между п± и n k - 2• Следовательно, f ( X )
имеет к —3 вещественных корней на интервале (711 , 71*5- 2 ). Так как
/ ( 71*5- 2 ) = —2 и /(IV) > М при любом М > 0 для достаточно боль
шого натурального IV, то существует также вещественный корень
> nk—2• Получаем к —2 вещественных корня многочлена f ( X ) . Если
к
f ( X ) = Д ( Х - 04) = (X2 + т ) ( Х - щ ) ... (X - nfc_2) - 2,
Следовательно,
= 0.
* 3 i J
15 А.И. Кострикин
226 Г л. 5. Начала теории Галуа
если
f ( X ) = Х к + а 1Х к~1 + ... + ак, щ еР, к<т,
то /(сг) ф 0, поскольку автоморфизмы 1 ,а ,... , а к различны, следова-
тельно, линейно независимы над L и, тем более, над Р.
Тот факт, что L циклично (как Р[Х]-модуль), означает, что L / P
имеет базис вида (и, сг(и) , . .., сгт _ 1 (,и)). Но это и есть нормальный
базис для 1/Р. □
О п р е д е л е н и е . Пусть К, L — два поля. Семейство 771, 772, . . . , Т]п
мономорфизмов К с—у L называется алгебраически независимым над
L, если
f e L [ x l t . . . , x n ], f ( m ( u ) ,...,r 1n(u)) = o \/u e K ^ f = о.
П ре д л о ж е н и е 5. Пусть Р — бесконечное поле , К — конечно
мерное сепарабельное расширение над Р, L — нормальное замыкание
расширения К /P . Пусть 771,... ,г]п — п = [К : Р\ различных моно
морфизмов К / P ^ L /Р . Тогда r/i алгебраически независимы над L.
Д о к а з а т е л ь с т в о . Предположим, что = О
\/и G К для некоторого / G / G L[X i , . . . , X n]. Пусть (щ) — базис
для К /P . Тогда при любом выборе а{ G Р имеем
= 1(^2агТ]1{щ ),...,^2агТ]п{щ)У
г г
УПРАЖНЕНИЯ
15 :
228 Г л. 5. Начала теории Галуа
где
Гр, = 0 ( 0 ) , ч, = С"1 . c f = i-
Теперь очевидно, что
{GalГр./О} П { П С а 1 Г ^ /0 } = (1).
Поэтому
G air„/Q = GalTPl/Q х ... х G a irPfc/Q = (ах) х ... х (ак) := G,
°з ■ 0 ^ С ’ (ai ) = К 3> >I = пз т з ;
17j : Сг 1 ^ С*, * Ф j-
В группе G содержится подгруппа
Я = (а Г )х ...х (а Г )
порядка rii ... nk- Понятно, что Н <\ G и факторгруппа
G / H = (ах) х ... х (ак), Vj = a j ( a p ) ,
являющаяся прямым произведением циклических групп порядков т \ ,
777/2, изоморфна А Если теперь F = — подполе
^-инвариантов (неподвижных при действии Н элементов) в Гп, то
в силу соответствия Галуа
G alF/Q = G /H = А. □
3. Н орм а и след. Пусть F / P — расширение Галуа,
G = Gal F / P = (щ = 1, 772, • • •,%).
Для и £ F положим
п п
Тр (au) = = a ‘ Tp ,
MSG
Тогда при любом £ £ G имеем
СИ = С К Л О Н И = Y ч » ис Ч о л н
232 Г л. 5. Начала теории Галуа
Следовательно, uq = v(((v)) 1. □
Д оказательство теоремы Гильберта. Пусть т/Е F,
N(u) = 1. Положим
иv := и , иц1 := щ(и)т]2(и) ... ?7г—1(гх), 1 ^ г ^ п.
Тогда при i + j ^ п будем иметь
ипз ' 1?(и^) = щ (и ) . . .rfi~1rf’(u) . . = Uni+j.
То же соотношение имеет место при i + j > п, поскольку щ = и^п =
= N(u) = 1. Таким образом, выполнено условие теоремы 4 при G =
= (77). Отсюда вытекает существование элемента v с нужным свой
ством и — иц — г(?7 (Т))-1 . □
Доказанные теоремы имеют аддитивные аналоги.
Т е о р е м а 5 (А. Шпайзер). Пусть F ,P ,G — те же, что и в
мультипликативной теореме 4, и пусть /1 — отображение
G — >F, удовлетворяющее условию
dcu = + C(°W /г е G.
Тогда найдётся с Е F, для которого
d/j, = с - /Дс), II е G.
Д о к а з а т е л ь с т в о . Мы видели, что существует и ЕF с
Т(тД ф 0. Положим
c = T ( u ) - 1J 2 d»lJ-(u)-
и
Тогда
корень £ степени
П = П\П2 • • •ПГ—\ПГ
из 1 и рассмотрим башню
р с Р ( 0 с Pi (С) с ... с р г- i(C) с РАО = Р ( 0- (2)
Группа G alP (£)/P абелева, а остальные последовательные рас
ширения в башне (2) по теореме 7 являются циклическими. В силу
соответствия Галуа группа G = Gal F(() / Р обладает нормальным
рядом
G l> Go l> G\ |> ... l> G r—1 1> {е},
в котором факторгруппа G/Go абелева, а остальные последователь
ные факторгруппы Gi/Gi+i циклические. По теореме 1 из § 2 гл. 2
группа G должна быть разрешимой. Если Н = G alF(£)/F, то Н <\ G
(поскольку F / P — нормальное расширение) и G s l F / P = G /H —
также разрешимая группа. □
Мы подошли, наконец, к “коронному достижению” Э. Галуа.
Т е о р е м а 12. Полиномиальное уравнение f(x ) = 0 разрешимо в
радикалах тогда и только тогда , когда группа Gal(/) разрешима.
Д о к а з а т е л ь с т в о . 1) Предположим, что все корни Ai,...,Am
многочлена f ( X ) (нули уравнения f(x ) = 0) лежат в нормальном
радикальном расширении F /P . Естественное включение
Р С Р(АЬ . . . , АШ) С F
означает, что группа Галуа уравнения f(x ) = 0 является фактор
группой разрешимой (по теореме 11) группы G s lF /P . Поэтому она
сама разрешима.
2) Пусть F — поле разложения многочлена / Е Р[Х]. Предполо
жим, что группа G = G d lF /P разрешима и
G l> G\ 1> 6г2 1> ... I> G k-i D>Gk = {е}
— её композиционный ряд. Тогда, как мы знаем, композиционные
факторы Gi/Gi+i будут циклическими группами простых порядков.
Соответствие Галуа в свою очередь гарантирует существование це
почки подполей
Р С Fi С F2 С ... С i V i С Fk = F ,
в которой каждое последовательное расширение Fi+i/Fi будет цик
лическим простой степени.
Присоединим к F первообразный корень £ степени п = \G\ из 1 и
рассмотрим цепочку подполей
Р с Р ( 0 с Fi(0 = > 2 (С ) с ... с Fk-AC) с Fk(C) = F(C).
Каждое расширение Fi+i (Q/Fi(Q также будет циклическим простой
степени р^, делящей п. По теореме 7 поле i(£) получается присое
динением к ЕД£) корня некоторого двучленного уравнения xPi —а =
= 0, а Е ЕД£). Это и означает, что F(£) — радикальное расширение
§ 5. Расширения Галуа и смежные вопросы 237
УПРАЖНЕНИЯ
3. Показать, что если все три корня неприводимого над полем Р С I много
члена X s -\-pX-\-q вещественны, то их нельзя выразить посредством вещественных
радикалов.
4. Ряд утверждений из пп. 3-4 можно доказать, используя понятие резоль
венты Лагранжа L(u) элемента и. Именно, если F = Р(и) — циклическое рас
ширение степени п поля Р , содержащего примитивный корень £ степени п из 1,
и если Gal F / P = (<т), v Е Р , то по определению
§ 6. Ж ё с т к о с т ь и рац и он ал ьн ость
в к он ечн ы х гр у п п а х
\G\ k ’ х(е)Ь
(х = Хф — характер неприводимого представления Ф группы G).
Умножая это соотношение на Ф(г/) справа и переходя к следу, полу-
чим
1 ,-i ч Х{х)х(у)
и | > (“ =
§ 6. Жёсткость и рациональность в конечных группах 241
Аналогично,
1
4 (tlX 1t 1 1t2x 2t2 1у) t2x 2t2 гу),
Ш tiEG
4f(t2X2t2 Ху) =
\G\ 11 2 t2eG
X (xi)x{x2)
X(e)2 X{V>‘
Очевидная индукция по m даёт
Tf^r E
|G |
1 . . . t mx mtml y) = X<~a:iy(e)m(~a:m') x(y)- (2)
5=
|G | ^
««) = jG ^ .
где N [л = IV(ад,. .., жш, у) — число решений (ti , . .., tm) уравнения
... tmx mtm у = е.
16 А.И. К о с тр и к и н
242 Г л. 5. Начала теории Галуа
Х(е) x( xi ) ■■■х(хт)х(у) _
N' \G\mIm{5) = \G\m Y ,
х \G\ Х (е )т
= |G |m-l у ' X(Xl) ■■■Х(Хт)х(у)
Я ( Х ! , . . . , Х т) = Nm .
Cl ... сш
Применяя формулу (4) и замечая, что С{ = |С?|/ |, получаем сле
дующее утверждение.
Т е о р е м а 2 . Число N ( X i , . . . , Х ш) определяется формулой
где Xi = x f и х £ Irr(G). □
Последняя теорема имеет разнообразные приложения. Например,
её можно использовать для подсчёта числа подгрупп в G, изоморф
ных знакопеременной группе А§. Действительно,
А ь = {х , y ,z | х 2 = у3 = z 5 = е).
Задача сводится к нахождению числа решений уравнения xyz = е,
где x , y , z принадлежат классам сопряжённости показателей 2 , 3 и 5
соответственно. То же замечание применимо к S4 , A*, D n с аналогич
ным заданием образующими и соотношениями.
Жёсткость часто проверяется в два этапа.
1. Вычисляется |§| по формуле (5) и таблице характеров груп-
пы G. _ _
2. Вычисляется |§ —§| = |§| —|§| путём нахождения всех
ш-семейств {дд,... ,gm} в §, не порождающих G; для этого исполь
зуют знание максимальных подгрупп группы G.
П ре д л о ж е н и е 1 . Справедливы тождества :
i) |5(ЗС?,...,ЗС” )| = |5(3Ci,...,3Cm)|, n e U ( Z n);
И) |§(5С1,...,ЗС” )| = 5СТО)|, n e U ( Z n).
§ 6. Жёсткость и рациональность в конечных группах 243
16 :
244 Г л. 5. Начала теории Галуа
А ъ = PSL(2, 5) :=PSL(2,F5).
в) Простая группа SL(2,8) = SL(2,F8) порядка 504 = 23-32-7. Хо
рошим упражнением служит построение таблицы её неприводимых
комплексных характеров:
1А 2А ЗА 7А 7В 7С 9А 9В 9С
XI 1 1 1 1 1 1 1 1 1
Х2 7 -1 -2 0 0 0 1 1 1
Хз 7 -1 1 0 0 0 а о! а"
Х4 7 -1 1 0 0 0 а" а о!
Х5 7 -1 1 0 0 0 о! а" а
Хб 8 0 -1 1 1 1 -1 -1 -1
Х7 9 1 0 р р' р" 0 0 0
Х8 9 1 0 р" р р' 0 0 0
Х9 9 1 0 р' р" р 0 0 0
Здесь
•о1 00
2тг / ^ 4тг
to
1
осо
а = —2 cos — , а = —2 cos — , II
О
9 9
27Г 4л
о — 2 cos — , /?' = 2 cos — , /?" = 2 cos у .
7
По формуле (5) имеем
~ 5042 ' 1 1 1 1 1
|S(9A,9B,9C)| = - ^ - ( 1 + ~ + ~ + “ + ~ ——+ 0 + 0 + о ) = 504 = SL( 2 , 8)
ч 7 7 7 7 8
Чтобы убедиться в жёсткости, достаточно проверить, что любой
триплет (x,y ,z) G § порождает SL(2,8). Зададим поле
F8 = {0,1, А* | 1 «Сi <С6}, Л3 = Л + 1.
Надо помнить, что Fg — поле характеристики 2 и F8* = (Л). В ка
честве элементов тройки возьмём матрицы
Л2 + 1 л + 1 А2 + А + 1 А А2 А
а = , ъ= , С=
А+ 1 А+ 1 А+ 1 1 А2 + А + 1 1
Легко проверяется, что а9 = Ь9 = с9 = е, аЪс = е. Степенями мат
рицы d = а%2 = diag(A-1 ,A) исчерпываются все диагональные эле
менты группы SL(2,8). Далее, получаются унипотентные матрицы
1 1 1 0
и = а2ЪАаАЪ2 = , и — a 2d 1a2d 1 =
0 1 1 1
0 i
и сразу же после этого — элемент w = иии , играющий
i—
1
0
ключевую роль в разложении Брюа (см. доказательство теоремы 4 из
§ 7. Эпилог 245
УПРАЖНЕНИЯ
х X'j | 1 ^ i ^ т , 1 ^ j ^ т ' )
— сильно жёсткое семейство в G х Н.
2. Пусть сг — внешний автоморфизм конечной группы, и пусть (3Ci,...
. . . , 3Cm) — жёсткое семейство классов сопряжённости в G. Показать, что тогда
a{%i) ф 3Q для некоторого г.
3. Показать, что в знакопеременной группе А§ с известными нам классами
сопряжённости 1А, 2А, ЗА, 5А, 5В тройки
(2А, ЗА, ЗА), (2А, 5А, ЗВ), (ЗА, ЗА, ЗВ)
являются сильно жёсткими. Отсюда следует, что А$ = G a lF /Q (\/5 ).
4. Обозначим через K \ ( z ) число представлений элемента z конечной группы
G в виде коммутатора, т.е. число решений уравнения z = x y x ~ l y ~ l . Показать,
что
х » (2 )
K1(z) = \G\J2 Xi(e)'
Более общо: если K m (z) — число решений уравнения
2 = О \ У \ Х Х ХУХ 1) ( Х2 У2 Х2 г у 2 1 ) . . . ( Х т У т Х ^ у ^ ) ,
то
Xi(z)
Km(z) | G |2 Е Хг(е)2 т_1 ’
§ 7. Э пилог
Н ЕРЕШ ЁН Н Ы Е З А Д А Ч И
п (р 2 -
Пусть
(ж, у; 1) := (х , у) = х у х ^ у - 1 ,
(x ,y ,s + 1) := ((x,y;s),y).
Найдутся ли такие элементы Wi(x,y) и целое число ш, чтобы в
выполнялось соотношение
т
(х,у; 6) = Д W i(x ,yfl
2=1
Если G = £>2п, ТО
далее,
cr(iii2 .. . ik)cг-1 = (cr(zi)cr(z2) . . . v(ik))
для любого цикла (г/, г*2, . . . , гк) длины к.
1 .3 .8 . В сумме ^ 7V(g) каж ды й элемент ж G Q подсчиты вается |££(ж)|
раз. Стало быть, элементы, лежащие с ж в одной орбите, вносят в ^ 7V(g)
вклад, равный
(G : 5^(ж)) х |^ ( ж ) | = \G\.
1 0 0 0 0 1 0 1 0
(23) И- 0 0 1 , (123) И. 1 0 0 , (132) И. 0 0 1
0 1 0 0 1 0 1 0 0
2.2.3.
Группа S 4 без центра, а SL(2, 3) им еет центр порядка 2. Да,
группы А4 и PSL(2, 3) изоморфны.
2.2.4.
Группа G порядка pg, р < д, обязательно им еет нормальную
силовскую g-подгруппу, поскольку N q = 1 + kq должно бы ть делителем (7,
256 Ответы и указания к упражнениям
Рис. 6
17 А.И. Кострикин
258 Ответы и указания к упражнениям
__ ч ^ = / Р -1 = (Д2) ^ -1 ^ 2 = 2 ^ - 1 ^ 2 __ ч
Аналогично,
равенство
Хр- Y = g(Y)y
h(Y))
с g , h G Z P[Y] невозможно.
5.2.1. Согласно (8) X d — 1 = Yle\d Фе( Х) . П оэтому
Х п — 1 = ( X d — 1) ]Д Ф ,(Х ) = (Х ‘г - 1 ) Ф „ ( Х ) П Ф Д Х ).
s\ n; s ^ d s\ n; s ^ d , n
5 .5 .4 . а) Очевидно.
б) o m v)T ) = и д о ) г = (с д о г = 4 v ) n =► д о g р.
в) В качестве базиса поля F над Р можно взять (1, и, и 2, . . . , и п 1).
Положим Uj = а 3 (и) и допустим на время, что
£>(иг) = щ + С 1и \ + ... + £ ^п ^ u n_ i = О
14 24 34 54 ъв
XI 1 1 1 1 1
Х2 3 -1 0 Л А'
Хз 3 -1 0 А' л
Х4 4 1 -1 0 0
Х5 5 1 -1 0 0
|§ (2 4 , 3 4 , 5 4 )| = 4 6° ( l + 0 + 0 + 0 + о) = 60,
|S (2 4 ,5 4 ,5 B )| = ( 1 + | + | + 0 + 0) = 60’
|§ ( 3 4 ,5 4 , 5В)\ = р ^ ^ ^1 + 0 + 0 + - + 0^ = 6 0 .
тртт ^ i i x y x - 1 ) = Ai E ,
' I X£G
Дт X ] = АгФг(г/_1)
I I x£G
262 Ответы и указания к упражнениям
Щ У Kl i9s}
S
1XiЫ = Ш ^ у
Щ Е ^ ( g s)\д?| £ * Ы Ш = \G\ £ •
в д =а д = к ? |£ ^ .
Теперь более или менее ясно, как получить выражение для К ш (г).
М Е Т О Д И Ч Е С К И Е ЗА М Е Ч А Н И Я
Э К ЗА М Е Н А Ц И О Н Н Ы Е В О П ГО С Ы
(без теории характеров)
П РО ГРА М М А К У РС А ВЫ СШ ЕЙ А Л Г Е Б Р Ы
(3-й семестр, 1995 г.)
В екто р касательны й 76
— старш ий 186, 187
В ы сота соотнош ения 62 Д ействие группы на множестве 26
Вес вектора 186 — сдвигом 27
— сопряжением 26
Д ействия эквивалентные 31
Г руп п а абелева элементарная 73 Делители абелевой группы инва
— внешних автоморфизмов 45 риантны е 71
— внутренних автоморфизмов 26 — элементарные 71
— Галуа 207 Дифференциал гомоморфизма 179
— движений п ространства 30 Дифференцирование алгебры Ли 82
— диэдра 43 — произвольной алгебры 184
— заданная образующ ими и соот Длина орбиты 25
ношениями 43 Длина слова 41
Предметный указатель 269
К О С Т Р И К И Н Алексей Иванович
ВВЕДЕНИЕ В А ЛГЕБРУ
Ч асть III
ОСНОВНЫ Е СТРУ КТУ РЫ