Multiply transitive finite groups Permutation groups mathematics