En grupos no abelianos se cumplirá solamente una de sus partes, si es grupo por la izquierda: formula_32 y si es grupo por la derecha: formula_33; pero nunca, cumplir ambas, al no poder verificar la propiedad conmutativa.