Permutationsgruppe/Definition/Begriff