Usando este criterio, se puede demostrar que Q es un grupo abeliano inyectivo (es decir un Z-módulo inyectivo).