Изменения

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

* {{Утверждение|statement=Подгруппа <tex>H</tex> группы <tex>G</tex> нормальна тогда и только тогда, когда для любых <tex>x \in G</tex> выполнено <tex>xHx^{-1}=H</tex>.|proof=<tex>xHx^{-1} \subset H</tex> по определению <tex>H</tex>. Подставив в предыдущее выражение <tex>x^{-1}</tex> вместо <tex>x</tex>, видим, что <tex>x^{-1}Hx \subset H</tex>. Следовательно, <tex>H = x(x^{-1}Hx)x^{-1} \subset xHx^{-1}</tex>. Итого, <tex>xHx^{-1}=H</tex>. В другую сторону — прямо из определения.}}{{Утверждение|statement=Любая подгруппа [[Абелева группа|абелевой группы]] {{---}} нормальна.|proof=<tex>x n x^{-1} = x x^{-1} n = en = n</tex>.}}