Monoid/Linksneutral und Linksinverses/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine Menge mit einer assoziativen Verknüpfung. Es gebe ein linksneutrales Element (d.h. für alle ) und zu jedem gebe es ein Linksinverses, d.h. ein Element mit . Zeige, dass dann schon eine Gruppe

ist.
Eine Lösung erstellen