Este funtor es el adjunto izquierdo al funtor que asocia a un anillo dado su monoide multiplicativo subyacente.