Un grupo abeliano (es decir un módulo sobre Z) es proyectivo sii es un grupo abeliano libre.