Eine Gruppe über einer Menge S ist ein Monoid über der Menge S, bei dem es für jedes Element ein inverses Element gibt. D.h. für alle X aus S existiert ein Y aus S mit X * Y = U und Y * X = U, wobei U das neutrale Element des Monoids (und damit der Gruppe) ist.