Изменения

Подгруппа <mathtex>H</mathtex> группы <mathtex>G</mathtex> называется '''нормальной подгруппой''', если для любых <mathtex>x\in G</mathtex> выполнено <mathtex>xHx^{-1}=H</mathtex>. Т.е.:

<mathtex>\forall x\in G,\,\forall h\in H : x\cdot h\cdot x^{-1}\in H</mathtex>