Direct product of D16 and Z4

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