Combinatorica`
Combinatorica`
PermutationGroupQ
yields True if the list of permutations 
forms a permutation group.
Details and Options
- To use PermutationGroupQ, you first need to load the Combinatorica Package using Needs["Combinatorica`"].
yields True if the list of permutations forms a permutation group.