El problema vino cuando Mal'cev descubre un tipo de anillo unitario no conmutativo que no está isomorficamente incluido en un anillo de división de manera que cumpla la misma propiedad que el cuerpo de racionales de un dominio íntegro, y pasa a denominarse dominio de Mal'cev.