On 2-SG-semisimple rings (Q888103)

Let \(R\) be a ring. For integers \(n\geq0\) and \(m\geq0\), an \(R\)-module \(M\) is called \((n,m)\)-strongly Gorenstein projective(\((n,m)\)-SG-projective for short) if there exists an exact sequence of \(R\)-modules \[ 0\rightarrow M\rightarrow Q_n\rightarrow\cdots\rightarrow Q_1\rightarrow M\rightarrow0 \] such that \(\text{pd} Q_i\leq m\) for \(1\leq i\leq n\) and \(\text{Ext}_R^i(M,Q)=0\) for any \(i>m\) and for any projective module \(Q\). A ring over which every module is \((n,0)\)-SG-projective is called \(n\)-SG-\textit{semisimple} ring by the authors. In the paper under review, the authors study 2-SG-semisimple rings. More precisely, they prove that a local ring is 2-SG-semisimple if and only if it is an Artinian valuation ring. As a consequence of this, they conclude that 2-SG-semisimple rings are the same as the Artinian serial rings. Recall that a ring is called \textit{serial} if it is a finite direct product of valuation rings and a ring (not necessarily domain) is called \textit{valuation} if the lattice of all its ideals is linearly ordered under inclusions. They also establish a relation between Dedekind domains and 2-SG-semisimple rings.