Esto construye un adjunto izquierdo al funtor que lleva un anillo al anillo no unital subyacente.