Verknüpfung/Surjektive Abbildung/Übertragung der Assoziativität/Aufgabe

Es seien ${}(M,*)$ und ${}(N,\circ )$ Mengen mit Verknüpfungen und es sei

$\varphi \colon M\longrightarrow N$

eine mit den Verknüpfungen verträgliche surjektive Abbildung, es gelte also

${}\varphi (x*y)=\varphi (x)\circ \varphi (y)\,.$

Die Verknüpfung auf ${}M$ sei assoziativ. Zeige, dass auch die Verknüpfung auf ${}N$ assoziativ ist.

Zur Lösung, Alternative Lösung erstellen