Journal of Mahani Mathematical Research

Journal of Mahani Mathematical Research

Exactness preservation by functors mapping modules to semimodules of varieties of submodules

Document Type : Research Paper

Authors
Hakimeh Pirzadeh Moghaddam 1
Hossein Fazaeli Moghimi 1
Fatemeh Rashedi 2
1 Department of Mathematics, University of Birjand, Birjand, Iran
2 Department of Basic Sciences, Technical and Vocational University (TVU), Tehran, Iran
10.22103/jmmr.2026.26025.1880
Abstract
‎Let $R$ be a commutative ring with identity, and $M$ be an $R$-module. We denote by $\zeta(M)$ the semimodule consisting of all varieties of submodules of $M$ over the semiring $\zeta(R)$ of varieties of ideals of $R$. In this article, we introduce two functors from the category of $R$-modules to the category of $\zeta(R)$-semimodules and investigate conditions under which these functors preserve the short exact sequences of modules. They are the hom-functors $\operatorname{Hom}_{\zeta(R)}(\zeta(P),\zeta(-))$ and $\operatorname{Hom}_{\zeta(R)}(\zeta(-),\zeta(E))$ associated with $R$-modules $P$ and $E$, respectively. It is shown that $\zeta$ is exact and both $\operatorname{Hom}_{\zeta(R)}(\zeta(P),\zeta(-))$ and $\operatorname{Hom}_{\zeta(R)}(\zeta(-),\zeta(E))$ are left exact on any short exact sequence $0\rightarrow M' \xrightarrow{f} M\xrightarrow{g} M'' \rightarrow 0$ with $M''$ a radical module. In particular, we provide conditions under which the hom-functors preserve short exact sequences of modules. 
Keywords
Variety of submodule‎
‎Semimodule‎
‎Semimodule homomorphism‎
‎Exact sequence‎
‎Radical submodule
Subjects
[1] Abuhlail, J. (2012). Exact sequences of semimodules over semirings. arXiv:1210.4566.
[2] Golan, J. (1999). Semirings and their applications. Kluwer Academic Publishers.
[3] Mccasland, R. L., Moore, M. E., & Smith, P. F. (1997). On the spectrum of a module over acommutative ring. Commun. Algebra, 25(1), 79-103. https://doi.org/10.1080/00927879708825840.
[4] Mccasland, R. L., Moore, M. E., & Smith, P. F. (1998). An introduction to Zariski spaces over Zariski topologies. Rocky Mountain J. Math., 28(4), 1357-13693. https://dx.doi.org/10.1216/rmjm/1181071721.
[5] Patchkoria, A., (2003). Extensions of semimodules and the Takahashi functor Ext(C;A). Homol.Homotopy Appl., 5(1), 387-406. https://doi.org/10.4310/HHA.2003.v5.n1.a16
[6] Patil, K. B., & Deore, R. P. (2006). Some results on semirings and semimodules. Bull. Calcutta Math. Soc., 98(1), 49{56.
[7] Stephenson, W. (1974). Modules whose lattice of submodules is distributive. Proc. Lond. Math. Soc., 28(3), 291-310. https://doi.org/10.1112/plms/s3-28.2.291.
[8] Takahashi, M. (1981). On the bordism categories, II, Elementary properties of semimodules. Math. Sem. Notes Kobe Univ., 9(2), 495-530. https://doi.org//10.24546/E0001626. 

  • Receive Date 02 October 2025
  • Revise Date 24 February 2026
  • Accept Date 24 April 2026