Gruppentheorie/Gruppe/Definition

Gruppe

Ein Monoid ${}(G,e,\circ )$ heißt Gruppe, wenn jedes Element ein inverses Element besitzt, d.h. wenn es zu jedem ${}x\in G$ ein ${}y\in G$ mit ${}x\circ y=e=y\circ x$ gibt.