Direct product of A4 and A4

Definition
This group is defined as the defining ingredient::external direct product of defining ingredient::alternating group:A4 and alternating group:A4 (i.e., two copies of the same group). Equivalently, it is the square (in the direct power sense) of alternating group:A4.