Monoid/Zugehörige Differenzengruppe/Universelle Eigenschaft/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutatives Monoid. Zeige, dass die zugehörige Differenzengruppe eine kommutative Gruppe ist, und dass sie folgende universelle Eigenschaft besitzt: Zu jedem Monoidhomomorphismus

in eine Gruppe gibt es einen eindeutig bestimmten Gruppenhomomorphismus

der fortsetzt.