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

Лекции по теории групп

.pdf
Скачиваний:
141
Добавлен:
10.05.2015
Размер:
441 Кб
Скачать
☆
может быть представлена в виде произведения

1.4. Семинар 2. Перестановки

11

Но мы знаем,что каждую подстановку можно представить в виде произведения циклов, причем каждый из них можно представить, как произведение транспозиций. Получается, при помощи ;

и можно представить любую подстановку из S3.

Рассмотрим S4: a = (1 2) и b = (1 2 3 4). Рассмотрим такие произведения:

= (2 3 4)

= (1 3 4)

1 = ( ) 1 = (1 3 4)(4 3 2 1) = (2 3)

2 2 = ( 1) 1 = (1 2 3 4)(2 3)(4 3 2 1) = (4 3)

С помощью = (1 2) и = (1 2 3 4) можно получить остальные транспозиции. Например, как получить (1 4)?

(1 2)(2 3)(3 4)(2 3)(1 2) = 1 1 = ( )2 ( ) 2 = (1 4) I

Задача 27. Любая четная подстановка из An тройных циклов.

J Если n = 3, то утверждение очевидно.

Покажем, как произведение транспозций выражается через циклы длины три:

(i1i2)(i1i3) = (i1i2i3); (i1i2)(i3i4) = (i1i4i3)(i1i2i3). I

Задача 28. В игре Пятнашки , при каноническом расположении числе, нельзя поменять числа 14 и 15 местами.

J Состоянию доски игры Пятнашки соотвествует подстановка из 16 элементов (16 соответствует пустая клетка ) 16 мы можем менять местами только с соседними). Изначально перестановка тождественная (в ней 0 инверсий) ) она четная. Но если передвигать 16, то в конце 16 должно снова вернуться в конец. Таким образом, если 16 сначала сдвинется влево на n позиций, то и вправо (при возвращении на исходное место) она должна вернуться на столько же; всего получается 2n

инверсий. Значит четность подстановки не меняется ни при каких передвижениях 16.

Но если поменять местами только числа 14 и 15, а остальные оставить на месте, то в подстановке будет 1 инверсия, значит она уже будет нечетной. Противоречие. I

Домашнее задание

1.Выяснить как изменится разложение подстановки в произведение независимых циклов при умножении ее (с обеих сторон) на произвольную транспозицию.

2.Доказать, что любая четная подстановка может быть представлена в виде произведения тройных циклов.

12

Глава 1. Начало

Глава 2

Морфизмы

2.1Лекция 3. Морфизмы

Определение. Отображение : G ! H называется гомоморфизмом группы G в группу H, если

(ab) = (a) (b), 8a; b 2 G.

Определение. Ker = fg 2 G : (g) = eHg ядро гомоморфизма .

Определение. Im = fh 2 H : (g) = h; 8 g 2 Gg образ гомоморфизма .

Определение. Гомоморфизм : G ! H называется мономорфизмом, если 8g1; g2 2 G : g1 6= g2 ) (g1) 6= (g2).

Определение. Гомоморфизм : G ! H называется эпиморфизмом, если Im = H.

Определение. Гомоморфизм : G ! H называется изоморфизмом, если он является мономорфизмом и эпиморфизмом.

Определение. Эндоморфизмом называется гомоморфизм в себя, то есть гомоморфизм : G ! G эндоморфизм.

Определение. Автоморфизмом называется изоморфизм в себя, то есть изоморфизм : G ! G автоморфизм.

Свойства гомоморфизма

10 (e) = e

J (e) = (ee) = (e) (e) , (e)( (e)) 1 = (e) (e)( (e)) 1 , e = (e) I 20 (g 1) = 1(g)

J e = (e) = (gg 1) = (g) (g 1) , (g)) 1 = (g 1) I

Пример. f : C ! R гомоморфизм, не мономорфизм, эпиморфизм, не изоморфизм, не эндоморфизм, не автоморфизм.

Утверждение 1. Ker f подгруппа группы G. J g1; g2 2 Ker f. Надо доказать две вещи:

(1)g1 g2 2 Ker f

