Monoid/Linksneutral und Linksinverses/Aufgabe

Aus Wikiversity

Es 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.