Лекція 10.

Групи та їх морфізми

План
1. Огляд деяких теоретико-групових понять та прикладів груп
2. Теорема Келлі
3. Прямий добуток груп
4. Теореми про гомоморфізми груп та підгруп
5. Комутант
6. Розв'язні групи

1. Огляд деяких теоретико-групових понять та прикладів груп

Нагадаємо, що групою називають множину G з асоціативною

алгебраїчною операцією, якщо для цієї операції існує нейтральний елемент e
і для кожного елемента існує обернений . Якщо групова операція
на множині G комутативна, то G називають абельовою (комутативною)
групою.
Означення 1. Відображення називають гомоморфізмом
груп , якщо для довільних . Бієктивний
гомоморфізм називають ізоморфізмом.
Означення 2. Відображення , для якого є
гомоморфізмом груп, називають канонічним гомоморфізмом.
Нехай — гомоморфізм груп. Тоді його образ
є підгрупою групи , ядрo Ker
(тут e — нейтральний елемент групи ) є нормальною під-
групою групи . 3 іншого боку, кожна нормальна підгрупа H групи G є
ядром канонічного гомоморфізму . Тому нормальні підгрупи можна
характеризувати, як ядра гомоморфізмів груп.
Групи поділяють на скінченні та нескінченні, абельові та не абельові.
Важливим класом груп є скінченно породжені абельові групи.
Завершимо цей пункт оглядом ще деяких прикладів груп.
1). Множини nZ, Z, Q, R, C — це нескінченні абельові групи
відносно звичайної операції додавання чисел.
2) Множини Q\{0}, R\{0}, C\{0} ненульових раціональних, дійсних і
комплексних чисел є комутативними групами відносно звичайного мно-
ження. Ці групи позначають Q*, R*, C* відповідно.
3) Для числової множини нехай означає множину
додатних елементів в А. Якщо А — яка-небудь підгрупа групи R*, то теж
підгруп групи R*.
 4) — група відносно множення
комплексних чисел.
5) Множина підстановок п елементів і, більш загально, множина
AutA всіх біективних відображень множини А в себе є групами відносно
множення відображень. Ці групи некомутативні, якщо множина А має
більше, ніж 2 елементи.
6) Множина — невироджених матриць n-го порядку з еле-
ментами з поля Р, множина — ортогональних матриць, —
унітарних матриць, є
групами відносно множення матриць. Групи та називають,
відповідно, повною лінійною групою та спеціальною лінійною групою над
полем Р.
7) У прикладах 1), 2), 4) кожна з груп, у наведених там ланцюжках є
підгрупою кожної наступної групи. У прикладі 6 група є нормальною
підгрупою групи , Оскільки вона є ядром гомоморфізму
.

2. Теорема Келлі
Відомо, що множина AutA всіх бієктивних відображень множини А в
себе є групою відносно операції добутку відображень. Виявляється, що
підгрупами груп AutA вичерпуються всі групи, тобто має місце теорема.

Теорема 1. Нехай G — будь-яка група. Тоді G ізоморфна деякій

підгрупі групи AutG.
Наслідок 1. Кожна, скінченна група, з n елементів ізоморфна підгрупі
групи .
Для позначення того факту, що групи ізоморфні, пишемо
.

3. Прямий добуток груп

Нехай — дві групи. Розглянемо декартовий добуток

. Введемо на множині алгебраїчну
операцію покомпонентного множення:
— добуток елементів групи . Легко пересвідчитися в тому,
що відносно цієї операції є групою. Пропонуємо зробити це
самостійно. Цю групу називають зовнішнім прямим добутком груп
Виділимо в групі дві підмножини:
, відповідно, нейтральні елементи груп
.
Твердження 1. a ) A і B є нормальними підгрупами групи G =
;
б) — нейтральний елеменm групи G;
в) .
 в) Нехай Тоді □
За допомогою операції прямого добутку груп з даних груп можна
будувати нові групи. Але більш важливою є обернена задача: у даній групі G
знайти такі підгрупи A і В, щоб група G була ізоморфна (зовнішньому)
прямому добутку груп, ізоморфних групам A і В. У цьому випадку вивчення
групи G зводиться до вивчення, як правило, більш простих груп A і В.
Зауважимо, що у випадку абельових груп прямі добутки скінченного числа
груп називають прямими сумами. Доведено, що кожна скінченно породжена
абельова група ізоморфна прямій сумі циклічних груп.
Означення 3. Група G є внутрішнім прямим добутком двох своїх під-
груп A і В, якщо ці підгрупи мають такі властивості:
1) ;
2) i ;
3) — нейтральний елемент групи G.

Приклади.

1) Розглянемо в циклічній групі Z/6Z підгрупи

Оскільки . Крім цього, ,
друга умова з попереднього означення виконується автоматично. Отже, Z/6Z
є (внутрішньою) прямою сумою підгруп A і В.
2) Група Z/8Z не розкладається в пряму суму своїх нетривіальних
підгруп. Справді, всі її нетривіальні підгрупи такі: Вони
мають перетин .
3) Група С* розкладається у прямий добуток своїх підгруп