(2)g 1 2 Ker f

Если jGj < 1, то достаточно доказать только g1 g2 2 Ker f. То есть не нужно доказывать суще-

ствование обратного.

Почему так ?

g; g2; g3; : : : ; gn. Пусть gm = gk; m > k ) gm k = e. Значит, обратный к g - это gm 1, òî åñòü ggm 1 = e.

13

14 Глава 2. Морфизмы

Теперь, наконец, докажем, что Ker f < G.

Пусть g1; g2 2 Ker f. Тогда f(g1g2) = f(g1) f(g2) = e e = e 2 Ker f I

Утверждение 2. Im(f) подгруппа H.

J h1; h2 2 Im(f) ) 9g1; g2 : f(g1) = h1; f(g2) = h2

f(g1 g2) = f(g1)f(g2) = h1 h2

f(g 1) = (f(g)) 1 = h 1 2 Im f I

Теорема 1. Гомоморфизм f : G ! H мономорфизм , Ker(f) = feg.

J ) От противного. Пусть g1 6= g2 è g1; g2 2 Ker f. Тогда f(g1) = e = f(g2), т.е. разные элементы

переходят в один, что противоречит мономорфизму.

 

 

 

 

 

 

 

)) 1

 

 

(

От противного. Пусть

f - не моно, тогда

9

g

 

= g

 

: f(g

) = f(g

)

)

f(g

)(f(g

= e

,

1

) = e , g1g2

1

= e

, g1 = g2 I

 

1

6

2

1

2

 

1

2

 

 

f(g1g2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 29. 8g; h 2 G fg(h) = ghg 1 автоморфизм.

J h1; h2 2 G : fg(h1h2) = g(h1h2)g 1 è fg(h1h2) = fg(h1)fg(h2) = (gh1g 1)(gh2g 1) = gh1h2g 1 ) fg

гоморфизм.

Очевидно, что эндо(то есть действует из G в G). Докажем изо = моно + эпи.

Докажем сначала моно. Пусть h 2 Ker(fg). e = fg(h) = ghg 1 , h = g 1g = e: Докажем теперь эпи. Пусть a 2 G. Тогда fg(h) = ghg 1 = a , h = g 1ag ) fg эпиморфизм. I

Определение. Автоморфизм называется внутренним, если он имеет вид fg(h) = ghg 1.

Задача 30. Если G - абелева, то любой ее внутренний автоморфизм тождественный.

J fg(h) = ghg 1 = gg 1h = h I

Задача 31. Все автоморфизмы группы G образуют группу Aut G. J f1; f2 : G ! G автоморфизмы.

Операция есть (f1f2)(g) = f1(f2(g)). Нужно проверить, что f1f2 - автоморфизм:

(f1f2)(g1g2) = f1(f2(g1g2)) = f1(f2(g1)f2(g2)) = f1(f2(g1))f1(f2(g2)) = (f1f2)(g1)(f1f2)(g2) ) f1f2 гомоморфизм.

Очевидно, что моно и эпи, т.к. f1; f2 автоморфизмы.

Тождественная функция автоморфизм. Обратный. f 1 : G G автоморфизм.

f 1(g1g2) = f 1(g1)f 1(g2) автоморфизм. I

Задача 32. Бывает ли, что множество всех внутренних автоморфизмов Inn G = Aut G ?

J Inn S3 = Aut S3 = S3 I

 

 

Задача 33. Множество всех внутренних автоморфизмов Inn G является подгруппой Aut G

J

(f

g1

f

g2

)(h) = g

g

hg 1g 1

= g

g

h(g

g

) 1 = f

g1g2

(h)

2

Inn G

 

 

 

 

1

2

2 1

1

2

1

2

 

 

 

Докажем (fg(h)) 1 2 Inn G.

 

 

 

 

 

 

 

 

 

f

1(h) = f

g1

1 (h)

 

 

 

 

 

 

 

 

 

 

 

 

g1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fe = fgfg 1 = gg 1hgg 1 = h fe(h) = ehe 1 = h I

Обозначение. Inn G = Int G

2.2. Семинар 3. Морфизмы

15

