Elementu-kopuru finitu baten permutazioen multzoak eta permutazioen arteko konposizioak osatutako taldea. Taldearen eragiketa permutazioen arteko konposizioa da, eta eragiketaren emaitza jatorrizko elementu-kopuruaren permutazio bat da.