§3. Класи суміжності. Теорема Лагранжа.

Нормальні
підгрупи. Фактор-група.
Мета: засвоїти поняття класів суміжності та поняття нормальної
підгрупи, фактор-групи. Навчитись будувати класи суміжності та
фактор-множини по підгрупі, використовувати теорему Лагранжа
для аналізу структури групи. засвоїти Навчитись визначати
нормальні підгрупи та будувати фактор-групи.

Необхідні теоретичні відомості:

Нехай G – група, H  G , a  G . Лівостороннім суміжним
класом групи G за підгрупою H із представником a будемо
називати множину елементів
aH  {ah1 , ah2 ,... | h1 , h2 ,...  H } .
Правостороннім суміжним класом групи G за підгрупою H із
представником a будемо називати множину елементів
Ha  {h1a, h2 a,... | h1 , h2 ,...  H } .
Нехай G – група, H  G , a  G .
Властивості суміжних класів:
1. Якщо a  H , то aH  H .
2. Суміжний клас aH групи G є підгрупою цієї групи тоді і
лише тоді, коли a  H .
3. Нехай G – група, H  G , a  G . Тоді | aH || Ha || H | .
4. Будь-який елемент суміжного класу можна взяти за його
представник: якщо b  aH , то bH  aH .
5. Будь-які два суміжні класи aH і bH або співпадають, або
не мають спільних елементів.
6. Об‘єднання всіх різних суміжних класів групи G за
підгрупою H співпадає з групою G :  ai H  G .
iI

Теорема (Лагранжа). Порядок | H | підгрупи H скінченної

групи G є дільником порядку | G | цієї групи.
Означення 1. Підгрупа H групи G називається нормальною
підгрупою або нормальним дільником групи G , якщо для будь-
якого елемента x із G лівосторонній суміжний клас xH співпадає з
правостороннім суміжним класом Hx : xH = Hx . Позначається H  G .
Теорема 1. Нехай G група, H  G , x  H . Тоді x 1 Hx  G .
 Означення 2. Нехай G група, H  G , x  G . Підгрупа x 1 Hx групи
G називається спряженою з підгрупою H за допомогою елемента
x.
Означення 3. Підгрупа H групи G називається нормальною
підгрупою групи G , якщо вона співпадає з усіма своїми
спряженими підгрупами, тобто якщо H  x 1 Hx для всіх x із G .
Означення 4. Нехай a  G . Тоді елемент x 1ax називається
спряженим до елемента a за допомогою елемента x  G .
Означення 5. Підгрупа H групи G називається нормальною
підгрупою групи G , якщо H разом із кожним своїм елементом h
містить всі до нього спряжені елементи x 1hx , де x  G .
Означення 1, 3, і 5 є еквівалентними.
Означення 6. Індексом групи G за підгрупою H є число різних
суміжних класів групи G за підгрупою H . Позначається | G : H | .
Теорема 2*. Якщо H – підгрупа групи G індексу 2, то H  G .
Теорема 3. Перетин довільного числа нормальних підгруп групи
G є нормальною підгрупою цієї групи.
Нехай G група, H  G . Тоді xH = Hx для будь-якого x  G .
Введемо позначення: x  xH = Hx . Через G / H або G позначимо
множину всіх різних суміжних класів групи G за підгрупою H :
G  G / H  { x, y , z ,...} .
Теорема 4. Нехай G , – група, H  G . Тоді G, також є
групою. Її називають фактор-групою групи G за нормальною
підгрупою H .

Аудиторна робота.
Приклад 3.1.. Знайти суміжні класи групи цілих чисел Ζ, за
підгрупою 5Z всіх цілих чисел, кратних 5, побудувати фактор-
множину Z / 5Z . Чи буде підгрупа 5Z нормальною?
Розв’язання. Підгрупа 5Z складається з елементів
 ,  10,  5, 0, 5, 10, 15,  . Побудуємо клас суміжності 1  5Z ,
додаючи до кожного елементу 5Z число 1:
1  5Z  ,  9,  4, 1, 6, 11, 16,   1 .
Аналогічно
2  5Z  ,  8,  3, 2, 7, 12, 17,   2 ,
3  5Z  ,  7,  2, 3, 8, 13, 18,   3 ,
 4  5Z  ,  6,  1, 4, 9, 14, 19,   4 ,
5  5Z   ,  5, 0, 5, 10 , 15, 20 ,   5Z – це також випливає із
властивості 1 суміжних класів. Позначимо 5Z  0 .
6  5Z  ,  4, 1, 6, 11, 16, 21,   1  5Z  1 – це також
випливає із властивості 4 суміжних класів. і т.д.
Отже, різних класів суміжності п’ять і вони складають шукану
фактор-множину

Z / 5Z  5Z, 1  5Z, 2  5Z, 3  5Z, 4  5Z  0 , 1 , 2 , 3 , 4 . 
Підгрупа 5Z є нормальною за означенням 1, бо для будь-якого
цілого числа k із Z лівосторонній суміжний клас k  5Z співпадає
з правостороннім суміжним класом 5Z  k за рахунок
комутативності додавання в множині цілих чисел.
Приклад 3.2. Побудувати фактор-групу K/H
мультиплікативної групи K коренів 15-го степеня з одиниці за її
підгрупою коренів 5-го степеня з одиниці. Скласти таблицю Келі
для K / H .
Розв’язання. Нехай K  1  {1, 1 , 12 ,..., 14
1 }, де
2 2
1  cos  i sin . Тоді | 13 | 5 . Отже, | 13 | 5 і
15 15
H  1  {1 , 1 , 19 , 12
3 3 6
1 ,1} .

