Normal subgroup (source code)

= Normal subgroup
{wiki}

A subgroup $N\le G$ is normal when $gNg^{-1}=N$ for every $g\in G$.