群的四种性质

1. {Z,+}是否为群？若是，验证其满⾜群定义；若不是，说明理由。
2. {N,+} 是否为群？若是，验证其满⾜群定义；若不是，说明理由。
其中 Z 为整数集， N 为⾃然数集。

群（Group）是一种集合加上一种运算的代数结构。

它需要满足四种性质“凤姐咬你”，也就是“封结幺逆”：

如果把逆定义成-1次方的话，1，2应该都是群