Direct-sum decompositions of modules with semilocal endomorphism rings. (Q1883014)

An associative ring \(R\) with identity is called semilocal if \(R/J(R)\) is Artinian. Monoids are always additive and assumed to be commutative. A monoid \(M\) is called: (i) cancellative provided \(a+b=a+c\) implies \(b=c\) for \(a,b,c\in M\); (ii) reduced provided \(a+b=0\) implies \(a=b=0\) for \(a,b\in M\). A monoid homomorphism \(f\colon M_1\to M_2\) is called a divisor homomorphism provided whenever \(f(x)+z=f(y)\) for \(x,y\in M_1\) and \(z\in M_2\) there is \(w\in M_1\) such that \(x+w=y\). Denote by \({\mathcal S}_R\) the class of all finitely generated projective \(R\)-modules with semilocal endomorphism ring and let \(V({\mathcal S}_R)\) be a set of representatives of \({\mathcal S}_R\). The main result of the paper is the following one. Let \(k\) be a field, \(M\) a reduced Krull monoid, \(\Omega\) a set and \(T\colon M\to\mathbb{N}^{(\Omega)}\) a divisor homomorphism. Then there exist a \(k\)-algebra \(R\) and two monoid isomorphisms \(g\colon M\to({\mathcal S}_R)\) and \(h\colon\mathbb{N}^{(\Omega)}\to V({\mathcal S}_{R/J(R)})\) such that if \(\tau\colon V({\mathcal S}_R)\to V({\mathcal S}_{R/J(R)})\) is the homomorphism induced by the natural surjection \(\pi\colon R\to R/J(R)\), then \(hT=\tau g\) as monoid homomorphisms.