Inverse element

Ieder element van groep ${\displaystyle G}$ heeft per definitie in ${\displaystyle G}$ een invers element. In een groep ${\displaystyle (G,*)}$ met neutraal element ${\displaystyle e}$ heet het element ${\displaystyle b}$ een invers element van het element ${\displaystyle a}$ als geldt:

${\displaystyle b*a=e=a*b}$

Het inverse element is eenduidig bepaald, want stel dat ${\displaystyle b}$ en ${\displaystyle c}$ beide inverse elementen zijn van ${\displaystyle a}$, dan is:

${\displaystyle c=c*e=c*a*b=e*b=b}$

Het is daarom gebruikelijk het inverse element van ${\displaystyle a}$ aan te duiden als ${\displaystyle a^{-1}}$.

De definitie van een invers element wordt binnen een monoïde op dezelfde manier gegeven. Iedere groep is een monoïde, een monoïde waarin ieder element een invers element heeft. Het is in de definitie van een monoïde niet nodig, dat ieder element een invers element heeft.