2.2Семинар 3. Морфизмы

Задача 34. Доказать, что все группы 2-го порядка изоморфны между собой.

J jGj = 2. Пусть g элемент группы и e единичный элемент. Тогда ee = e; eg = ge = g и остается

2

 

g g. Если g g = g = ge; g = e противоречие (группа-то второго порядка). Значит,

задать только

 

g

= e. Следовательно, существует только одна группа, содержащая 2 элемента. I

Задача 35. Доказать, что все группы 3-го порядка изоморфны между собой.

J Пусть e; g; h элементы группы. Нужно задать таблицу умножения gh; hg; gg; hh. Если gh = g, то h = e противоречие (в группе должно быть 3 различных элемента). Аналогично, если gh = h, то g = e противоречие. Значит, gh = e и точно так же hg = e. Если gg = g2 = g, то g = e противоречие; если g2 = e = gh, то g = h противоречие. Значит g2 = h и точно так же h2 = g.

Следовательно, существует только одна группа, содержащая три элемента. I

Задача 36. Доказать, что все циклические группы n-го порядка изоморфны.

J G =< a >n; H =< b >n : f(a) = b - изоморфизм. Биекция сразу ясна. Докажем изоморфизм: f(ak) = f(a a : : : a) = f(a) : : : f(a) = b : : : b = bk

f(glgm) = l + m è f(glgm) = f(gl+m) = l + m.

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

Теперь построим этот изоморфизм.

 

 

 

 

 

 

 

 

 

 

 

m

 

 

- это изоморфизм. Действительно,

 

f : G ! Zn : f(g ) = m

 

l

g

m

 

l

g

m

) = f(g

l+m

 

 

 

 

 

 

 

 

 

 

f(g

 

) = l + m è f(g

 

 

 

) = l + m. I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 37. Доказать, что все группы простого порядка циклические.

 

 

 

 

 

 

J

Если элемент

jgj = p

- простое число. Тогда если,

m

- произвольное целое число, то либо

g

m = e

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

m

p

= g

mp

= (g

p m

m

 

 

m

j

(m кратно p), либо элемент jg

 

j = p. Действительно, (g

)

 

 

) = e

 

= e. Поэтому jg

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

должен быть делителем p, но, раз p - простое, то либо jgmj = p либо m..p. Теперь вспомним, что

порядок элемента равен порядку порожденной им циклической подгруппы. I

 

 

 

 

 

 

 

Задача 38. Доказать, что все группы простого порядка изоморфны между собой.

 

 

 

 

J (3) + (4) I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 39. Доказать, что группы 4-го порядка не изоморфны (привести пример).

 

 

 

 

J Группа вращений квадрата Rot( ) = fe; r1; r2; r3g, ãäå e = R00 , r1 = R900 , r2 = R1800 , r3 = R2700 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

r1

 

r2

 

 

r3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица Кэли для Rot( ):

 

e

 

 

e

 

 

r1

 

r2

 

 

r3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r1

 

r1

 

 

r2

 

r3

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r2

 

r2

 

 

r3

 

e

 

 

r1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r3

 

r3

 

 

e

 

r1

 

 

r2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Группа симметрий (самосовмещений) ромба

Sym( ) = fe; r; s1; s2g, ãäå e = R00 , r = R1800 , s1; s2 -

симметрии относительно диагоналей ромба.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

r

 

s1

 

 

s2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица Кэли для Sym( ):

 

e

 

e

r

s1

 

 

s2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

r

 

 

e

 

s2

 

 

s1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s1

 

s1

 

s2

 

e

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s2

 

s2

 

s1

 

r

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда видно, что Rot( ) Sym( ), т.к. в первой группе есть элемент 4-го порядка, а во второй - нет элемента, у которого порядок больше 2. I

Задача 40. Привести пример неизоморфных групп 6-го порядка. J D3 C6, òàê êàê C6 коммутативна, а D3 íåò. I

Задача 41. Доказать, что при изоморфизме групп сохраняются порядки элементов.

16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Глава 2.

Морфизмы

J Пусть f : G ! H изоморфизмl

групп G и H; и g 2 G, h 2 H: f(g) = h. Пусть l какое-тоl.

натуральное число. Тогда f(g ) = f(g : : : g) = (так как f изоморфизм) = f(g) : : : f(g) = h

n

j jn

 

j j

 

 

f(g )|

=

 

{z

 

}

H

,

 

G

6

|

 

{z

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

l

 

 

Пусть g = n,

h = m. Тогда

 

m

 

 

 

hm = e

 

 

gm = e . Отсюда n

 

m. С другой стороны,

h

= f(g ) = f(eG) = eH , откуда n > m. Итого, n = m. I

 

 

 

 

 

 

 

Задача 42. Доказать изоморфизм (построить изоморфизм) (Z; +) и (nZ; +) изоморфны.

J 8k 2 Z : f(k) = n k I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 43. Доказать, что (

Z4

; +) изоморфна (

;

)

 

 

 

 

 

 

 

 

0

 

1

 

 

2

 

 

 

 

 

Z53

 

 

 

 

 

 

 

 

J f(0) = 2 = 1; f(1) = 2

 

= 2; f(2) = 2

= 4; f(3) = 2

mod 5 = 3 I

 

 

 

 

 

 

Задача 44. Привести пример плоских геометрических фигур группы движений которых изоморфны :

(a) Z2 отрезок (тождественный и симметрия отностиельно центра); две точки (концы отрезка); равнобедернный, но не равноторонний треугольник.

 

Z3

 

Rot(

4

).

 

(b)

 

3

=

 

 

 

 

 

 

 

 

4

3

 

(c) S

 

= Sym(

 

 

) = D

.

(d) V4 группа движений Клейна изоморфна Sym(}).

Глава 3

Факторизация и изоморфизмы

3.1Лекция 4. Отношение эквивалентности, теорема Лагранжа.

Пусть задано отношение T на множестве M.

Примечание. Отношение это подмножество T M M = f(m1; m2)g

Тогда, отношением эквивалентности, то есть x y (или (x; y) 2 T ), называется такое отношение, которое обладает следующими свойствами:

1)Рефлексивность: (x; x) 2 T .

