En particular, cada grupo abeliano es subgrupo de un inyectivo.