Direct product of S4 and Z3

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