2)Симметричность: (x; y) 2 T .

3)Транзитивность: Если x y и y z, то x z.

Примеры. На множестве M задано отношение. Является ли оно отношением эквивалентности

1)M = R, T = f(x; y) : x < yg выполнено 3)

2)M = C, T = f(z1; z2) : z1 è z2 лежат на одном лучеg выполнено 1) и 2). А 3) не выполнено, так как (x; 0) 2 A; (0; y) 2 A ; (x; y) принадлежит A.

3) M

множество людей, T = f(x; y) : x знает y g выполнено только 1).

4) M

множество людей, T = f(x; y) : x и y живут в одном доме g отношение эквивалентности.

Фактормножество множество домов. 5) M = M2 2. T = f(x; y) 2 M: xy = yxg

Задача 45. На множестве G задано отношение T = f(x; y) : x 1y 2 Hg, где H < G. Является ли T отношением эквивалентности ?

J Проверим условия эквивалентности:

1)x 1x = e 2 H

2)y x ) y 1x = (x 1y) 1 2 H

3)x y z ) (x 1y)(y 1z) = x 1yy 1z = x 1z 2 H; ) x z I

Построим отображение G 3 x 7 !Tx = fy : x yg = fy j x 1 y 2 Hg.

Тогда

1) x 2 Tx:

S

2)Tx = G:

x2G

3) Tx \ Ty 6= ? ) Tx = Ty:

J Первые два утверждения очевидны. Докажем 3).

Пусть z = Tx \ Ty ) Tx \ Ty = ft j x 1t 2 H; y 1t 2 Hg )

x 1z = h1 2 H , z = xh1 ) y 1z = h2 2 H , z = yh2 , y 1(xh1) = h2; x 1(yh2) = h1 , y 1x = h2h1 1 2 H; x 1y = h1h2 1 2 H ) x 2 Ty; y 2 Tx ) Tx = Ty I

Итак, G это совокупность непересекающихся классов эквивалентности. x y , x 1y 2

