spezielle Untergruppe der symmetrischen Gruppe S(M) auf einer Menge M.

Für eine Permutation π einer endlichen Menge M heißt die Gruppe \(G(\pi)\subseteq S(M),\) bestehend aus allen Permutationen, welche die Blöcke von π festlassen, der π-Stabilisator.