近世代数中的一个问题:全体整数的集合对于普通减法来说是不是一个群?