Pour être considéré comme un groupe, l'ensemble et l'opération doivent satisfaire à quelques conditions appelées axiomes de groupe, à savoir la fermeture, l'associativité, l'identité et l'invertibilité.
Il y a quelques règles que le jeu et l'opération doivent satisfaire pour se qualifier en tant que groupe.