Symmetric group:S12

Definition
This group is defined as the symmetric group of degree 12, i.e., the symmetric group on a finite set of cardinality 12.