Normal Subgroups

Definition (Normal Subgroup)

We say that a subgroup $N$ of a group $G$ is normal if $aN=Na$ for every $a\in G$.