Kommutatives Monoid/Verträgliche Äquivalenzrelation/Monoidstruktur/Aufgabe

Es sei ${}\sim$ eine mit der Verknüpfung verträgliche Äquivalenzrelation auf einem kommutativen Monoid. Zeige, dass es auf der Quotientenmenge ${}M/\sim$ eine eindeutig bestimmte Verknüpfung derart gibt, dass die kanonische Projektion ${}M\rightarrow M/\sim$ ein Monoidhomomorphismus ist.

Eine Lösung erstellen