Quiero mostrar que si cubre proyectivo existe entonces que están únicos hasta isomorfismo.
Más precisamente $f: P \rightarrow M$ y $g: Q \rightarrow M$ cubiertas proyectivas de una $R$-módulo $M$.
Usando el hecho de que $g$ es sobreyectiva y que $P$ proyectiva podemos encontrar una $R$-mapa $h: P \rightarrow Q$ tal que $g \circ h=f$.
Nota entonces que $\operatorname{Im}(h)+\operatorname{ker}(g)=Q$. Desde $ker(g)$ es superfluo esto implica que el $Q=Im(h)$ así que $h$ es sobreyectiva.
Pero ¿cómo concluimos que $h$ es inyectiva?
