Pullback in morphism of exact sequences

1.4k Views Asked by At

Suppose we have the following morphism of short exact sequences in $R$-Mod:

$$\begin{matrix}0\to&L&\stackrel{f'} \to& M'&\stackrel{g'}\to &N' & \to 0\\ &\;||&&\downarrow\rlap{\scriptsize\alpha'}&&\;\downarrow\rlap{\scriptsize\alpha}\\ 0\to &L&\stackrel{f}\to& M&\stackrel{g}\to& N& \to 0 \end{matrix} $$

I have to show that the right square is a pullback.

What I have done: Suppose we have $K \in R$-Mod and $ \phi : K \to N' $, $\lambda : K \to M $ that verifiy $$\alpha \circ \phi = g \circ \lambda$$

For $r \in K $ exists $m' \in M' $ with $g'(m') = \phi(k) $ because $g'$ is surjective.

So I defined $z : K \to M' $ with $$z(k) = m'$$

But now I'm stuck, how to proceed ?

1

There are 1 best solutions below

0
On BEST ANSWER

If $(m,n') \in M \times_N N'$, choose a lift $m' \in M'$ of $n'$ and consider the image $\tilde{m} \in M$. Then $\tilde{m},m$ have the same image in $N$, hence there is a unique $l \in L$ such that $m=\tilde{m}+f(l)$. Then $m' + f'(l)$ is a the unique element of $M'$ which maps to $m$ and to $n'$.