Gruppenoperation/Untergruppe/Quotienten/Aufgabe

Es sei ${}G$ eine Gruppe, die auf einer Menge ${}M$ operiere, und es sei ${}H\subseteq G$ eine Untergruppe. Zeige, dass es eine kanonische surjektive Abbildung

$M/H\longrightarrow M/G$

zwischen den Bahnenräumen gibt.

Eine Lösung erstellen