Gruppenoperation/Bahnenraum/Invariante Abbildung/Faktorisierung/Fakt/Beweis

Beweis

1. Für ${}x\in M$ und ${}g\in G$ sind ${}x$ und ${}gx$ in der gleichen Äquivalenzklasse, also ist

   ${}q(gx)=[gx]=[x]=g[x]\,.$

2. Das folgt aus Fakt.

Zur bewiesenen Aussage