Image from using the
AbstractAlgebra
package
Illustration of a map between groups showing that this acts like a group homomorphism.
