exercise in permutation groups and higher-order permutation groups