Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Algebra

.pdf
Скачиваний:
258
Добавлен:
09.02.2015
Размер:
942.09 Кб
Скачать

Определение 1.5. Индексом (G : H ) подгруппы H в группе G называют число различных левых (правых) смежных классов по подгруппе H , если это число конечно.

Теорема Лагранжа. Порядок конечной группы равен произведению порядка подгруппы на индекс этой подгруппы, т. е. | G | | H | (G : H ) .

Определение 1.6. Подгруппа называется нормальной, если для любого a G соответствующие левые и правые классы совпадают: aH Ha .

Определение 1.7. Факторгруппой группы G, по нормальной подгруппе

H называется

множество смежных

классов

G \ H

с операцией

aH bH (a b)H . Факторгруппа обозначается G H .

 

Пример 1.6. Построить факторгруппу

.

 

 

Решение. Согласно замечанию 1.2 бесконечная циклическая группа (Z, +)

имеет циклические подгруппы вида

{

}, состоящие из целых чи-

сел, кратных m .

Такие подгруппы обозначают mZ.

Так как любая подгруппа

абелевой группы нормальна, то достаточно построить только левые смежные классы. Два целых числа x и y попадают в один смежный класс, если

, т. е. эти числа сравнимы по модулю m (имеют один и тот же остаток при делении на m ). Принято это записывать так: x y (mod m) . Отношение сравнения по модулю на множестве Z является отношением эквивалентности [1, с. 4, 5] и порождает разбиение множества целых чисел на непересека-

ющиеся классы эквивалентности,

называемые классами вычетов по модулю m :

 

{ }

 

{ }

{

 

 

}

 

, где {

}

{

 

 

}, r 0, 1,

, m 1.

Обозначим { }

 

 

̅и составим из полученных классов вычетов множество

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

0, 1,

, m 1 , т. е. фактормножество множества Z по отношению срав-

нения по модулю m .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, смежные классы группы Z по подгруппе mZ есть классы вычетов по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

модулю m

, а факторгруппа

 

= Z

0, 1,

, m 1 . Операция сложения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

классов вычетов r k r k

сводится к соответствующей операции над пред-

 

 

 

 

 

 

 

 

 

 

 

 

ставителями этих классов. Например, 2 9 1 в группе Z10, так как для пред-

ставителей

этих

 

классов

имеем: 2 9 11 10 1 1. В факторгруппе Zm

 

 

 

 

 

 

 

 

 

 

нейтральный элемент e 0

и r m r, r 1, 2,

, m 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

 

Пример 1.7. Построить факторгруппу

.

 

Решение. Рассмотрим группу

̅

 

̅̅̅̅}. Группа

− цикличе-

 

 

 

 

ская порядка 20, порожденная классом вычетов 1. Подгруппы

порождаются

классами вычетов вида m , где m − делители числа 20 и имеют порядок, равный

20

(см. замечание 1.2). Подгруппа

̅ {̅ ̅ ̅̅̅̅ ̅̅̅̅} состоит из клас-

m

 

 

сов вычетов, элементы которых при делении на 20 дают остаток, кратный 5. Построим левые смежные классы по этой подгруппе. По теореме Лагранжа ин-

декс подгруппы

 

 

равен 20/4=5. Рассуждая, как в примере 1.6, получим, что

 

 

 

 

 

 

два класса вычетов k

 

 

и l попадают в один и тот же смежный класс по под-

группе

, если k l

mod 5 . Выпишем все получающиеся смежные классы:

̅

 

{̅

 

 

̅ ̅̅̅̅ ̅̅̅̅},

̅

 

̅ ̅̅̅̅ ̅̅̅̅},

̅

 

{̅ ̅ ̅̅̅̅

̅̅̅̅}

̅

 

 

 

 

̅ ̅̅̅̅ ̅̅̅̅},

̅

 

{̅ ̅ ̅̅̅̅

̅̅̅̅}.

Итак,

{

̅

 

 

 

 

̅

̅

 

̅

}. Заметим, что в дан-

ном случае построить смежные классы можно было, пользуясь непосредственно определением 1.4.

