Es sei M {\displaystyle {}M} ein endliches Monoid. Es gelte die folgende „Kürzungsregel“: aus a x = a y {\displaystyle {}ax=ay} folgt x = y {\displaystyle {}x=y} . Zeige, dass M {\displaystyle {}M} eine Gruppe
