Изменения

Рассмотрим множество <tex>K</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>x \in G \quad(f_g \circ f_h)(x) = f_g(f_h(x)) = f_g(h * x) = g*(h*x) = (g*h)*x = f_{(g*h)}(x)</tex>, а тогда то есть <tex>T(g)\circ T(h) = f_g \circ f_h = f_{(g*h)} = T(g*h)</tex>.