Definition
Die symmetrische Gruppe S_n ist die Permutationsgruppe, die aus allen Bijektionen einer n-elementigen Menge besteht, hat die Ordnung n! und die Operation Komposition; sie ist die vollständige Automorphismengruppe einer diskreten n-Punkte-Menge.