展开 整数集对加法构成阿贝尔群