4) Група не розкладається в прямий добуток нетривіальних під-

груп, бо єдиною нормальною підгрупою в є груп а , що складається з
парних підстановок.

Наступне твердження показує, що з точністю до ізоморфізму поняття

внутрішнього і зовнішнього прямого добутку співпадають.
Теорема 2. Якщо група G розкладається у внутрішній прямий добу-
ток своїх підгруп А і В, то:
а) для кожного і кожного ;
б) G ізоморфна зовнішньому прямому добутку .

4. Теореми про гомоморфізми груп та підгруп

Нехай — гомоморфізм груп. Ми вже знаемо, що Im є

підгрупою групи , Ker — нормальна підгрупа групи . Ці факти є
частковими випадками наступного твердження.
Твердження 2. Гомоморфізми груп мають такі властивості:
1) образи підгруп Н групи є підгрупами групи ;
 2) прообрази підгруп групи є підгрупами групи ;
3) прообрази нормальних підгруп групи є нормальними підгрупа-
ми групи ;
4) якщо гомоморфізм сюр’єктивний, то образ
нормальної підгрупи Н групи є нормальною підгрупою групи .
Наслідок 1. Нехай H — нормальна підгрупа групи G, G/H —
канонічний гомоморфізм, гомоморфізм визначає бієктивну відповідність
між підгрупами А групи G з властивістю та підгрупами фактор-груп
G/H, причому нормальним підгрупам групи G відповідають нормальні
підгрупи фактор-групи G/H і навпаки.
Зауваження. Якщо гомоморфізм не сюр’єктивний, то
образ нормальної підгрупи не обов’язково є нормальною підгрупою,
наприклад:

для . Тоді де не є нормальною підгрупою в .

Наприклад,

Теорема 3. Кожний гомоморфізм груп визначає ізомор-

фізм ¯а а ¯а — суміжний клас
групи з представником а за нормальною підгрупою .
Ця теорема суттєво використовується у доведенні інших теорем про
гомоморфізми, тому її називають основною.

5. Комутант

Нагадаємо, що два елементи і групи G називаються

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

Означення 4. Елемент називають комутатором елементів

і . Комутантом K (G) групи G називається множина всіляких добутків
скінченної кількості комутаторів групи G.
Легко довести, що комутант є нормальною підгрупою групи G. Крім
того, комутант співпадає з одиничною підгрупою {e} тоді і тільки тоді, коли
група комутативна.
Задача 1. Знайти комутант в групах: а) симетрій трикутника, б)
симетрій квадрата.
Довести, що комутант в групі симетрій правильного n-кутника ізоморфний
групі при n непарному і групі при парному.
Важливі наступні 3 властивості комутанта, які знадобляться нам в
подальшому:
1) факторгрупа довільної групи G по її комутантах комутативна.
2) нехай N-нормальна підгрупа групи G і факторгруппа G / N комутативна. Довести,
що N містить комутант групи G.
3) нехай N - нормальна підгрупа групи G і K (N) - комутант групи N.
Довести, що K (N) є нормальною підгрупою в G.

6. Розв'язні групи

Існує важливий клас груп, близьких до комутативних, - так звані

розв'язні групи. Розв’язними вони називаються тому, що можливість
вирішити алгебраїчне рівняння в радикалах, залежить від можливості
розв'язання деякої групи.
Нехай - деяка група і - її комутант. Комутант сам є
групою, і в ньому також можна розглянути комутант . В отриманій
групі знову можна розглянути комутант і т. д. Будемо для стислості
позначати групу , яка визначається рівностями
,…, .
Означення 5. Група називається розв'язною, якщо ланцюжок груп
, , ,. . . закінчується при деякому скінченному одиничною
групою, тобто при деякому отримуємо .
Наприклад, будь-яка комутативна група розв'язна, оскільки для
комутативної групи вже на першому кроці отримуємо . Також
група розв'язна, якщо її комутант комутативний, оскільки тоді
.
Лема 1. Нехай група розв'язна. Тоді існує ланцюжок груп , ,. . . ,
такий, що: 1) ; 2) кожна група ( ) є нормальною
підгрупою в групі , і всі факторгрупи комутативні; 3) група
комутативна.
Вірне і зворотне твердження.
Лема 2. Нехай для групи існує ланцюжок груп, для якого
виконуються умови 1)-3). Тоді група розв'язна.
Ці результати показують, що існування для групи G ланцюжка груп
такого, що виконуються умови 1)-3) рівносильно поняттю розв'язності і ці
умови можуть бути взяті за основу в еквівалентному означенні розв'язності
групи.
Ще одне еквівалентне означення розв'язності можна сформулювати
так:
Означення 6. Група G називається розв'язною, якщо для неї існує
ланцюжок груп , ,. . . , такий, що: 1) ; 2) кожна група
( ) містить деяку комутативну нормальну підгрупу таку, що
; 3) група комутативна.