Một trong những nhóm quen thuộc nhất đó là tập hợp các số nguyên {\displaystyle \mathbb {Z} } chứa các số {\displaystyle ...,-4,-3,-2,-1,0,1,2,3,4,...}[3] cùng với phép cộng

Các tính chất sau đây của phép cộng các số nguyên được coi như mô hình cho các tiên đề nhóm trừu tượng cho theo định nghĩa bên dưới.

1. Với hai số nguyên bất kỳ {\displaystyle a} và {\displaystyle b}, tổng a + b cũng là một số nguyên. Do vậy phép cộng hai số nguyên không bao giờ cho kết quả là một số loại khác, như phân số chẳng hạn. Tính chất này gọi là tiên đề đóng đối với phép cộng.
2. Đối với mọi số nguyên a, b và c, (a + b) + c = a + (b + c). Hay phát biểu bằng lời, thực hiện cộng a với b đầu tiên, sau đó cộng kết quả với c sẽ cho cùng kết quả khi cộng a với tổng của b và c, tính chất này gọi là tính chất kết hợp hay tiên đề kết hợp.
3. Nếu a là một số nguyên bất kỳ, thì 0 + a = a + 0 = a. Số 0 được gọi là phần tử đồng nhất của phép cộng bởi vì khi cộng nó với một số nguyên bất kỳ sẽ thu được cùng số nguyên ấy.
4. Với mọi số nguyên a, tồn tại số nguyên b sao cho a + b = b + a = 0. Số nguyên b được gọi là phần tử nghịch đảo của số nguyên a và được ký hiệu −a.

Các số nguyên cùng với phép toán +, tạo thành một đối tượng toán học thuộc về một lớp rộng có những tính chất cấu trúc toán học giống nhau. Để có thể hiểu được những cấu trúc này như một tập hợp, định nghĩa trừu tượng dưới đây được phát biểu như sau.