Homomorphisms with semilocal endomorphism rings between modules

Abstract

We study the category $\mathrm{Morph}(\mathrm{Mod}R)$ whose objects are all morphisms between two right $R$-modules. The behavior of objects of $\mathrm{Morph}(\mathrm{Mod}R)$ whose endomorphism ring in $\mathrm{Morph}(\mathrm{Mod}R)$ is semilocal is very similar to the behavior of modules with a semilocal endomorphism ring. For instance, direct-sum decompositions of a direct sum ${\oplus }_{i=1}^n{M}_i$, that is, block-diagonal decompositions, where each object $M_i$ of $\mathrm{Morph}(\mathrm{Mod}R)$ denotes a morphism $\hat{I}{¼}_{M_i}:M_{0,i}\to M_{1,i}$ and where all the modules $M_{j,i}$ have a local endomorphism ring $\mathrm{End}(M_{j,i})$, depend on two invariants. This behavior is very similar to that of direct-sum decompositions of serial modules of finite Goldie dimension, which also depend on two invariants (monogeny class and epigeny class). When all the modules $M_{j,i}$ are uniserial modules, the direct-sum decompositions (block-diagonal decompositions) of a direct-sum ${\oplus }_{i=1}^n{M}_i$ depend on four invariants.