General theory for infinite groups Permutation groups mathematics