A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems

preprint2014arXivOpen access

Abstract

Let RR be a ring and let C\mathcal C be a small class of right RR-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let V(C)\mathcal V (\mathcal C) denote a set of representatives of isomorphism classes in C\mathcal C and, for any module MM in C\mathcal C, let [M][M] denote the unique element in V(C)\mathcal V (\mathcal C) isomorphic to MM. Then V(C)\mathcal V (\mathcal C) is a reduced commutative semigroup with operation defined by [M]+[N]=[M⊕N][M] + [N] = [M \oplus N], and this semigroup carries all information about direct-sum decompositions of modules in C\mathcal C. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if End⁡R(M)\operatorname{End}_R (M) is semilocal for all M∈CM\in \mathcal C, then V(C)\mathcal V (\mathcal C) is a Krull monoid. Suppose that the monoid V(C)\mathcal V (\mathcal C) is Krull with a finitely generated class group (for example, when C\mathcal C is the class of finitely generated torsion-free modules and RR is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of V(C)\mathcal V (\mathcal C) using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid V(C)\mathcal V (\mathcal C) for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.