Alternating group:A11

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