4
$\begingroup$

I want to show that if projective covers exist then they are unique up to isomorphism.

More precisely let $f: P \rightarrow M$ and $g: Q \rightarrow M$ be projective covers of an $R$-module $M$.

Using the fact that $g$ is surjective and that $P$ is projective we can find an $R$-map $h: P \rightarrow Q$ such that $g \circ h=f$.

Note then that $\operatorname{Im}(h)+\operatorname{ker}(g)=Q$. Since $ker(g)$ is superfluous this implies that $Q=Im(h)$ so that $h$ is surjective.

But how do we conclude that $h$ is injective?

  • 0
    Hm? Why would $g$ be a monomorphism? (if it were, since it is also surjective, $M$ would be projective...)2012-04-19

1 Answers 1

3

Repeat your argument. Using the fact that $f$ is surjective and $Q$ is projective there exists a map $h'$ such that $f \circ h' = g$. As above, you conclude that $h'$ is surjective, and you have $g \circ h \circ h' =g$.