In matematica, un gruppo è una struttura algebrica formata da un insieme non vuoto con un'operazione binaria interna (come ad esempio la somma o il prodotto) che soddisfa alcuni assiomi, cioè l'associatività, l'esistenza dell'elemento neutro e dell'inverso.