Alternating group:A12

Definition
This group is defined as the alternating group of degree 12, i.e., the alternating group on a set of size 12.