a) oricare ar fi x,y,z=>(x•y)•z=x•(y•z)
(x•y)•z=x+y+3+z+3=x+y+z+6
x•(y•z)=x+y+z+3+3=x+y+z+6
Rezulta asociativa.
Oricare ar fi x apartine Z=>exista un "e" astfel incat x•e=e•x=x
x•e=x+e+3=x
e=3
Oricare ar fi x apartine Z=> exista un x' astfel incat x•x'=x'•x=e
x•x'=x+x'+3=3
x'=-x
Din toate astea rezulta ca e grup.
La restul faci la fel...