Image from using the
AbstractAlgebra
package
Illustration why normality is needed to form a quotient group.