Symmetric group:S9

Definition
This is defined as the member of family::symmetric group on a set of size $$9$$, which for concreteness we can take as the set $$\{ 1,2,3,4,5,6,7,8,9 \}$$. In other words, it is the group of all permutations on nine elements under composition.

In particular, it is a member of family::symmetric group on a finite set and also a member of family::symmetric group of prime power degree.