Alternating group:A13

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