Изменения
Определена функция T
Пусть <tex>\circ</tex> - композиция двух перестановок.
Рассмотрим множество <tex>K = \{f_g : g \in G\}</tex>. По доказанному выше, оно является подгруппой симметрической группы. Осталось доказать, что <tex>G</tex> и <tex>K</tex> изоморфны. Для этого рассмотрим функцию <tex>T : G \rightarrow K,\, T(x) = f_x</tex>. Заметим, что
*<tex>T(g)\circ T(h) = T(g*h)</tex>.
*Сюрьективность <tex>T</tex> очевидна из определения <tex>K</tex>.
}}