Нехай 1k – довільний елемент із K 0  k  14  . Тоді 1k  1k 13 –

довільний суміжний клас із K / H . Поділимо з остачею k на 3 і
отримаємо: k  3q  r , де r  0,1,2 . Звідси
1k  1k  13  13q  r 13  13q  1r  13  1r  13q  13  1r  13  1r ,
де r  0,1,2 . Таким чином, K / H  { 1 , 1 , 12 } . Складемо таблицю
Келі K / H :

1  1 12
1 1 1  12
1 1 12 1
12  12 1 1

Вправа 3.3. Знайти розклад циклічної групи порядку 8 за її

підгрупою порядку 2.
 Вправа 3.4. Знайти розклад нескінченної циклічної групи з
твірним елементом a за підгрупою з твірним елементом a 5 .
Вправа 3.5. Побудувати фактор-групу Z / 4Z адитивної групи
цілих чисел за її підгрупою 4Z цілих чисел, які діляться на 4.
Скласти таблицю Келі для Z / 4Z .
Вправа 3.6. Знайти фактор-групу адитивної групи цілих чисел,
що діляться на 5 за підгрупою чисел, які діляться на 15.
Вправа 3.7. Знайти фактор-групу адитивної групи цілих чисел,
що діляться на 2, за підгрупою чисел, які діляться на 6.
Вправа 3.8. Знайти фактор-групу (12Z / 72Z,) .
Приклад 3.9. Знайти лівосторонній і правосторонній суміжні
класи групи S3 за підгрупою H  a1 із представником a2 , якщо
1 2 3   1 2 3
a1    , a2    . Порівняйте ці класи.
 1 3 2   2 3 1 
Розв’язання. Підгрупа H складається з елементів
1 2 3 
a1 , a12      . Побудуємо лівий клас суміжності
1 2 3 
  1 2 3 
a 2 H  a 2   a 2 , a 2 a1     . Аналогічно правий клас
  3 2 1 
  1 2 3 
суміжності Ha 2  a 2 , a1 a 2   a 2 ,   . Очевидно, що
  2 1 3 
a 2 H  Ha 2 . (Підгрупа H не є нормальною.)
Вправа 3.10. Перевірити, чи є множина
1 2 3 4 5   1 2 3 4 5 
K1   ,  
 1 3 4 2 5  2 3 4 1 5 
суміжним класом групи S5 за деякою її підгрупою.
Вправа 3.10. Які порядки можуть мати підгрупи групи S 4 .
Приклад 3.11. Довести, що A5  S5 , де A5 – підгрупа парних
підстановок в групі S5 .
5!
Розв’язання. Підгрупа парних підстановок A5 має підстановок.
2
Така ж кількість і непарних. Якщо побудувати клас суміжності,
помноживши A5 на парну підстановку, то одержимо A5 (за
властивістю 1). Якщо побудувати клас суміжності, помноживши A5
 5!
на непарну підстановку, то одержимо непарних підстановок,
2
тобто всі непарні підстановки. Це означає, що різних класів
суміжності по підгрупі A5 всього 2 і S 5 : A5  2 . За теоремою 2*,
A5  S5 .

Самостійна робота.
Задача 3.1. Знайти фактор-групу (суміжні класи та таблицю Келі
додавання цих класів):
а) Z 4Z ; б) 5Z 35Z ; в) 3Z .
24 Z
Задача 3.2. Знайти розклад циклічної групи порядку 18 за її
підгрупою порядку 3.
Задача 3.3. Знайти розклад нескінченної циклічної групи з
твірним елементом a за підгрупою з твірним елементом a 7 .
Задача 3.4.. Знайти лівий і правий розклади групи кватерніонів
за підгрупою {1,1} . (Множина K  {1,1, i ,i , j , j , k , k } з заданою
операцією * утворює групу, яку називають групою кватерніонів (K ,*) ).

* 1 –1 i –i j –j k –k
1 1 –1 i –i j –j k –k
–1 –1 1 –i i –j j –k k
i i –i –1 1 k –k –j j
–i –i i 1 –1 – k k j –j
j j – j –k k –1 1 –i i
–j –j j k –k 1 –1 i –i
k k –k j – j –i i –1 1
–k –k k –j j i –i 1 –1

Задача 3.5. Перевірити, чи є множина

 1 2 3 4 5   1 2 3 4 5   1 2 3 4 5 
K 2   ,  ,  
  2 1 3 4 5   2 3 1 4 5   2 3 4 1 5 
суміжним класом групи S5 за деякою її підгрупою.
Задача 3.6. Знайти всі підгрупи в S3 . Які вони мають порядки?
Скільки їх?
Задача 3.7. Покажіть, що в скінченній групі кожен елемент має
скінченний порядок.
 Задача 3.8. Деякий суміжний клас групи G за підгрупою H
складається лише з одного елемента. Якою є підгрупа H ?
Задача 3.9.* Довести, що An  Sn , n  N , де An – підгрупа парних
підстановок в групі S n .