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

< Kommutatives Monoid < Verträgliche Äquivalenzrelation < Monoidstruktur

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.