Symmetric group:S7

Definition
This group is a finite group defined as the member of family::symmetric group on a set of size $$7$$. The set is typically taken to be $$\{ 1,2,3,4,5,6,7 \}$$.

In particular, it is a member of family::symmetric group on finite set as well as a member of family::symmetric group of prime degree.