LaTeX/Экспорт в другие форматы

Материал из Викиучебника — открытых книг для открытого мира
Перейти к: навигация, поиск

Используя вновь ассоциативность умножения в G, получаем \\ $L_{ab}(g) = (ab)g = a(bg) = L_a(L_bg)$, т.е. $ L_{ab} = L_aL_b$ \hfill(1)

Итак, множество $L_e, L_{g2} \, ,...,\, L_{gn}$ образует подгруппу, скажем, Н, в группе S(G) всех биективных отображений множества G на себя, т.е. в Sn. Мы имеем включение $H \subset S_n$ и имеем соответствие L : $a \rightarrow L_a \in H$, обладающее по сказанному выше всеми свойствами изоморфизма .

$\blacktriangleright$