Eine Gruppe ist eine Menge $G$ zusammen mit einer Binäroperation $\ast$, die die folgenden Eigenschaften erfüllt:
Die Menge der ganzen Zahlen $(\mathbb{Z}, +)$ bildet eine Gruppe, da die Addition die Gruppeneigenschaften erfüllt: Sie ist abgeschlossen, assoziativ, hat die Null als Identität und jede Zahl hat ein Inverses (z.B. $-a$ für $a \in \mathbb{Z}$).