Because the order of additions does not matter (in other words, formula_1), associativity rule is also true. And the inverse of any integer is its opposite number (the inverse element of zero is zero). This group is also an abelian group. It is an infinite group (also called a group of "infinite order") because it has an infinite number of elements: all the integers.
b ɪ k ʌ z WORD_BOUNDARY ð ɪ WORD_BOUNDARY ɔ ɹ d ə ɹ ɹ WORD_BOUNDARY ʌ v WORD_BOUNDARY ʌ d ɪ ʃ ə n z WORD_BOUNDARY d ʌ z n ɑ t WORD_BOUNDARY m æ t ə ɹ WORD_BOUNDARY ɪ n WORD_BOUNDARY ʌ ð ə ɹ WORD_BOUNDARY w ɜː d z WORD_BOUNDARY f ɔ ɹ m j ʊ l ə WORD_BOUNDARY w ʌ n WORD_BOUNDARY ʌ s oʊ s ɪ ʌ t ɪ v ɪ t i WORD_BOUNDARY ɹ uː l WORD_BOUNDARY ɪ z WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY t ɹ uː WORD_BOUNDARY æ n d WORD_BOUNDARY ð ɪ WORD_BOUNDARY ɪ n v ɜː s WORD_BOUNDARY ʌ v WORD_BOUNDARY ɛ n i WORD_BOUNDARY ɪ n t ɪ d̠ʒ ə ɹ ɹ WORD_BOUNDARY ɪ z WORD_BOUNDARY ɪ t s WORD_BOUNDARY ɑ p ə z ɪ t WORD_BOUNDARY n ʌ m b ə ɹ WORD_BOUNDARY ð ɪ WORD_BOUNDARY ɪ n v ɜː s WORD_BOUNDARY ɛ l ɪ m ə n t WORD_BOUNDARY ʌ v WORD_BOUNDARY z iə ɹ oʊ WORD_BOUNDARY ɪ z WORD_BOUNDARY z iə ɹ oʊ WORD_BOUNDARY ð ɪ s WORD_BOUNDARY ɡ ɹ uː p WORD_BOUNDARY ɪ z WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY ʌ n WORD_BOUNDARY eɪ b ə l iə n WORD_BOUNDARY ɡ ɹ uː p WORD_BOUNDARY ɪ t WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ n WORD_BOUNDARY ɪ n f ɪ n ə t WORD_BOUNDARY ɡ ɹ uː p WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY k ɔ l d WORD_BOUNDARY ʌ WORD_BOUNDARY ɡ ɹ uː p WORD_BOUNDARY ʌ v WORD_BOUNDARY ɪ n f ɪ n ə t WORD_BOUNDARY ɔ ɹ d ə ɹ WORD_BOUNDARY b ɪ k ʌ z WORD_BOUNDARY ɪ t WORD_BOUNDARY h ʌ z WORD_BOUNDARY ʌ n WORD_BOUNDARY ɪ n f ɪ n ə t WORD_BOUNDARY n ʌ m b ə ɹ ɹ WORD_BOUNDARY ʌ v WORD_BOUNDARY ɛ l ɪ m ə n t s WORD_BOUNDARY ɔ l WORD_BOUNDARY ð ɪ WORD_BOUNDARY ɪ n t ɪ d̠ʒ ə ɹ z WORD_BOUNDARY