Udowodnić, że każdy skończony monoid, w którym zachodzi jedno z praw skracania jest grupą.
Skoro monoid jest skończony, to istnieją takie
i
, że
. Z prawa skracania wiemy, że skoro
to
. Istnieje więc pewien element odwrotny a jego istnienie jest ostatnim brakującym aksjomatem grupy.
Pokazać, że dla dowolnych
i
zachodzą równości:

Dla nieujemnych
i
wzory są trywialne.
Jeśli
i
, to
i
oraz
.
Jeśli
i
, to 
W przypadku, gdy
i
postępujemy analogicznie.
Równość
wynika z poprzedniej i z definicji potęgi.
Udowodnić, że jeżeli każdy element w grupie jest odwrotny do siebie, to grupa jest przemienna.
Jeżeli grupa
jest przemienna to
. Skoro każdy element jest odwrotny do siebie to
. Zachdzi więc podany ciąg równości (korzystamy z łączności działania):

Wyznaczyć permutacje odwrotne to podanych oraz ich złożenia:
(2)





Pokazać, że podgrupę
permutacji parzystych grupy
moża wygenerować za pomocą cykli długości 3.
Weźmy dowolne
. Po rozkładzie
na transpozycje otrzymamy ich
dla
. Weźmy zrozkładu
dwie dowolne transpozycje
i
. Możemy je zapisać jako cykl 3-elementowy lub złożenie takich cykli. Rozpatrzmy przypadki:
1.
, 
W przypadku identycznych transpozycji, ich złożenie to identyczność
.
2.
, 
W tym przpadku ich złożenie to 
3.
, 
Teraz zachodzi 
Widzimy, że skoro każde dwie dowolne transpozycje możemy przedstawić za pomocą cyklu długości 3, to możemy wygenerować za ich pomocą dowolną złożoną z parzystej liczby transpozycji, a skoro dowolną, to w szczególności każdą z grupy
.