65
правок
Изменения
Нет описания правки
Заметим, что
#Отображение <tex>\varphi </tex> взаимно однозначно.
#Для любых <tex>g_i,g_j\in G</tex> верно<tex>\varphi (g_i \circ g_j) = f_{(g_i \circ g_j)^\prime} = f_{{g}^\prime_i \circ {g}^\prime_j}=f_{{g}^\prime_i}\circ f_{{g}^\prime_j}=\varphi (g_i)\circ \varphi (g_j)</tex>, то есть отображение <tex>\varphi</tex> сохраняет операцию.
Значит, оно является изоморфизмом групп <tex>G</tex> и <tex>K</tex>.
