Los números racionales Q (con la adición) forman un grupo abeliano inyectivo (es decir un Z-módulo inyectivo).