Characterization theorems for permutation groups Permutation groups mathematics