On the module of homomorphisms on finitely generated projective modules
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)\).
- Finite generation of projective modules over certain rings
- On finite generatedness of projective modules over rings with polynomial identities
- The determinant map from the automorphism group of a projective R-module to the unit group of R
- Multiplication modules and ideals
- Finitely generated projective modules over row and column finite matrix rings
- On retracts and retractions of free modules over graded rings.
- Jordan homomorphisms on matrix rings over projective-trivial rings.
- Corrigendum to: ``Projective, flat and multiplication modules
- scientific article; zbMATH DE number 822192
- Rank and dimension functions
- Homomorphisms of progenerator modules
- On the module of homomorphisms on finitely generated multiplication modules. II
- Finite generation of projective modules over certain rings
- Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés)
- On modules whose proper homomorphic images are of smaller cardinality
- Homomorphisms of progenerator modules under a change of base ring
- Bivariant and extended Sylvester rank functions
- On projectivity of finitely generated modules
- On finitely generated projective modules
This page was built for publication: On the module of homomorphisms on finitely generated projective modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179565)
