Normal Subgroup

🅟 Mar 17, 2026

  🅤 Mar 17, 2026

DEF-NSG. Normal Subgroup.

Let $G$ be a group and $H$ be a subgroup. $H$ is normal if it is closed under conjugation, i.e. for any $g\in G$ and for all $a\in H$,

\[\conj_g a = gag^{-1} \in H.\]

PROP-NSG-ABEL.

All subgroups of an abelian group are normal.