Основные обозначения

G/H – фактормножество (факторгруппа) группы G по нормальной подгруппе H

Im f – образ группового или кольцевого гомоморфизма f

Ker f – ядро группового или кольцевого гомоморфизма f

(G₁, )  (G₂, ) или G₁  G₂ – группы (G₁, ) и (G₂, ) изоморфны

Aut(G) – группа всех автоморфизмов группы G