Struttura algebrica definita attraverso un'operazione binaria associativa, rispetto alla quale esiste l'elemento neutro e, per ogni elemento, il suo inverso.
În matematică, un grup este o mulțime echipată cu operația binară care combină orice două elemente ale ei pentru a forma un al treilea element în așa fel încât sunt satisfăcute patru condiții, denumite axiomele grupurilor, și anume închiderea, asociativitatea, identitatea și inversabilitatea.