Ved å gi en abstrakt formulering av gruppeaksiomene som er uavhengig av konkrete grupper og deres operasjoner, kan en på en fleksibel måte behandle objekter med svært ulikt matematisk opphav. Dette kan gjøres samtidig som man beholder deres vesentlige strukturelle egenskaper. Studiet av grupper kalles gruppeteori.