Élément inversé Pour chaque a de G, il existe un élément b dans G tel que a = b • a = e, où e est l'élément d'identité.
Il existe un élément e dans G, de sorte que pour tous les éléments a de G, l'équation e • a = a • e = a détient.