Изменения

Перейти к: навигация, поиск

Теорема Кэли

225 байт добавлено, 01:59, 9 января 2017
Нет описания правки
|proof=
<tex>S_n</tex>(симметрическая группа) {{---}} множество перестановок с <tex>n </tex> элементами с операцией <tex>\circ</tex>.
Пусть <tex>\circ</tex> {{---}} бинарная операция в конечной группе <tex>G=\{g_1, g_2,\ldots,g_n\}</tex>.
==Примеры==
Рассмотрим конечную группу <tex>G= \mathbb Z_3=\{0, 1, 2\}</tex> с операцией <tex>\circ </tex> {{---}} сложения по модулю <tex>3</tex>. Найдём подгруппу <tex>K</tex>, изоморфную группе <tex>\mathbb{Z}_3</tex>, то есть найдём отображение <tex>\mathbb{Z}_3</tex> в <tex>K</tex>.
 
Пусть <tex>\ \varphi :\mathbb{Z}_3\rightarrow K</tex>
<tex> \varphi(g)=\begin{bmatrix} 0 & 1 & 2 \\ f_g(0) & f_g(1) & f_g(2) \end{bmatrix},</tex> где <tex> f_g(x) = g \circ x</tex>.
 
При этом <tex>K\subseteq S_3</tex>, где <tex>S_3</tex> {{---}} группа всех перестановок с <tex>3</tex> элементами с операцией <tex>\circ</tex>.
То есть
<tex> \varphi(2)=\begin{bmatrix} 0 & 1 & 2 \\ 2 & 0 & 1 \end{bmatrix} </tex>
Таким образом, мы нашли подгруппу <tex>K</tex> группы перестановок<tex>S_3</tex>, изоморфную конечной группе <tex>\mathbb{Z}_3</tex>.
==См. также==
65
правок

Навигация