Die Operation berechnet den grössten gemeinsamen Teiler der beiden Zahlen a und b . Es ist zu beweisen resp. zu widerlegen, dass die Operation mit Zahlen aus der Menge eine Abel’sche Gruppe bildet.

Keine Abel’sche Gruppe, weil kein eindeutiges neutrales Element existiert.