Gruppenhomomorphismus/Injektivität und Kern/Fakt/Beweis

Beweis

Wenn ${}\varphi$ injektiv ist, so darf auf jedes Element ${}h\in H$ höchstens ein Element aus ${}G$ gehen. Da ${}e_{G}$ auf ${}e_{H}$ geschickt wird, darf kein weiteres Element auf ${}e_{H}$ gehen, d.h. ${}\ker \varphi =\{e_{G}\}$. Es sei umgekehrt dies der Fall und sei angenommen, dass ${}g,{\tilde {g}}\in G$ beide auf ${}h\in H$ geschickt werden. Dann ist

${}\varphi {\left(g{\tilde {g}}^{-1}\right)}=\varphi (g)\varphi ({\tilde {g}})^{-1}=hh^{-1}=e_{H}\,$

und damit ist ${}g{\tilde {g}}^{-1}\in \ker \varphi$, also ${}g{\tilde {g}}^{-1}=e_{G}$ nach Voraussetzung und damit ${}g={\tilde {g}}$.

Zur bewiesenen Aussage