Normal Subgroup

A subgroup $N$ of $G$ is normal if

$gN = Ng$

for every $g$ in $G$.

Normal subgroups are exactly the subgroups that can be used to form quotient groups.

Every subgroup of an abelian group is normal.

One-line intuition

A normal subgroup is a subgroup that is compatible with quotienting.