Нормальная подгруппа

Нормальные подгруппы

Определение:

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

Свойства

• Любая подгруппа абелевой группы — нормальна.

Примеры

• Подгруппа [math]H =\{(1)[/math], [math](2[/math] [math]3)\}[/math] группы [math]S_3[/math] группы перестановок множества из трех элементов не является абелевой.