On the module of homomorphisms on finitely generated projective modules (Q1179565)

Let \(R\) be a commutative ring with identity and let \(A\) be a finitely generated projective \(R\)-module generated by the elements \(a_ 1,\ldots,a_ n\). Then, by a result of \textit{A. G. Naoum}, \textit{A. Mahmood} and \textit{F. H. Alwan} [Arab. J. Math. 7, No. 1/2, 43-53 (1986; Zbl 0641.13011)], there exists an \(n\times n\) matrix \(C=(c_{ij})\) over \(R\) such that \(C^ tU^ t=U^ t\) and \(U^ \perp=\hbox{ann}(C)\) where \(U\) is the row vector \((a_ 1,\ldots,a_ n)\), \(U^ \perp=\{X=(x_ 1,\ldots,x_ n)\in R^ n:\sum^ n_{i=1}x_ ia_ i=0\}\) and \(\hbox{ann}(C)=\{X\in R^ n:CX^ t=0\}\). Moreover, for any \(R\)-module \(B\), any \(b\in B\) and for each \(j=1,\ldots,n,\) there is an \(R\)- homomorphism \(l^ j_ b:A\to B\) defined by \(l^ j_ b(a)=(\sum^ n_{i=1}c_{ji}x_ i)b\) where \(a=\sum^ n_{i=1}x_ ia_ i\in A\). The authors show that if \(\{b_ \alpha:\alpha\in\Lambda\}\) is a generating set for \(B\) then \(\{l^ j_{b_ \alpha}:b_ \alpha\in B\), \(1\leq j\leq n\}\) generates the \(R\)-module \(\hbox{Hom}(A,B)\) and that \(\bigcap_{j,\alpha}\ker l^ j_{b_ \alpha}=0\) if and only if \(\hbox{ann}(B)\subseteq\hbox{ann}(A)\). They then prove that \(\hbox{Hom}(A,B)\) is projective (flat) if \(B\) is projective (flat) and finish with some results on the \(R\)-module \(\hbox{Hom(Hom}(A,B),B)\).