在整数集Z上定义二元运算构成交换群。