17

1h2 2 H ) x 1y 2 H: I

18 Глава 3. Факторизация и изоморфизмы

H ) x 1y = h 2 H , y = xh ) класс эвивалентности это xH = fxh j h 2 Hg. Если h1 6= h2 ) xh1 6= xh2. Отсюда вывод, если jHj < 1, то jxHj = jHj:

Определение. xH = fxh j h 2 Hg будем называть левым смежным классом элемента x по подгруппе H.

Hx = fhx j h 2 Hg правый смежный класс элемента x по подгруппе H.

Èòàê, åñëè h1 6= h2, òî xh1 6= xh2. Следовательно, каждый смежный класс (левый или правый) содержит также jHj элементов. Тогда, если jHj < 1 и r число смежных классов (левых или правых), то jHj r = jGj.

Полученный нами результат называют теоремой Лагранжа.

Теорема Лагранжа. Порядок подгруппы делит порядок конечной группы.

Задача 46. Доказать, что x 1y 2 H , x 2 gH; y 2 gH; g 2 G:

J ()) x 1y = h; y = xh ) y 2 xH ) x 2 xH

(() x = gh1; y = gh2

x 1y = (gh1) 1gh2 = h1 1g 1gh2 = h1

Хотим построить группу на множестве смежных классов. Тогда, на множестве смежных классов нужно ввести умножение, индуцированное в G.

Зададим операцию: xH yH = (xy)H. Корректна ли она ?

Пусть xH = x1H, yH = y1H. x x1; y y1 ) x = x1h1, y = y1h2. Когда (xy)H = (x1y1)H ?

Теорема 1. x x1; y y1 ) xy x1y1 8 x; y; x1; y1 2 G , zH = Hz 8 z 2 G:

~

 

 

J (() Пусть zH = Hz 8z 2 G ) xH yH = (xy)H. zH = Hz ) yh = hy. Значит ;(xh1)(yh2) =

[y $ h1] = xyh1h2 = xy(h1h2) 2 (xy)H.

1

) Hy = yH:

()) Пусть xH yH = (xy)H ) (xh1)(yh2) = (xy)h3 , h1yh2 = yh3 , h1y = yh3h2

 

xh1h2y = h3xy , xh1h2 = h3x ) xH = Hx: I

Утверждение 1. Hx = xH 8x 2 G , x 1Hx H: J Åñëè xH = Hx8x 2 G, òî h1x = yh2 h1; h2 2 H , x 1h1y = h2 ) y 1Hy H:

Пользуясь доказанным, получим, y 1yHy 1y yHy 1. Подставим y 7!y 1. H y 1Hy. I

Определение. Подгруппа H < G называется нормальной подгруппой если Hy = yH 8y 2 G. Обозначается H C G:

Из доказанного получаем эквивалентные формулировки: y 1Hy = H 8y 2 G;

yHy 1 = H : 8y 2 G;

y 1Hy H 8y 2 G.

Итак, операция xHyH = xyH корректна , H нормальная подгруппа.

3.2. Семинар 4. Факторизация.

19

3.2Семинар 4. Факторизация.

Задача 47. Порядок элемента делит порядок группы.

J Любой элемент порождает циклическую подгруппу, чей порядок равен порядку этого элемента. По теореме Лагранжа порядок подгруппы делит порядок группы. I

Задача 48. D S

3 = 3.

J D3 группа самосовмещений правильного треугольника. Занумеруем вершины треугольника цифрами 1,2,3. Сопоставим каждому элементу g 2 D3 подстановку (g) = g 2 S3, которая задает- ся перестановкой соответствующих вершин треугольника.

Если e тождественное преобразование, оставляющее треугольник на месте, то он перейдет в тож-

дественную подстановку: (e) = e

=id. Пусть r поворот против часовой стрелки на

2

 

3 , тогда

 

2 поворот на 4

 

2

 

 

(r) = r = (123); r

(r

) = r2

= (132). Пусть s1 симметрия относительно

 

3 ,

 

