65
правок
Изменения
Нет описания правки
__TOC__
Теорема Кэли позволяет найти для любой конечной группы с определённой бинарной операцией изоморфную ей подгруппу группы всех перестановок.
==Теорема Кэли==
{{
Теорема
|author=Кэли(''Cayley'')
|about=о вложении любой конечной группы в группу перестановок
|statement=
Любая [[Конечная группа| конечная группа ]] <tex>G</tex> порядка <tex>n</tex> изоморфна некоторой подгруппе [[Умножение перестановок, обратная перестановка, группа перестановок|группы перестановок ]] (подгруппе симметрической группегруппы <tex>S_n</tex>).
|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 \in G</tex> и функцию построим соответствующую перестановку <tex>f_g \in S_n: G </tex><tex> f_g=\begin{bmatrix} g_1 & g_2 & \ldots & g_n \\ f_g(g_1) & f_g(g_2) & \ldots & f_g(g_n) \rightarrow Gend{bmatrix}, </tex> где <tex>f_g(x) = g*\circ x</tex>. Так <tex>f_g</tex> {{---}} перестановка, так как # Для любых <tex>a, b\in G</tex> таких, что <tex>a \neq b</tex> верно, что <tex>g \circ a \neq g \circ b</tex> <tex>\Rightarrow f_g</tex> {{- группа--}} инъекция.# Мощность <tex>G</tex> {{---}} конечна <tex>\Rightarrow f_g</tex> {{---}} биективно, и является перестановкой. Пусть <tex>\circ</tex> {{---}} композиция двух перестановок.Если <tex>f_g</tex> {{---}} перестановка, то существует обратный к <tex>f_{g^{-1}}</tex> элемент {{---}} обратная перестановка, где <tex>g^{-1}</tex> {{---}} обратный элемент <tex>g</tex>, тогда так как <tex>(f_{g^{-1}} \circ f_g(x_1) = f_g(x_2x) \Rightarrow x_1 = f_{g^{-1}*}(f_g(x_1x)) = g^{-1}*f_g(x_2) \circ g \circ x = x_2x </tex>.Если <tex>e</tex> {{---}} нейтральный элемент в группе, то есть <tex>f_gf_e</tex> {{- --}} тождественная перестановка.
Значит, оно является изоморфизмом групп <tex>G</tex> и <tex>K</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>K = \{\varphi(g) : g \in \mathbb{Z}_3\}</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(g)=\begin{bmatrix} 0 & 1 & 2 \\ g\circ 0 & g\circ 1 & g\circ 2 \end{bmatrix}</tex>. Тогда находим три перестановки, составляющие группу <tex>K</tex>: <tex> \varphi(0)=\begin{bmatrix} 0 & 1 & 2 \\ 0 & 1 & 2 \end{bmatrix} </tex> <tex> \varphi(1)=\begin{bmatrix} 0 & 1 & 2 \\ 1 & 2 & 0 \end{bmatrix} </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>. ==См. также==* [[Умножение перестановок, обратная перестановка, группа перестановок]]* [[Действие перестановки на набор из элементов, представление в виде циклов]]* [[Таблица инверсий]]* [[Матричное представление перестановок]] ==Источникиинформации==* [http://en.wikipedia.org/wiki/Cayley's_theorem Wikipedia {{---}} Cayley's theorem - Wikipedia, the free encyclopedia] [[Категория: Дискретная математика и алгоритмы]][[Категория: Комбинаторика]][[Категория: Свойства комбинаторных объектов]]