Menge und Teilmenge/Permutation/Untergruppe/Fakt/Beweis

Aus Wikiversity
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.

Zur bewiesenen Aussage