Image from using the AbstractAlgebra package

Cayley table for Z_4.