Eine nichtleere Menge G von Elementen a, b, c, ... heißt Gruppe, wenn in ihr eine Operation ∘ erklärt ist, die folgenden Axiomen genügt:Die Operation ∘ ist assoziativ,d.h.
In den mathematischen Arbeitsgebieten und in vielen Anwendungsfeldern trifft man auf Größen, die man ähnlich wie Vektoren im Anschauungsraum addieren und mit einem Zahlenfaktor multiplizieren kann.