An der Aufgabe werkel ich auch rum.
Ich habe für Paare (a, b) , (c, d) , (e, f) folgendes gerechnet
( (a, b) * (c, d) ) * (e, f) und
(a, b) * ( (c, d) * (e, f) )
Beide Ergebnisse unterscheiden sich um ein + bzw. -
Ich würde jetzt meinen, das es nicht kommutativ ist und keine Gruppe bildet, aber ich hab keine Ahnung wie sich a ungleich 0 bzw. b ungleich 0 aus den gegebenen Mengen auswirken.