Definición de módulos proyectivos, condiciones de equivalencia y ejemplos