Direct product of Q8 and S3

Definition
This group is defined as an external direct product of the following two groups: defining ingredient::quaternion group and defining ingredient::symmetric group:S3.