Академический Документы
Профессиональный Документы
Культура Документы
and
THEIR GRAPHS
by
I. GROSSMAN
Albert Leonard Junior High School
and
W. MAGNUS
New York University
RAN DO M H OUSE
1964
« СОВР ЕМЕННАЯ МАТЕМАТИКА»
Популярная серия
И. ГРОССМАН, В. МАГНУС
Группы и их графы
Перевод с английского
Г. М. Цукерман
Под редакцией
В. Е, Тараканова
ИЗДАТЕЛЬСТВО «МИР»
Москва 1971
6 ОТ РЕДАКТОРА ПЕРЕВОДА
ВВЕДЕНИЕ
1 4 4 Ъ
Рис. 1.1.
Например, рассмотрим квадрат, который может
свободно вращаться в своей плоскости вокруг оси,
проходящей через его центр. Будем считать допусти
мыми лишь те вращения, в результате которых по
вернутый квадрат совмещается с исходным. Одно из
допустимых вращений — это поворот на 90° по часо
вой стрелке (рис. 1.1). Обозначим это вращение через
а. Вот некоторые другие допустимые вращения:
(1) вращение на 180° по часовой стрелке, которое мы
обозначим через Ь, и (2) вращение на 270° по часовой
стрелке, которое мы обозначим через с.
Будем рассматривать эти вращения а, b и с как
возможные элементы некоторой группы. Удастся ли
нам так определить бинарную операцию, чтобы имело
смысл равенство а ® b = с? Вот один из способов
рассуждения:
Последовательное выполнение вращения на 90° по часовой
стрелке и вращения на 180° по часовой стрелке
эквивалентно
вращению на 270° по часовой стрелке,
ВВЕДЕНИЕ 17
ИЛИ
Последовательное выполнение вращений а и Ъ
дает
вращение с,
АКСИОМЫ ГРУППЫ
Например,
в то время как
3_ . „ \ . _3 _1_ . 3_ = J2_.
2 • 6) • 4 “ 2 • 4 3 ;
следовательно,
г : (s : t) Ф ( г : s ) : t.
Таким образом, деление не является ассоциативной
бинарной операцией на множестве положительных ра
циональных чисел.
Какой смысл следует придавать выражению
г ® 5 ® /? Как применить бинарную операцию ® сра
зу к трем элементам данного множества? Можно при
дать определенное значение выражению г ® 5 ® /, за
ключив в скобки либо два первых, либо два послед
них символа. В первом случае выражение примет вид
{г ® s) ® t, а во втором — г ® (s ® 0 . Так как ® есть
бинарная операция на нашем множестве, то у = г ® 5
и л: = 5 ® t являются элементами этого множества.
Значит, и (г ® 5 ) ® t и г® (s ® /) можно рассматри
вать как выражения, в которых участвуют лишь два
элемента рассматриваемого множества, а именно у к
t в первом случае и г и * во втором.
Если бинарная операция ® we ассоциативна, то
элементы г ® * и у ® вообще говоря, различны, и
22 ГЛАВА 2
ПРИМЕРЫ ГРУПП
2 з (?)
1 3 211) КЗ)
Рис. 3.1. Рис. 3.2.
1 3 2
Рис. 3.3.
Слева треугольник изображен в начальном положении,
а справа —после вращения на 120° против часовой стрелки.
3 2 ,
Рис. 3.4.
Слева изображено начальное положение треуголь
ника; справа —положение, которое принял тре
угольник в результате движения а.
3( П 2(3)
Рис. 3.5.
Рис. 3.6.
Слева изображен треугольник в начальном
положении.
» 3 | 3
С
Рис. 3.7.
Слева изображен треугольник в начальном по
ложении.
Рис. 3.8.
1 -1
1 1 -1
-1 -1 1
I а b
/ II 1а lb
I сомножитель а а! аа ab
b Ы Ьа bb
I а
1 Ь
I I а b
I сомножитель а а b I
b b I а
Таблица 4.4
/ а а2
I / а а2
а а а2 I
а2 а2 I а
2 3 1
Рис. 4.1.
г г 3 1
Рис. 4.4.
2 3
/ fr
Таблица 4,5
II сомножитель
/ Г г2 f fr fr 2
I I г г2 f fr fr*
г г2 I rf rfr rfr2
f f fr fr 2 I r r2
г/г2-/г
I / г г2 f fr fr2
г г г2 I fr2 f fr
I сомножитель г2 г2 / г fr fr2 f
/ / fr fr 2 / r r2
fr fr fr 2 f r2 / r
}г2 fr 2 f fr r r2 /
fr . . . /
показывает, что (fr)~l — fr.
(3) Группа некоммутативна. Достаточно беглого
взгляда на элементы таблицы, расположенные сим
метрично относительно главной диагонали, чтобы
убедиться, например, в том, что (fr)f = г2 Ф г = f (fr).
(4) Строки и столбцы являются перестановками
элементов верхней строки или левого столбца соот
ветственно— «совпадение», уже отмечавшееся пре
жде.
(5) (3 X 3)-квадрат в левом верхнем углу — это
в точности таблица умножения группы порядка 3
вращений равностороннего треугольника в его пло
скости. На другом конце главной диагонали, в пра
вом нижнем углу расположен (3 X 3)-квадрат, кото
рый получается перестановкой элементов левого верх
него квадрата. В левом нижнем и правом верхнем
углах находятся (3 X 3)-квадраты, которые воспроиз
водят два «главных» (расположенных на главной диа
гонали) квадрата с той лишь разницей, что перед
каждым элементом стоит символ f. Если М означает
множество элементов в левом верхнем квадрате, то
табл. 4.7 в схематической форме отражает только что
описанные особенности внутреннего строения таблицы
умножения:
Таблица 4.7
м fM
fM м
а b / с ... k
а а
Ь Ъ
I а b / с ... k
с с
k k
rs -— г
! i
S....... I
1 ! I I I I
/ - ■ - ....... Г S ............... ? ?— — -г
I а а2
I I а а2
а а а2 I
а2 а2 I а
ГРАФ ГРУППЫ
а2 а3
Рис. 6.4.
Рис. 6.5.
Рис. 6.6.
г г
Рис. 6.7.
t
Рис. 6.8; Рис. 6.9.
Рис. 6.10.
Рис. 6.11.
Рис. 6.12.
Рис. 6.13.
Слева изображен путь, ведущий из / в Р, Q и /;
соответствующее слово Wi = rrr = г3= 7.
Справа изображен путь, ведущий из / в R, S, Т, S, R и /;
соответствующее слово W2 = fr~~1r ~ 1r r f ~l-
г с
Рис. 6.14. Рис. 6,15,
/ г
Р и с . 6.16. Р и с . 6.17.
г
/
Яз 04
Рис. 6.18.
Рис. 7.2.
Рис. 7.3.
/ г
Рис. 7.4.
Р и с. 7.5.
г 2 г 'х
см
/ г
Рис. 7.7.
Рис. 7.8.
г; 71
I ч / 1 ------------х
1 i/z'l— ~ I х у г |
1 1 1 1 У
• 1
1 2)—
— Kx z
\
I1
----------- 2
/ \ 1
11// - --.. \ |
/ X
Рис . 7.9.
у и г, удовлетворяющими соотношениям у 2 = г 2 =
= (yz ) 2 = I. Чтобы получить определяющие соотно
шения группы С2 X 0 2, мы присоединим к определяю
щим соотношениям групп С2 и D2 два соотношения
хух~ 1у~х = /, A2A- 12-1 = /;
первое из них означает, что элемент а перестановочен
с элементом у, а второе — что а перестановочен с эле-
У\-----------\ХУ
' ! г ______ хг
\ I / \
I I J 1-----------
/'-----------
Рис . 7.10.
ментом 2. Так как все образующие имеют порядок 2,
то мы можем переписать эти присоединенные соот
ношения в таком виде:
(ху) 2 = I, (.x z f = I,
и полная система определяющих соотношений группы
С2 X D2 выглядит так:
х 2 = у 2 = z 2 = (yz ) 2 = (ху) 2 = (az ) 2 = /.
Рассмотрим графическое представление группы С2 X
X D2 на рис. 7.9. Заметим, что некоторые части этого
графа, взятые независимо от других его частей, мож
но рассматривать как графы групп. Например, ка
ОБРАЗУЮЩИЕ И ОПРЕДЕЛЯЮЩИЕ СООТНОШЕНИЯ 105
ПОДГРУППЫ
I а / I а3
1
I I а I I а2 / I а3
а а а2 а2 а2 I аъ а3 а 6 = а2
----- ----- а
а*-Ь2--(Ьа)?--1
яГ = { ..., - 5 , - 2 , 1, 4, 7, ...}==
= {все целые числа, дающие при делении на 3
остаток 1},
ЬТ = {. . . , - 4 , - 1 , 2, 5, 8, . ..} =
=-{все целые числа, дающие при делении на 3
остаток 2}.
(Здесь число а может быть представлено в виде
Зп + 1, а число Ь — в виде 3п + 2.) Тогда
N = T\}aT\]bT
— представление множества N с помощью смежных
классов по подгруппе Т.
У п р а ж н е н и е 30. Пусть г] и cJ — смежные клас-
сы группы L по подгруппе /. Покажите, что
(a) если с — элемент смежного класса г/, то смеж
ные классы cJ и rJ совпадают;
(b ) смежные классы с] и rJ совпадают в том и
только том случае, когда элемент г^с принадлежит
подгруппе /.
У п р а ж н е н и е 31. Докажите, что если
L = / U r / U s / U . . . \JvJ
— представление группы L в виде объединения ле
вых смежных классов по подгруппе /, то
Z. = / и / г - 1и / s - 1и . . . UJv ~ 1
является ее представлением с помощью правых смеж
ных классов.
У п р а ж н е н и е 32. Найдите правые и левые
смежные классы группы диэдра D3 шестого порядка
по ее подгруппе К = {/, а, а2}.
Некоторые следствия из теоремы Лагранжа. Ука
жем теперь некоторые непосредственные следствия из
теоремы Лагранжа о порядках подгрупп.
Т е о р е м а 4. Если порядок группы G есть простое
число, то
(1) группа G не имеет собственных подгрупп;
(2) группа G является циклической.
120 ГЛАВА В
ОТОБРАЖЕНИЯ
Рис. 9.2.
М
с /------ \ b bL------ \ Q aL \b
Р и с * 9.3.
М~': х = Ц ^ - .
М Ш отображает у в у, поскольку
2 - ^ + 1 = 0,
и, таким образом, M~lM = /.
Рассмотрим теперь отображение N: х -* у , зада
ваемое формулой
у = х2, или f(x) = x2,
график которого показан на рис. 9.5. Взаимно одно
значно ли это отображение? Пусть Xi и х 2 — различ
I а а2 а3
I
/(/)= / f(a) = b f ( а 2) = / П а 3) = 6
а а2 а3 /
а
f(a) = b f ( a 2) ~ I f ( a 3) = Ь /(/) —/
а2 а3 I а
а2
/ ( а 2) = / f ( a s) = b Ц а )-Ь
Осо
/ а а2
а*
чо
о»
—
f(a*) = I
В
II
/ ( / ) - / }(а) = Ь
^
f ( x - l) = [f(x)]-\
т. е. при гомоморфизме образ обратного элемента
есть элемент, обратный к образу.
У п р а ж н е н и е 39. Пусть группа G гомоморфно
отображается (с помощью гомоморфизма /) на груп
пу Я, и пусть f(x) = f(y) для некоторых двух элемен
тов х и у группы G. Покажите, что
f{ x y -1) = f { x - 1y) = l,
138 ГЛАВА 9
I а а2 а2
1 а а2 а2
/
1 i -1 —i
а а2 а3 I
а
i -1 —i 1
а2 а2 I а
„2
аЛ
-1 —i 1 i
а2 I а а2
а2
—i 1 i -1
Р и с . 9.7.
X
Отсюда следует, что — = 1 и, значит, х = у. Таким
образом, отображение / взаимно однозначно и, следо
вательно, является изоморфизмом.
Абстрактные группы. Будем называть две изо
морфные группы абстрактно равными и считать аб
страктно равные группы одной и той же абстрактной
группой. Именно благодаря этому приобретают пол
ную определенность, например, такие термины, как
«группа диэдра порядка 6» или «циклическая группа
порядка 6». Утверждение, что две изоморфные группы
абстрактно равны, не означает, что такие группы со
вершенно одинаковы; из него лишь следует, что они
обладают одинаковыми групповыми структурными
свойствами. Из упражнения 41 будет видно, что груп
па может быть изоморфна своей собственной подгруп
пе. Группа и одна из ее собственных подгрупп — это,
конечно, не одно и то же, однако их групповая струк
тура может быть одинаковой.
Можно показать, что существует лишь конечное
число «абстрактно различных» групп порядка п.
С точностью до обозначения элементов для множе
ства, состоящего из п различных символов, существует
лишь конечное число таблиц умножения, имеющих
п клеток. Отметим, что группа диэдра порядка 6 и
циклическая группа порядка 6 не изоморфны (и, сле
довательно, абстрактно различны), так как вторая из
этих групп коммутативна, а первая — нет. Можно по
казать, что других абстрактных групп порядка 6 не
существует. Аналогично, если р — простое число, то су
ществует только одна абстрактная группа порядка р,
и это, конечно, циклическая группа Ср.
На основании этих примеров не следует делать вы
вода, что легко перечислить все абстрактно различные
группы данного порядка. Известно, что существует
267 абстрактных групп порядка 64, но пока еще никто
не подсчитал число абстрактных групп порядка 256.
Отождествление изоморфных групп и образование
понятия абстрактной группы аналогично образованию
понятия числа путем абстрагирования от его конкрет-
ОТОБРАЖЕНИЯ 143
ГРУППЫ ПОДСТАНОВОК
(12 4) =
148 ГЛАВА 10
а затем отображение
12 3 4 5
(3 5) =
12 5 4 3
то произведение этих отображений (их суперпозиция)
есть отображение А, т. е.
/1 2 3 4 5 \ / 1 2 3 4 5 \ / 1 2 3 4 5 \
f
(1 2 4) (3 5) = 2 4 3 1 5 / ( 1 2 5 4 3 / \ 2 4 5 1 3 /'
Отметим, что поскольку эти два цикла не содержат
общих символов и не оказывают друг на друга влия
ния, то безразлично, в каком порядке мы производим
соответствующие отображения; следовательно,
(1 2 4) (3 5) = (3 5) (1 2 4).
Чтобы получить представление отображения А с по
мощью циклов, мы воспользовались способом, кото
рый можно применить к отображению любого конеч
ного множества на себя. Отсюда следует, что каждую
подстановку конечного множества можно записать
как произведение циклов, не содержащих общих сим
волов.
Рассмотрим теперь отображения
( 1 2 ) (2 3) и (2 3) (12)
и выясним, будут ли перестановочны циклы (1 2 ) и
(2 3) с общим символом 2 . Произведение ( 1 2 ) и
(2 3) дает:
1 - >2, затем 2-> 3 и окончательно 1->3,
3 —> 3, затем 3-> 2 и окончательно 3->2,
2 - > 1 , затем 1 —> 1 и окончательно 2 - > 1 .
Таким образом,
(1 2) (2 3) = (1 3 2).
С другой стороны, (2 3) (1 2 ) дает:
1— > 1, затем 1 - > 2 и окончательно 1 -> 2 , -
2 - >3, затем 3->3 и окончательно 2->3,
3 - >2, затем 2 -М и окончательно 3 —> 1.
ГРУППЫ ПОДСТАНОВОК 149
Таким образом,
(2 3) (1 2) = (1 2 3),
т. е. циклы ( 1 2 ) и (2 3) не коммутируют. Циклы,
не содержащие общих символов, перестановочны меж
ду собой, а содержащие общие символы могут и не
быть перестановочны.
Конечная группа изоморфна группе подстановок.
Мы уже подготовили фундамент для одной из основ
ных теорем о представлении конечных групп. В гл. 9
указывалось, что каждую конкретную группу можно
рассматривать как одно из многих возможных пред
ставлений некоторой абстрактной группы, которая
изоморфна каждому из этих представлений. В сфор
мулированной ниже теореме утверждается, что для
каждой конечной абстрактной группы существует ее
конкретное представление в виде некоторой группы
подстановок. Напомним, что подстановка на п сим
волах— это взаимно однозначное отображение мно
жества из п элементов на себя *).
Т е о р е м а 5. Пусть задана конечная группа поряд
ка п. Тогда существует группа подстановок на п эле
ментах, изоморфная данной группе.
Доказательство этой теоремы можно найти в лю
бой книге, посвященной теории конечных групп. По
этому нам кажется, что читателю будет полезнее про
следить ход доказательства в применении к какой-ли
бо конкретной группе (используемый здесь способ
рассуждения может быть обобщен до формального
доказательства теоремы).
Найдем представление в виде группы подстановок
для циклической группы С4 четвертого порядка. Со
ставим прежде всего таблицу умножения этой груп
пы, причем элементы /, а, а2, а3 будем обозначать
также символами g 1, £ 2, ёз, gi соответственно.
Таблица ЮЛ
I а а2 а3
gi g2 gs gi
/ / а а2 а3
(1 2 3 4\
/П!
£l g2 VI 2 3 4/
£1 gз gi
а а а2 а3 /
/ 1 2 3 4\
т2
g2 V2 3 4 1/
g2 £з gi gi
а2 а2 а3 / а
/ 1 2 3 4\
тг
&з £з g2 \3 4 1 2/
g* £1
аъ а3 / а а2
/ 1 2 3 4\
g* g4 £1 g2 gs
(4 1 2 3/
4 2 1 3 2 4
т \ тг т3
(1) (2) (3) (4) ( 1234) (13)(2 4) (1432)
Рис. 10.1.
Рис. 10.2
8i @2 g3 g4
I I a b ab
2 3 4
8\ g\ g2 g3 g4 о 2 3 4)-
а a I ab b
1 2 3 4
§2 82 8\ g4 g3
,2 1 4 3 ) - т2
Ь b ab I a
1 2 3 4
§3 8 4 8 1 g2
3 4 1 2 ь тъ
ab ab b a I
/1 2 3
g4 §4 g3 82 81 44 3 2 ;) = т4
ГРУППЫ ПОДСТАНОВОК 153
Рис. 10.5.
Рис. 10.7.
Рис. 10.10.
НОРМАЛЬНЫЕ ПОДГРУППЫ
6 Зак. 1090
162 ГЛАВА И
Рис. ил.
Группа диэдра D3 с элементами I, а, а2, b,
Ьа, Ьа2 и определяющими соотношениями
а3= ь2= ф а )2= /.
следовательно,
f{a) = f (Ьа • ba2) = f (ba) f (ba2) =
= f{b)f(a)f{b)f(a2) = f{a)f(a2) [так как /(6) = /] =
= / (а3) = /(/) = /,
как и утверждалось. Поэтому
f(a2) = f(a)f(a) = I,
f(ba) = f(b)f(a) = f(a) = I,
f(ba2) = f(b)f(a2) = f(a2) = I i
так что каждый элемент группы D3 отображается в I.
Это доказывает, что любой гомоморфизм группы D3y
который переводит подгруппу Н в I, отображает в I
всю группу D3.
Рассмотрим теперь гомоморфизм группы D3 в груп
пу G, который переводит в / некоторую другую под
группу, скажем подгруппу К = {/, а, а2}. Из соотно
шений
f(/) = /(a) = /(a 2) = /
следует, что
f(ba) = f(b)f(a) = f(b),
f(ba2) = f(b)f(a2) = f(b),
и этот гомоморфизм можно представить в виде
/ / a a2 b ba Ьа2 \
\1 I I с с с ) ’
где с = f(b). Так как
c2 = f(b)f(b) = f(b2) = f (I )=I ,
то множество, состоящее из элементов / и с, является
циклической группой второго порядка1). Таким обра
зом, гомоморфное отображение группы D3, которое
!) Мы неявно предполагаем, что с = } ( Ь) ф1. Конечно, су
ществует (тривиальное) отображение f, такое, что f { b ) = I , но
равенство f(b) = / не является непременным следствием равен
ства /(а ) = /,
164 ГЛАВА 11
Рис. 11.2.
К-К К-ЬК
I а а2 b Ьа Ьа2
/ I а а2 I b Ьа Ьа2
а а а2 1 а ab aba aba2
а2 а2 I а а2 а 2Ь a 2b a а 2Ь а 2
к ЬК
к к ЬК
ЬК ЬК к
х-> хК,
D3= К U ЬК
172 ГЛАВА 11
/ I' __ А
\ I/
*
/ а , а 2 [К )
Рис. 11.6.
Е 0
Е Е 0
0 0 Е
- 2 - 1 0 1 2
Рис. 11.7.
В гр у п п е н ет с о о т н о ш е н и й .
Рис. 11.8.
Рис. 11.9.
Рис. 11.10.
Г —подгруппа, состоящая из всех чисел, кратных 3; U —смежный
класс аТ, где а имеет вид Зя + 1; V —смежный класс ЬТ, где b
имеет вид 3п + 2.
■ф а ф 6 ф о
- ж— ф * ф % д
Ф ер ф а 0 ш
Рис. 11.13.
Символом О обозначены эле
менты из К (вида r 2tns 2 n )\ сим I I I I
волом
(вида
□ — элементы из гК
s 2n )\ символом X —
-ф- g о ф ф ш
элементы из s K (вида r z m s^n ^ *)»
символом Л — элементы из r s K
(вида r2m+ ' s 2n+ ').
-x g у А ж Д
У п р а ж н е н и е 57. Пусть G — некоторая группа
и G/K— ее факторгруппа. Что можно сказать о ком
мутативности следующих групп?
(a) G//C, если G коммутативна.
(b) G/К, если G некоммутативна.
(c) G, если G/К коммутативна.
(d) G, если G/К некоммутативна.
У п р а ж н е н и е 58. Пусть группа G с образую
щими х и у определена соотношением х2у~ъ = /. По
кажите, что G некоммутативна. [Указание: используй
те результаты предыдущего упражнения, подобрав
подходящую 'Некоммутативную группу, изоморфную
некоторой факторгруппе G/К.]
ГЛАВА 12
ГРУППА КВАТЕРНИОНОВ
— ♦ — Ь
Рис. 12.1.
СИММЕТРИЧЕСКИЕ И ЗНАКОПЕРЕМЕННЫЕ
ГРУППЫ
Рис. 13.1.
:;i - а
Геометрически их можно представлять себе как со
вмещения прямолинейного отрезка; см. рис. 13.1. Эта
группа самосовмещений является циклической груп
пой С2, т. е. группа S 2 изоморфна группе С2.
Рассмотрим теперь группу S3. Когда мы отобра
жаем на себя- множество {аь а2, аз}, нам предостав
ляются три возможности для выбора образа элемен
та ai — это а ь а2 или а3. Как бы мы ни поступили,
образом элемента а 2 должен быть один из двух остав
шихся элементов. (Имеется лишь два элемента, кото
рые могут стать образом элемента а2, поскольку
188 ГЛАВА 13
Рис. 13.2.
сU 23)
3 1
можно представить так:
(1 2 3) = (1 2)(1 3) или
(2 3 1) = (2 3) (2 1) или (3 1 2) = (3 1)(3 2).
192 ГЛАВА 13
1
(12 3И12)(13) ( 13 2) = ( 13) ( 12)
Нечетные подстановки: / \
3L---- ^ 12 2L------*3
(13) (2 3) ( 12)
Рис. 13.3.
ГРУППЫ ПУТЕЙ
• Рис. 14.3.
а2
Рис. 14.4.
Рис. 14.5.
Рис. 14.9.
Рис . 14.10.
р
Ри с . 14.11.
ГРУППЫ И ОРНАМЕНТЫ
J ♦ ♦ J
-ii ^ i : ^ ' r: .i ; i
■ > i i
а) dj
Р и с , 15.4.
а) Фундаментальная область 5 и ее сдвиги с помощью г и
б) Граф группы с образующими г и s и определяющим соотноше
нием r s r ~ ls~~1 —I.
Рис. 15.8.
Рис. 15.11.
Рис. 15.14.
Рис. 15.15.
ГРУППЫ И ОРНАМЕНТЫ 219
Рис. 15.17.
ГРУППА ДО ДЕ КА Э ДР А И ИКОСАЭДРА:
ЗНАКОПЕРЕМЕННАЯ ГРУППА Л5 ПОРЯДКА 60
W Z W Z W 2
2 2 4 1 3
3 3 1 4 2
4 4 3 2 1
Упр. 8. (а) Циклическая группа, (b) Циклическая группа,
(с) Не является группой, так как не содержит единицы аддитив
ной группы, а именно нуля, (d) Циклическая группа.
226 РЕШЕНИЯ УПРАЖНЕНИЙ
Упр. 9.
Упр. 10.
г г2 / fr fr2
1 '
1 / г г2 f fr /г2
г Г г2 / /г fr 2 /
г2 г2 / г /г2 / /г
! fr 2 / г г2
fr /г /г2 / г г2 /
fr 2 /г2 /г г2 / г
(Ь) П о с т у п а е м , к а к и р а н ь ш е;
.m ,
т . e. v = /; порядок эл ем ента v н е п р е в о с х о д и т k m — 1.
[Замечание: у п р а ж н е н и я 13 и 14 и л л ю с т р и р у ю т с о о т н о ш е н и е ,
с п р а в е д л и в о е в л ю б о й г р у п п е: ( uvu~l) n — uvnu~\]
У п р. 15. И з у п р . 13 мы з н а е м , ч т о у — э л е м е н т к о н е ч н о г о п о
р я д к а и у8 = /. Э т о п о д с к а з ы в а е т в ы б о р в о с ь м и у г о л ь н и к а в к а
ч еств е о сн о в н о й ф и гуры гр а ф а . М е т о д р еш ен и я ста н о в и т ся теп ер ь
о ч е в и д н ы м , и мы в к о н ц е к о н ц о в п р и х о д и м к с л е д у ю щ е м у г р а ф у :
У п р. 16. И з у п р . 14 мы з н а е м , ч т о п о р я д о к э л е м е н т а / не
п р е в о с х о д и т k n — 1. П у с т ь г — п о р я д о к t. (М ы п р е д п о л а г а е м , ч то
г > 1, т а к к ак в п р о т и в н о м с л у ч а е п р и х о д и т с я и м ет ь д е л о с о с о
бы м сл уч аем t = /.) И з т о г о ч т о tr = / , п о л у ч а е м р а в е н с т в о
/-1 = tr- 1. А н а л о г и ч н о , соотн ош ен и е s n = / влечет за собой
s-\ ^ s n - i' ( З д е с ь мы с н о в а п р е д п о л а г а е м , ч то п > 1, ч т обы
и ск л ю ч и т ь т р и в и а л ь н ы й с л у ч а й s = / . ) С л е д о в а т е л ь н о , в л ю б о м
с л о в е W м о ж н о за м е н и т ь s _1 на s n_1 и t~{ н а tr~ l и, зн а ч и т ,
л ю б о е с л о в о , о п р е д е л я ю щ е е эл е м е н т н а ш е й г р у п п ы , м о ж е т бы т ь
в ы р а ж е н о ч е р е з п о л о ж и т е л ь н ы е с т е п е н и эл е м е н т о в s и /. Т е п ер ь
м о ж н о у м н о ж и т ь з а д а н н о е с о о т н о ш е н и е sts~l = tk с п р а в а на s и
п о л у ч и т ь с о о т н о ш е н и е st = tks. Т а к и м о б р а з о м , в л ю б о м с л о в е
мы м о ж е м п о с л е д о в а т е л ь н о с т ь с и м в о л о в st за м е н и т ь на tks. Е с л и
п овтор я ть эт у п р о ц ед у р у в д ан н ом сл ове, со д е р ж а щ е м п о сл ед о в а
РЕШЕНИЯ УПРАЖНЕНИЙ 229
т е л ь н о с т ь с и м в о л о в st, т о в к о н ц е к о н ц о в мы п р и д е м к с л о в у ,
в к о т о р о м в с е степ ен и э л е м е н т а t с т о я т с л е в а о т с т е п е н е й э л е
м е н т а s. Т а к и м о б р а зо м , л ю б о й эл е м е н т в н а ш ей г р у п п е м о ж н о
з а п и с а т ь к а к с л о в о вида txsy. К р о м е т о г о , д л я зн а ч е н и я х с у
щ е с т в у е т л и ш ь г в о з м о ж н о с т е й (т а к к ак tr = / ) , а д л я
л и ш ь п в о з м о ж н о с т е й ; с л е д о в а т е л ь н о , в г р у п п е н е б о л е е ч ем гп
р а з л и ч н ы х э л е м е н т о в . Т ак к а к г ^ k n — 1, т о п о р я д о к н а ш ей
гр уп п ы н е п р е в о с х о д и т ( k n — 1 )п.
У п р . 17 . И з реш ения уп р . 14 с л е д у е т , ч то t7 = / . Н о т а к к ак
7 — п р о с т о е ч и сл о , то п о р я д о к э л е м е н т а t р а в е н 7 1) . Р е з у л ь т а т
у п р . 16 п о з в о л я е т зак лю чи ть, ч т о п о р я д о к н а ш е й г р у п п ы р а в е н 2 1 .
Г р а ф н а ш е й гру п п ы м о ж н о с т р о и т ь , о с н о в ы в а я с ь н а т р е х сем и-,
у г о л ь н и к а х и ли н а семи т р е у г о л ь н и к а х ( с о о т в е т с т в у ю щ и х с о о т
н о ш е н и я м s 3 = I и t7= I ) . З д е с ь и з о б р а ж е н г р а ф н а ш ей г р у п п ы
п о р я д к а 2 1 , осн о в а н н ы й н а с е м и т р е у г о л ь н и к а х :
У п р . 18. М ы м ож ем и сп о л ь зо в а т ь гр а ф группы С 2 X Сз
(р и с . 7 . 6 ) , ч т о б ы вы числить с л е д у ю щ и е с т е п е н и э л е м е н т а g = fr:
g = fr, g 4 = {fry = ( r 2) 2 = r;
g 2 = (/r)2 = r 2. ff'-W -tfrJr-fr* ;
g3 = g g J = {fr) Г2= f; g e = ( g 3) 2 = /2= /.
Таким о б р а зо м , g п о р о ж д а е т ц и к л и ч е с к у ю г р у п п у С б.
1) Д е й с т в и т е л ь н о , есл и ta — / , т о а д е л и т с я на п о р я д о к d
э л е м е н т а t. Е с л и бы э т о б ы л о н е т а к , т о , п о д е л и в а н а d , мы
п о л у ч и л и б ы а = dq + г, г д е 0 < г < d. Н о т о г д а бы мы и м ел и
tr ~ ta~ dQ = ta (td) - * = / , ч то п р о т и в о р е ч и т о п р е д е л е н и ю п о р я д к а
э л е м е н т а . В ч а ст н о сти , в н а ш е м с л у ч а е 7 д о л ж н о д е л и т ь с я н а
п о р я д о к э л е м е н т а t, т. е. d д е й с т в и т е л ь н о р а в е н 7. — Прим,
ред.
230 РЕШЕНИЯ УПРАЖНЕНИЙ
а 2 - Ь2 - (a b )2
Упр. 22.
/
(а) Д.
Аналогично f ( x ~ly) = /.
Упр. 40. (a) f ( x y ) = f ( x ) f ( y ) = 1 - 1 = 1.
(b) По предположению f ( x y ) = f ( x ) f ( y ) = l . Тогда /(«/) =
= [f(jc)]_1 и, таким образом, f { y x ) = f ( y ) { { x ) = [ f ( x ) ] - ' f ( x ) = I .
Упр. 41. Мы покажем, что отображение f, которое сопостав
ляет каждому целому числу п из G число 2п, обладает всеми
нужными свойствами. При этом отображении f ( n ) = 2п, или
п - > 2 п,
f (т + п) = 2 ( т + п) = 2 т + 2п = / ( т) + f (п).
Кроме того, f ( m ) = f ( n ) означает, что 2 т = 2п, а это последнее
равенство выполняется тогда и только тогда, когда т = п. (Мо
жет ли существовать изоморфизм к о не чно й группы на ее соб
ственную подгруппу?)
Упр. 42. Любой элемент группы G можно представить в виде
r k, k — 0, ±1, ±2, . . . , а любой элемент из Н — в виде r ftn,
k = 0, ±1, ±2, . . . . Определим отображение f формулой
f ( x ) = х п , или х - + х п, где х — произвольный элемент группы G,
ОГЛАВЛЕНИЕ