Подгруппа $H$ группы $G$ называется нормальной, если для любого элемента $a\in G$ выполнено $aH=Ha$ (или $aHa^{-1}=H$). Обозначение: $H \triangleleft G$.