Alternating group:A7

Definition
This group is defined as the member of family::alternating group of degree $$7$$, i.e., the alternating group on a set of size $$7$$. In other words, it is the subgroup of symmetric group:S7 comprising the even permutations.