1. é associativa

2. é dotata di elemento neutro

3. ogni elemento di G ammette inverso

Si dice anche che l' operazione  ^ definisce su G una struttura di gruppo.

In particolare un gruppo (G, ^ )  si dice abeliano o commutativo se l'operazione ^  gode della proprietą commutativa.