Gruppentheorie/Nebenklassen/Eigenschaften/Fakt/Beweis

Beweis

Die Äquivalenz von ${}(1)$ und ${}(3)$ (und die von ${}(2)$ und ${}(4)$) folgt aus Multiplikation mit ${}y^{-1}$ bzw. mit ${}y$. Die Äquivalenz von ${}(3)$ und ${}(4)$ folgt durch Übergang zum Inversen. Aus ${}(1)$ folgt ${}(5)$ wegen ${}1\in H$. Wenn ${}(5)$ erfüllt ist, so bedeutet das ${}xh_{1}=yh_{2}$ mit gewissen ${}h_{1},h_{2}\in H$. Damit ist ${}x=yh_{2}h_{1}^{-1}$ und ${}(1)$ ist erfüllt. (4) und (6) sind nach Definition äquivalent. Da die Linksnebenklassen die Äquivalenzklassen sind, ergibt sich die Äquivalenz von (5) und (7).

Zur bewiesenen Aussage