Cuando un grupo verifica lateralmente su conmutatividad, no es un grupo abeliano, en todo caso es un grupo semiconmutativo por la derecha o por la izquierda.