Eine Gruppe ist eine Menge G zusammen mit einer Binäroperation ∗, die die folgenden Eigenschaften erfüllt:
Gruppeneigenschaften
-
Abgeschlossenheit
∀a,b∈G:a∗b∈G
-
Assoziativität
∀a,b,c∈G:(a∗b)∗c=a∗(b∗c)
-
Identitätselement
Es gibt ein e∈G, sodass ∀a∈G:e∗a=a∗e=a
-
Inverses Element
Zu jedem a∈G gibt es ein b∈G, sodass a∗b=b∗a=e
Beispiel
Die Menge der ganzen Zahlen (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∈Z).