Direct product of A5 and Z4

Definition
This group is defined as the defining ingredient::external direct product of defining ingredient::alternating group:A5 and defining ingredient::cyclic group:Z4.