Direct product of M16 and Z4

Definition
This group is defined as the defining ingredient::external direct product of the group defining ingredient::M16 (which is a semidirect product of cyclic group:Z8 and cyclic group:Z2 acting via the multiplication by five map) and defining ingredient::cyclic group:Z4.