das ist eine endliche Gruppe, also brauchst du nur die Veknüpfungstabelle angeben.
Du brauchst ein neutrales Element.
Sei ohne Beschränkung der Allgemeinheit a
das neutrale Element. Dann gilt
a*a=a
a*b=b
b*a=b
Fehlt noch
b*b=a
(Wenn b*b=b wäre , dann wäre ja b auch neutrales Element)