Пример 1.8. Построить факторгруппу .

Решение. Два вещественных числа x и y попадают в один смежный класс по подгруппе Z, если – x + y = k, k Z, т. е. они имеют одну и ту же дробную часть (см. пример 1.1).

Обозначим смежный класс ̅ { { } { }}. Бинарная операция над смежными классами осуществляется по правилу x y x y . Итак,

= x, x 0, 1 .

Пример 1.9. Разложить на левые (правые) смежные классы группу матриц GLn(R) по подгруппе матриц SLn(R).

Решение. GLn(R) − мультипликативная группа невырожденных матриц по-

рядка n с вещественными элементами, SLn(R) − подгруппа матриц, определитель которых равен 1. Выясним условия, при которых матрицы попадают в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Но,

один и тот же левый смежный класс. Пусть

 

 

 

, т. е.

A 1B

 

A 1B

 

 

 

A 1

 

 

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

 

 

 

 

 

 

, откуда получаем

 

A

 

 

 

B

 

. Итак, левый смежный класс со-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

стоит

из

всех

 

матриц

 

с

 

 

 

 

равными

определителями

 

̅

{

 

 

 

 

 

 

 

 

 

}. Построим правые смежные классы.

Если BA-1 SL (R), то

 

BA 1

 

 

 

B

 

 

 

A 1

 

 

 

 

 

1

 

A

 

 

 

B

 

.

Значит, соответ-

 

 

 

 

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ствующие правые и левые смежные классы совпадают и подгруппа SLn(R) является нормальной. Разбиение на смежные классы порождает факторгруппу GLn SLn = A, A GLn с операцией A B AB .

1.3. Гомоморфизмы групп

Определение 1.8. Пусть G1, и G2, − две группы, а f − отображение множества G1 в множество G2 . Отображение f называется гомоморфизмом группы G1 в группу G2 , если для любых a, b G1 имеет место равенство

f a b f a f b . Если,

кроме того, f − биективное отображение, то f

называется изоморфизмом G1

на G2 . Записывается это так: G1 G2.

Нейтральный элемент группы G1 любым гомоморфизмом переводится в

нейтральный элемент группы G2 . Кроме того, f a 1 f a 1, a G1 .

Определение 1.9. Пусть

f − гомоморфизм группы G1 в группу G2 . Ядром

гомоморфизма Ker f называется множество прообразов нейтрального элемента группы G2 . Образом гомоморфизма Im f называется множество образов всех элементов группы G1 .

Лемма 1.2. Гомоморфный образ f H любой подгруппы H группы G1

является подгруппой в G2 и, наоборот, полный прообраз f 1 S любой подгруппы S группы G2 является подгруппой в G1 .

Значит, ядро и образ гомоморфизма являются подгруппами групп G1 и G2 соответственно. В дальнейшем будем использовать следующую терминологию: эпиморфизм − сюръективный гомоморфизм ( Im f есть G2 ); мономорфизм − инъективный гомоморфизм ( Ker f состоит только из нейтрального элемента); автоморфизм − изоморфное отображение группы на себя.

13

Пример 1.10. Пусть отображение

f: GL5(R)GL5(R) задано формулой

f A

 

 

 

A

 

 

 

. Доказать, что

f − гомоморфизм групп. Найти его ядро и об-

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

det A

 

 

 

 

раз. Является ли f мономорфизмом, эпиморфизмом, изоморфизмом?

 

 

 

 

Решение.

 

 

 

Прежде всего,

заметим,

что функция

f A

 

 

 

A

 

 

 

имеет

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

det A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смысл на множестве невырожденных матриц и f(A) GL5(R). Покажем, что

отображение

 

 

 

f

является

 

гомоморфизмом

групп:

f ( A B)

 

 

 

 

A B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

det A B

 

 

 

 

 

 

A B

 

 

 

 

 

A

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( A) f (B) .

Равенство

 

 

 

 

 

 

E , где

 

 

 

E

5

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

det A det B

 

 

det A

 

 

det B

 

 

 

det A

 

 

 

 

 

