Direct product of Q32 and Z2

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