Alternating group:A9

Definition
This group is defined as the defining ingredient::alternating group of degree 9, i.e., the alternating group on a set of size 9. This can be taken as the group on $$\{ 1,2,3,4,5,6,7,8,9 \}$$.