Direct product of A4 and Z4 and Z2

Definition
This group is defined in the following equivalent ways:


 * 1) It is the defining ingredient::external direct product of defining ingredient::alternating group:A4, defining ingredient::cyclic group:Z4, and defining ingredient::cyclic group:Z2.
 * 2) It is the external direct product of alternating group:A4 and defining ingredient::direct product of Z4 and Z2.
 * 3) It is the external direct product of cyclic group:Z4 and defining ingredient::direct product of A4 and Z2.
 * 4) It is the external direct product of cyclic group:Z2 and defining ingredient::direct product of A4 and Z4.