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

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

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

Подгруппа [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]