En los "grupos no conmutativos multiplicativos", solamente es verificable una de sus partes, o bien: formula_58 o bien: formula_59, dependiendo de que, respectivamente, se trate de un grupo lateral por la derecha o por la izquierda.