− единичная матрица пятого порядка, определяет Ker f

. Ясно, что этому равен-

ству удовлетворяют все скалярные матрицы, то есть, матрицы вида E .

 

 

 

 

Кроме того, отображение f

 

накладывает ограничения на определитель образа

произвольной матрицы из данной группы GL5(R):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

1

 

 

 

5

 

 

det A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

det f A det 5

 

det A

 

 

 

5

 

det A

 

 

 

 

det A

det A

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, f − гомоморфизм, Ker f = {E | R+},

 

 

 

 

 

, отображение

f не является ни эпиморфизмом, ни мономорфизмом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 1.3. Пусть f − гомоморфизм группы G1 в группу G2 . Ядро гомо-

морфизма f

является нормальной подгруппой; смежные классы по ядру − это

полные прообразы элементов из Im f .

Определение 1.10. Подгруппа группы G , состоящая из тех элементов группы G , которые коммутируют (перестановочны) со всеми элементами группы, называется центром группы.

Ясно, что центр любой группы есть нормальная подгруппа.

Пример 1.11. Пусть H − центр группы GL3(R). Построить нетривиальный гомоморфизм f: GL3(R) GL3(R) с ядром H .

14

XA AX

Решение. По определению центра группы X H , если ,AGL3(R). Таким свойством обладают только скалярные матрицы, т. е. необходимо, чтобы Ker f = {E: R}. Заметим, что для скалярных матриц третьего

порядка

 

верно

равенство det E 3 det E 3 , поэтому если положим

f A

 

 

A

 

,

A GL3(R), то это отображение будет переводить скалярные

 

 

 

 

 

 

 

 

3 det A

 

 

 

 

 

матрицы (и только их) в единичную матрицу. Проверим, что f − гомоморфизм:

f ( AB)

 

AB

 

 

 

AB

 

 

 

A

 

 

 

B

 

f ( A) f (B) .

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

3

 

 

3

 

 

3

 

 

det AB

det A det B

det A

det B

Остается заметить, что det f A 1 для всех матриц из GL3(R), следовательно,

.

Пример 1.12. Построить эпиморфизм f: Z C5.

Решение. В примере 1.8 показано, что смежными классами группы Z по

 

 

 

 

 

подгруппе mZ являются классы вычетов 0, 1,

, m 1. Группа корней пятой

степени из 1 содержит всего пять элементов:

e2 ki/5, k 0, 1, 2, 3, 4 . Значит,

согласно лемме 1.3, смежных классов группы Z по ядру гомоморфизма Ker f

должно быть ровно 5 классов: 0, 1, 2, 3, 4. Итак, Ker f = 5Z. Функция

отображает числа из этой подгруппы в единицу:

 

f 5k e2 5ki/5 1. Из свойств показательной функции вытекает, что следующее отображение является гомоморфизмом:

f k1 k2 e2 (k1 k2 )i/5 e2 k1i/5 e2 k2i/5 f k1 f k2 .

Таким образом, f n e2 ni/5 − эпиморфизм групп. Ясно, что Z5 C5. Замечание 1.3. Все циклические группы одного и того же порядка (в том

числе и бесконечные) изоморфны. Функция f (ka) bk устанавливает изоморфизм между циклическими группами одного и того же порядка, записанными

аддитивно a , и мультипликативно b ,

. Например,

f

 

e2 i/n k

k

есть изоморфизм групп Zn и Cn .

 

 

 

 

15

Пример 1.13. Указать какой-нибудь нетривиальный гомоморфизм группы

Z6 в группу Z8.

Решение. Группы Z6

 

mZ6

 

1

2

3

6

 

 

 

 

 

 

Z6

(G: mZ )

6

3

2

1

 

 

6

 

 

 

 

Z8

mZ8

 

1

2

4

8

 

 

 

 

 

= ̅

̅ ̅ и Z = ̅

̅ ̅ − аддитивные

 

8

 

циклические группы шестого и восьмого порядков

соответственно. Ненулевыми подгруппами Zn явля-

ются подгруппы вида mZn. Пользуясь замечанием 1.2 и теоремой Лагранжа, выпишем для каждой

