La teoria dei gruppi è la branca della matematica che si occupa dello studio dei gruppi. In astratto, e in breve, un gruppo è una struttura algebrica caratterizzata da una operazione binaria associativa, dotata di elemento neutro e per la quale ogni elemento della struttura possiede elemento inverso. Tipico esempio di gruppo è fornito dalle rotazioni di uno spazio vettoriale euclideo S, cioè dall’insieme costituito da tutte le rotazioni di S (trasformazioni che lasciano fissa l’origine di S, mantengono le distanze tra i punti di S e si possono ottenere con movimenti continui). Muniamo l’insieme delle rotazioni di S con l’operazione di composizione delle rotazioni; si osserva che componendo due di queste rotazioni si ottiene un’altra rotazione; inoltre la rotazione identità, cioè la trasformazione che lascia fisso ogni punto di S, svolge il ruolo di elemento neutro per la composizione delle rotazioni. Ovviamente ad ogni rotazione esiste la sua ‘inversa’ che per composizione ripristina la situazione iniziale. Le rotazioni di S e la loro composizione costituiscono quindi un gruppo detto gruppo delle rotazioni di S; lo denotiamo con GrpRot(S). Restringiamo poi l’insieme delle rotazioni di S a quelle che trasformano in se stessa una certa figura geometrica F, ad esempio un cubo, un prisma regolare o una piramide. È evidente che la composizione di due di queste rotazioni fornisce un’altra rotazione che lascia invariata la figura F. Con ciascuna di queste richieste di invarianza si individua un gruppo contenuto in GrpRot(S). Questi gruppi sono detti sottogruppi di GrpRot(S). Questi esempi possono servire a farsi una prima idea del fatto che la teoria dei gruppi è lo strumento matematico per lo studio delle simmetrie delle figure geometriche e di altri oggetti che si incontrano nella matematica, nella fisica e nelle altre discipline che si avvalgono di modelli matematici e di procedure computazionali. Una buona gamma di definizioni di termini utilizzati per sviluppare la teoria dei gruppi è raccolta nel Glossario di teoria dei gruppi.