Decompositions of modules lacking zero sums
- 35 Downloads
A module over a semiring lacks zero sums (LZS) if it has the property that v +w = 0 implies v = 0 and w = 0. While modules over a ring never lack zero sums, this property always holds for modules over an idempotent semiring and related semirings, so arises for example in tropical mathematics.
A direct sum decomposition theory is developed for direct summands (and complements) of LZS modules: The direct complement is unique, and the decomposition is unique up to refinement. Thus, every finitely generated “strongly projective” module is a finite direct sum of summands of R (assuming the mild assumption that 1 is a finite sum of orthogonal primitive idempotents of R). This leads to an analog of the socle of “upper bound” modules. Some of the results are presented more generally for weak complements and semi-complements. We conclude by examining the obstruction to the “upper bound” property in this context.
Unable to display preview. Download preview PDF.
- M. Akian, S. Gaubert and A. Guterman, Linear independence over tropical semirings and beyond, in Tropical and Idempotent Mathematics, Contemporary Mathematics, Vol. 495, American Mathematical Society, Providence, RI, 2009, pp. 1–38.Google Scholar
- G. W. Brumfiel, Partially Ordered Rings and Semialgebraic Geometry, London Mathematical Society Lecture Notes, Vol. 37, Cambridge University Press, Cambridge, 1979.Google Scholar
- A. Connes and C. Consani, Characteristic 1, entropy, and the absolute point, in Noncommutative Geometry, Arithmetic, and Related Topics, Johns Hopkins University Press, Baltimore, MD, 2011, pp. 75–139.Google Scholar
- M. Dubey, Some results on semimodules analogous to module theory, Doctoral Dissertation, University of Delhi, 2008.Google Scholar
- A. W. Macpherson, Projective modules over polyhedral semirings, arXiv:1507.07213v1, 26 Jul 2015.Google Scholar