группы возможные порядки подгрупп и соответствующие индексы этих подгрупп для Z6. Полные прообразы всех элементов из Im f представляют собой

смежные классы по ядру гомоморфизма, а Im f есть подгруппа Z8. Значит, индекс ядра гомоморфизма должен совпадать с порядком образа гомоморфизма. В таблице только два совпадения: 1 и 2. В первом случае получаем тривиальный

гомоморфизм: все элементы Z6

отображаются в нейтральный элемент Z8. Во

втором случае Im f = 4Z

 

=

̅}, а Ker f = 4Z =

̅ ̅}. Смежные классы по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ядру гомоморфизма

 

 

 

 

 

{

 

 

 

̅}. Все элементы ядра гомоморфиз-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ма по определению отображаются в нейтральный элемент 0 ,

а все элементы

смежного класса

 

 

 

 

̅

 

{̅

̅

̅} в

 

. Легко проверить, что такое гомоморф-

 

 

 

 

 

4

ное отображение осуществляется по правилу

 

̅

 

 

 

 

̅

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 1.2. Гомоморфный образ группы

G изоморфен факторгруппе

этой группы по ядру гомоморфизма, т. е. Im f G Ker f .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с операцией x y

 

 

 

 

 

 

 

Пример 1.14. Пусть G − промежуток

 

0, 1

 

 

x y , а

 

H

циклическая подгруппа в G , порожденная элементом

1

. Доказать,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

G H G .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. В примере 1.1

(п. 5) было доказано, что

G

абелева группа.

Элемент

 

1

 

порождает

 

в G

циклическую

подгруппу

 

порядка 5:

1

 

1

 

 

2

;

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

5

 

5

 

1

 

2

 

 

3

 

 

1

 

3

 

4

 

1

 

4

 

1

 

 

 

 

 

 

1

 

2

 

3

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

;

 

 

 

 

 

0 . Итак, H 0,

 

,

 

,

 

,

 

 

. Для доказатель-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5 5 5 5 5 5

 

5 5

 

 

 

 

 

 

 

 

5 5 5

 

5

 

 

 

 

 

 

 

 

 

 

 

 

ства G H G не обязательно строить факторгруппу G H , достаточно устано-

вить эпиморфизм

f : G G с ядром H и сослаться на теорему 1.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким отображением служит функция

f (x)

 

 

. Действительно, она пе-

 

 

 

5x

 

реводит все элементы подгруппы H в 0:

f

k

 

 

k 0 ,

k 0, 1, 2, 3, 4 . Да-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

лее

необходимо

показать,

 

 

что

 

при

 

отображении

 

сохраняется действие,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{5x 5y

f

 

x

y

 

f

x y

 

 

5 x y

 

 

5

x y

x y

 

 

 

5 x y } 5x 5y

и

 

 

f x f y 5x 5y 5x 5x 5y 5y

 

 

 

 

 

 

 

 

 

 

 

x y

 

f

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

5x

5y .

Видим, что

f

 

 

 

 

x

 

 

 

y

 

,

 

значит

f − гомоморфизм.

Осталось убедиться, что Im f

 

есть вся группа G . Действительно, если y 5x ,

то 5x 5x y , где 5x k,

 

k 0, 1, 2, 3, 4 . Значит,

 

полным прообразом лю-

бого элемента

y k y k

5 5 5 5

 

y G

будет являться смежный класс

y

H

 

5

 

 

 

 

 

 

 

 

y

 

k

,

k 0, 1,

2, 3, 4

. Утверждение доказано.

 

 

 

 

 

 

5

5

 

 

 

 

 

 

Пример 1.15. Пусть H − циклическая подгруппа в Z Z Z, порожденная элементами 1, 1, 3 и 2, 1, 1 . Доказать, что Z Z Z / H Z .

Решение. Элементами прямой суммы Z Z Z являются всевозможные упорядоченные тройки целых чисел с бинарной операциейn1, m1, p1 n2, m2, p2 n1 n2, m1 m2, p1 p2 , а элементами группы H

