English

Homomorphisms with semilocal endomorphism rings between modules

Rings and Algebras 2025-04-18 v1

Abstract

We study the category Morph(ModR)\operatorname{Morph}(\operatorname{Mod} R) whose objects are all morphisms between two right RR-modules. The behavior of objects of Morph(ModR)\operatorname{Morph}(\operatorname{Mod} R) whose endomorphism ring in Morph(ModR)\operatorname{Morph}(\operatorname{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 i=1nMi\oplus_{i=1}^nM_i, that is, block-diagonal decompositions, where each object MiM_i of Morph(ModR)\operatorname{Morph}(\operatorname{Mod} R) denotes a morphism μMi ⁣:M0,iM1,i\mu_{M_i}\colon M_{0,i}\to M_{1,i} and where all the modules Mj,iM_{j,i} have a local endomorphism ring End(Mj,i)\operatorname{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 Mj,iM_{j,i} are uniserial modules, the direct-sum decompositions (block-diagonal decompositions) of a direct-sum i=1nMi\oplus_{i=1}^nM_i depend on four invariants.

Keywords

Cite

@article{arxiv.2504.12874,
  title  = {Homomorphisms with semilocal endomorphism rings between modules},
  author = {Federico Campanini and Susan F. El-Deken and Alberto Facchini},
  journal= {arXiv preprint arXiv:2504.12874},
  year   = {2025}
}
R2 v1 2026-06-28T23:01:56.373Z