Grupper har et fundamentalt slektskap med begrepet symmetri. For eksempel, symmetrigruppen til et geometrisk objekt danner en gruppe. Den består av mengden alle transformasjoner som ikke endrer objektet og operasjonen som kombinerer to slike transformasjoner ved å foreta den ene etter den andre.