Csoportműveletek, ábel csoport?

Az első mondatnak nem nagyon van értelme. Azt, hogy Ábel-csoport, úgy bizonyítod, hogy belátod, hogy a művelet asszociatív, azaz (a*b)*c=a*(b*c) minden a, b, c eleme Z-re, egységelemes (a -1 egység), létezik inverz (x inverze -x-2) és kommutatív (ezt jelenti, hogy Ábel), azaz a*b=b*a minden a, b eleme Z-re.