Direct product of S4 and Z4

Definition
This group is defined as the external direct product of symmetric group:S4 and cyclic group:Z4.