Gruppenhomomorphismus/Urbild eines Normalteilers/Ist Normalteiler/Aufgabe/Lösung

Wir setzen

${}M:=\varphi ^{-1}(N)\,.$

Es sei ${}x\in G$ und ${}y\in M$. Wir müssen zeigen, dass ${}xyx^{-1}$ ebenfalls zu ${}M$ gehört. Es ist

${}\varphi (xyx^{-1})=\varphi (x)\varphi (y)(\varphi (x))^{-1}\,.$

Wegen ${}\varphi (y)\in N$ und da ${}N$ ein Normalteiler ist, gehört dies zu ${}N$. Also ist ${}xyx^{-1}\in \varphi ^{-1}(N)=M$.

Zur gelösten Aufgabe