Normal Subgroup

🅟 Mar 17, 2026

  🅤 Jun 11, 2026

Definition 1.

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

\[\conj_g a \in H.\]

Proposition 1.

All subgroups of an abelian group are normal.