Definition:Additive Group of Integers

Definition
The additive group of integers $\struct {\Z, +}$ is the set of integers under the operation of addition.

Also see

 * Additive Group of Integers is Countably Infinite Abelian Group

Thus integer addition is:


 * Well-defined on $\Z$
 * Closed on $\Z$
 * Associative on $\Z$
 * Commutative on $\Z$
 * The identity of $\struct {\Z, +}$ is $0$
 * Each element of $\struct {\Z, +}$ has an inverse.