"permutation group" Deutsche bedeutung