Pour être considéré comme un groupe, l'ensemble et le fonctionnement doivent satisfaire à quatre exigences connues sous le nom d'axiomes de groupe :
Il y a quelques règles auxquelles l'ensemble et l'opération doivent satisfaire pour être considérés comme un groupe : il s'agit des axiomes de groupe :