Type groups.permutation.<tab> to access examples of groups implemented as permutation groups.
groups.permutation.<tab>
Groups of imaginary elements
Permutation groups
