Gruppenoperation/Untergruppe/Quotienten/Aufgabe

Aus Wikiversity

Es sei eine Gruppe, die auf einer Menge operiere, und es sei eine Untergruppe. Zeige, dass es eine kanonische surjektive Abbildung

zwischen den Bahnenräumen

gibt.