Direct product of A4 and Q8

Definition
This group is defined as the defining ingredient::external direct product of defining ingredient::alternating group:A4 and the defining ingredient::quaternion group of order eight.