Struttura algebrica definita attraverso un'operazione binaria associativa, rispetto alla quale esiste l'elemento neutro e, per ogni elemento, il suo inverso. Italian Open Multilingual WordNet

In matematica un gruppo è una struttura algebrica formata dall'abbinamento di un insieme non vuoto con un'operazione binaria interna, che soddisfa gli assiomi di associatività, di esistenza dell'elemento neutro e di esistenza dell'inverso di ogni elemento. Wikipedia

Struttura algebrica formata da un insieme con un'operazione binaria Wikipedia Disambiguation

Struttura algebrica caratterizzata da una operazione interna, associativa e invertibile, dotata di un elemento neutro e uno inverso Wikidata