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