任给a,b,c∈Z，a+b∈Z且唯一，(a+b)+c=a+(b+c)即加法满足结合律a+b=b+a加法运算满足交换律单位元是0，因为a+0=0+a=aa的负元是-a因为a+(-a)=(-a)+a=0所以(Z，+)是一个交换群