– линейные комбинации троек 1, 1, 3 и 2, 1, 1 с целыми коэффициента-

ми. Построим эпиморфизм f: Z Z Z Z с ядром H . Прежде всего заметим,

что если

f 1, 0, 0 , f 0, 1, 0 , f 0, 0,

1 , то для любого элемента

x, y, z

группы Z Z Z

верно равенство

f x, y, z x y z . По-

скольку элементы группы H должны переводиться в нейтральный элемент об-

раза, т.

е. в 0, искомый

гомоморфизм

доложен удовлетворять условиям

f 1, 1, 3 3 0 и

f 2, 1, 1 2 0.

 

Проверьте самостоятельно, что числа

4 , 5 ,

3 этим условиям

удовлетворяют и что функция f x, y, z

4x 5y 3z

является гомоморфиз-

мом групп. Кроме того, надо проверить, что этот гомоморфизм переводит в 0 только элементы группы H и никакие другие. Но это следует из того, что система из двух линейных уравнений, определяющая коэффициенты , , , име-

17

ет решение с одним свободным параметром, следовательно, все ее решения получаются из найденного умножением на какой-то коэффициент.

Поскольку НОД 4, 5, 3 1, то, согласно теореме о линейном представлении наибольшего общего делителя, найдутся такие целые числа p, q, r , что 4 p 5q 3r 1 и, следовательно, образ построенного гомоморфизма содержит единицу. Но тогда он совпадает с группой всех целых чисел. Итак, f − эпи-

морфизм. Ссылаясь на теорему 1.2, делаем вывод, что Z Z Z / H Z .

 

 

 

 

1.4. Лемма Бернсайда. Задачи о раскрасках

 

 

 

 

 

 

 

 

 

Определение 1.11

 

3, с. 301 . Пусть X − некоторое множество, а S

 

X

 

группа взаимно однозначных отображений множества X на себя с операцией композиции. Под действием группы G на множестве X понимается гомоморфизм : G S X . Образ g x точки x X относительно преобразования

g S X , g G принято обозначать gx .

Поскольку − гомоморфизм, то для любого x X и g, h G действие группы на множестве обладает свойствами: 1) ex x ; 2) gh x g h x .

Две точки x, x X называются эквивалентными относительно группы G , действующей на X , если x gx для некоторого элемента g G . В силу вышеупомянутых свойств это отношение является отношением эквивалентности, разбивающим множество X на непересекающиеся классы эквивалентности. Эти классы эквивалентности называют G- орбитами. Итак, орбитой элемента x X под действием группы G является множество Gx gx : g G . Количе-

ство элементов в данной орбите называется длиной орбиты 3, с. 303 . Определение 1.12. Неподвижными точками элемента g G называются

точки x X , для которых gx x . Множество неподвижных точек элемента g

обозначается X g .

Теорема 1.3 (лемма Бернсайда). Количество орбит действия группы G на

множестве X равно 1 X g .

G g G

Лемма Бернсайда позволяет решать комбинаторные задачи, в которых требуется найти количество объектов, не совмещаемых друг с другом определенными преобразованиями.

18

Пример 1.16. Сколькими способами можно раскрасить грани тетраэдра, используя краски трех цветов (с точностью до поворотов тетраэдра).

Решение. Занумеруем грани тетраэдра числами от 1 до 4. Тогда раскраска

 

 

 

 

граней тетраэдра − это сопоставление каждому из

 

 

 

 

этих чисел некоторого цвета: x (x1, x2, x3, x4) , где

 

4

 

 

 

 

 

xk − это любой из трех цветов. Множество всех

 

 

 

 

 

 

 

 

 

 

 

 

раскрасок X x содержит 34 элементов. Ясно,

 

 

 

 

что некоторые раскраски могут переходить друг в

 

 

 

друга в результате вращений тетраэдра.

2

 

 

3

1

 

 

 

Группа G вращений тетраэдра с операцией

Рис. 1.3

 

 

 

композиции состоит из вращений вокруг четырех

