Menge und Teilmenge/Permutation/Untergruppe/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Offenbar ist die Abbildung wohldefiniert. Sie ist injektiv, da aus sofort folgt, dass ist. Die Abbildung liefert eine Bijektion zwischen und der Menge der Permutationen auf , die fest lassen. Diese Permutationen bilden eine Untergruppe.