вершины 1, тогда (s1) = s1 = (23); (s2) = s2 = (13); (s3) = s3 = (12). Тогда композиции самосовмещений D3 соответствует умножение соответсыующих подстановок. В то же время, об-

разы трех вершин треугольника однозначно задают движение плоскости, следовательно, разным самосовмещениям из D3 отвечают разные подстановки из S3. С другой стороны, jD3j = 6 = jS3j.

Значит, : D3 ! S3 изоморфизм. I

Задача 49. Если группа коммутативна, то все ее подгруппы нормальны.

J I

Задача 50. H1 C G; H2 C G; : : : ; Hk C G ) H1 \ H2 \ : : : \ Hk C G:

J Пусть h 2 H1 \ H2 \ : : : \ Hk. Тогда h 2 H1; h 2 H2; : : : ; h 2 Hk: Пусть g 2 G. Следовательно, ghg 1 2 H1; ghg 1 2 H2; : : : ; ghg 1 2 Hk. А это значит, что ghg 1 2 H1 \ H2 \ : : : \ Hk. I

Задача 51. Пусть jGj = n; H < G : jHj = n2 : Тогда H C G.

J По теореме Лагранжа, G = x1H [ x2H = Hy1 [ Hy2, причем, один смежный класс это сама подгруппа H, а второй все остальные элементы, то есть G = H [ xH = H [ Hy. Значит левое

разложение совпадает с правым разложением.

Пусть h 2 H; g 2 G: Так как классы Hg; gH имеют общий элемент g, то они совпадают. Поэтому

9~ 2 ~ , 1 ~

h H : gh = hg ghg = h: I

 

Определение. Подгруппа H < G : jHj =

jGk j

называется подгруппой индекса k.

 

Задача 52. Найти все нормальные подгруппы S3.

J jS3j = 3! = 6

 

 

 

 

 

 

H1 = feg

 

 

 

 

 

 

H2 = fe; (12)g

 

 

 

 

 

 

H3 = fe; (13)g

 

 

 

 

 

 

H4

= fe; (23)g

2

= (132)g = h(123)i3

 

H5

= fe; (123); (123)

 

 

H6

= fe; (12); (13); (123); (132)g

jS3j

 

 

 

H5

 

 

6

 

подгруппа индекса 2, следовательно, она нор-

= h(123)i3 ) jH5j = 3 = 2 =

2 , òî åñòü H5

 

мальна. И только она. I

Задача 53. Пусть f : G ! F гомоморфизм.Тогда Ker f C G:

J Нам уже известно, что Ker f < G.

Пусть h 2 Ker f; g 2 G. Тогда f(ghg 1) = f(g)f(h)f(g 1) = f(g)ef(g) 1 = e. Значит, ghg 1 2 Ker f.

I

Задача 54. Пусть : G ! F: Привести пример, когда Im не является нормальной подгруппой

F .

Задача 55. Пусть H1 C G; H2 C G: Тогда H1 H2 C G.

J Пусть h1 2 H1; h2 2 H2; g 2 G: Тогда gh1g 1 2 H1; gh2g 1 2 H2. H1H2 = fh1h2 j h1 2 H1; h2 2 H2g.

20 Глава 3. Факторизация и изоморфизмы

g(h1h2)g 1 = (gh1g 1) (gh2g 1) 2 H1H2: I

 

 

 

 

|

 

 

{z

C

 

}|

 

{z

 

} )

 

 

 

 

 

 

 

 

 

 

 

 

 

2H1

 

 

2H2

 

 

 

 

 

 

 

 

Задача 56. H1

G; H2 < G

H1

 

H2 < G:

 

J Пусть h1; h3 2 H1; h2; h4 2 H2; g 2 G.

 

 

 

 

 

 

H C G , gh1g 1 = h~1 2 H1

 

 

 

 

 

1

) h2h4

2 H1H2. I

Тогда (h1h2) (h3h4) = h1h2h3h4 = h1 (h2h3h2

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

|{z}

 

|

{z

 

}|

{z

 

}

 

 

 

 

 

 

|

 

{z

 

 

}

 

 

H1H2 H1H2

 

 

 

 

 

 

 

 

 

H1

 

2H2