осей, соединяющих вершины с центрами противоположных граней (8 вращений), вращений на угол вокруг каждой из трех осей, соединяющих середины противоположных ребер (3 вращения) и тождественного преобразования. Поскольку, при каждом вращении тетраэдра, вершины переходят друг в друга, группа G изоморфна некоторой подгруппе симметрической группы S4 .

Опишем вращения тетраэдра с помощью подстановок, представленных в

циклической форме. Обозначим через 1 вращение

 

 

 

 

 

 

 

тетраэдра вокруг оси, проходящей через центр пер-

 

 

 

 

 

 

 

 

 

 

4

 

 

 

вой грани и противоположную вершину на угол

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

. Тогда (рис.

1.2)

 

 

243 . Вращение вокруг

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

этой же оси на угол

3

 

есть, очевидно 1 234 .

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выпишем все остальные вращения относительно

 

Рис. 1.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

осей, проходящих через центры оставшихся гра-

 

 

 

 

 

 

 

ней:

2

(134),

2 (143),

(142), 2 (124),

 

4

(123),

2 (132)

. Подста-

 

 

 

 

2

 

 

3

3

 

 

4

 

 

 

 

 

новки 1 (13)(24) , 2

12 34 , 3 14 23

(рис. 1.3) задают вращения на

угол вокруг каждой из трех осей, соединяющих середины противоположных ребер.

Итак, группа G действует на множестве раскрасок X . Раскраски граней тетраэдра, совмещаемые друг с другом каким-нибудь преобразованием группы G , лежат в одной орбите под действием группы G . Определить количество

19

различных раскрасок, означает найти число орбит действия группы G на множестве X . Для этого воспользуемся леммой Бернсайда. Выясним, сколько раскрасок из X оставляет на месте каждый элемент группы G .

Нейтральный элемент

 

e оставляет на своем месте все раскраски, и по-

скольку их всего 34 , то и

 

X e

 

34 . Вращение

 

243 (1)(243)

сохраняет

 

 

 

 

 

 

 

1

 

 

раскраску, если грани с номерами 2, 3, 4 окрашены в один и тот же цвет, цвет же первой грани при этом может быть любым. Значит, первая грань может быть окрашена тремя способами, и в то же время оставшиеся грани вместе красятся в

один из трех цветов, поэтому

 

 

X 1

 

3 3 32 . Поскольку остальные вращения

 

 

 

 

i

 

 

 

имеют

 

 

 

подобную

 

 

 

 

циклическую

структуру,

то

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

X

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

X

2

 

 

X

 

 

 

 

X

 

 

X

4

 

 

 

X

 

Подстановка

(13)(24)

со-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

X 3

 

 

3

 

 

 

 

 

 

4

 

3 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

хранит раскраску граней при условии, что грани 1 и 3 выкрашены в один цвет (три возможности) и в то же время грани 2 и 4 выкрашены в один цвет (также

 

 

 

 

 

 

 

 

 

 

 

32 . Аналогичным образом имеем

три

 

возможности).

Значит,

X 1

 

 

X 2

 

 

 

X 3

 

32 . Учитывая, что порядок группы G равен 12, по лемме Берн-

 

 

 

 

сайда находим N

1

34 11 32 15 .

 

 

 

 

 

12

 

 

 

 

Пример 1.17. Две вершины правильного пятиугольника красят в зеленый цвет, а оставшиеся три − в синий цвет. С помощью леммы Бернсайда найти число существенно различных раскрасок вершин пятиугольника и перечислить их.

Решение. Занумеруем вершины пятиугольника числами от 1 до 5. Тогда раскраска x (x1, x2, x3, x4, x5) − это сопоставление двум любым числам зеленого цвета, а оставшимся трем − синего. Количество подобных раскрасок равно числу способов, которыми можно выбрать два места под зе-

 

 

 

C2

10 . Найдем число орбит действия

 

1

леный цвет, т. е.

X

 

 

 

 

 

5

 

2

5

группы

G самосовмещений правильного пятиугольника на

 

 

множестве X .

Группа G состоит из вращений пятиугольника вокруг своего центра, отражений относительно пяти осей, соединя-

20

3 4

Рис. 1.4

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]