Canonical homomorphism and free module, Liu 1.2.8 c

Question

How can I do the problem 1.2.8 c in "Algebraic Geometry and Aritmetic Curves". Namely, let $A$ be a Noetherian ring, $M$ a finitely generated $A$-module, and $N$ an $A$-module. Let $B$ be a flat $A$-algebra. Let us consider the canonical homomorphism $$\rho:\operatorname{Hom}_A(M,N)\otimes_AB\to\operatorname{Hom}_B(M\otimes_AB,N\otimes_AB).$$ Let $0\to K\to L\to M\to 0$ be an exact sequence of $A$-modules. How to show that if $L$ is a free module of finite rank then $\rho$ is injective, and the injectivity of $K$ gives $\rho$ to be an isomorphism?

Answer 1

$\require{AMScd}$ $\DeclareMathOperator{\Hom}{Hom}$ Let me write $M'$ for $M \otimes_A B$ and $\rho_M\colon \Hom(M,N)' \to \operatorname{Hom}(M',N')$. The point is that there's a commutative diagram

\begin{CD} 0 @>>> {\Hom(M,N)'} @>>> {\Hom(L,N)'} @>>> {\Hom(K,N)'}\\ @. @V{\rho_M}VV @V{\rho_L}VV @V{\rho_K}VV\\ 0 @>>> {\Hom(M',N')} @>>> {\Hom(L',N')} @>>> {\Hom(K',N')}\\ \end{CD}

You should check the commutativity (just do one square). The rows are exact (why?) and $\rho_L$ is an isomorphism. From there I hope you can see the end. Make notice of where you use Noetherianity.