Image from using the AbstractAlgebra package

Illustration why normality is needed to form a quotient group.