Група підстановок

симетрична група

Пропозиція 1. Безліч всіх підстановок порядку

Група підстановок
з операцією множення підстановок утворюють групу
Група підстановок
. Одиничним елементом групи є підстановка
Група підстановок
, зворотного підстановкою для
Група підстановок
є
Група підстановок
. Порядок цієї групи дорівнює
Група підстановок
.

Зауважимо, що при

Група підстановок
2 $ "alt =" $ n> 2 $ "/> група
Група підстановок
НЕ коммутативна.

Приклад 1. Група

Група підстановок
складається з шести елементів:
Група підстановок
,
Група підстановок
,
Група підстановок
,
Група підстановок
,
Група підстановок
,
Група підстановок
. Ця група не коммутативна: твір
Група підстановок
одно
Група підстановок
, що відмінно від
Група підстановок
.

Визначення 1. Група

Група підстановок
називається симетричної групою 1) порядку
Група підстановок
.

Теорема 1. (Теорема Келі) Будь-яка кінцева група порядку

Група підстановок
ізоморфна деякій підгрупі симетричної групи
Група підстановок
.

знакозмінна група

Пропозиція 2. Безліч всіх парних підстановок утворюють підгрупу

Група підстановок
групи
Група підстановок
. порядок групи
Група підстановок
дорівнює
Група підстановок
.

Визначення 2. Група

Група підстановок
всіх парних підстановок називається знакозмінної групою 2) порядку
Група підстановок
.

Приклад 2. Підгрупа

Група підстановок
симетричної групи
Група підстановок
складається з трьох підстановок
Група підстановок
,
Група підстановок
,
Група підстановок
.

література

Схожі статті