Direct product of Q16 and Z3

Definition
This group is defined as the external direct product of the following two groups: defining ingredient::generalized quaternion group:Q16 and defining ingredient::cyclic group:Z3.