Direct product of SL(2,5) and Z2

Definition
This group is defined as the defining ingredient::external direct product of defining ingredient::special linear group:SL(2,5) and defining ingredient::cyclic group:Z2.