Schurian sp-representation-finite right peak PI-rings and their indecomposable socle projective modules (Q805713): Difference between revisions

The authors study the category \(\mod_{sp}(R)\) of finitely generated socle projective right modules over the Schurian right peak ring R, i.e. a ring of the form: \[ R = \left[\begin{matrix} F_1 &_1 M_2 & \cdots &_1 M_ n &_1 M_{n+1} \\_2 M_1 & F_2 & \cdots &_2 M_ n &_2 M_{n+1} \\ \vdots & \vdots & \ddots & \vdots & \vdots \\_ n M_1 &_ n M_2 & \cdots & F_ n &_ n M_{n+1} \\0 & 0 & \cdots & 0 & F_{n+1} \end{matrix}\right] = \begin{matrix} P_1 \\ \oplus \\ P_2 \\ \oplus \\ \vdots \\ \oplus \\ P_ n \\ \oplus \\ P_{n+1} \end{matrix} \] such that \(soc(R_ R)\) is an essential right ideal in R and it is isomorphic to a direct sum of finitely many copies of \(P_{n+1}\), where \(F_ 1,...,F_ n\), \(F_{n+1}\) are division rings, \(_ iM_ j\) \((F_ i- F_ j)\)-bimodules. The right peak ring R is called sp-representation finite if there are only finitely many isomorphism classes of indecomposable modules in \(\mod_{sp}(R).\) To any Artinian right peak ring R the authors associate its value scheme \((I_ R,d)\) which is just the set of points \(I_ R=\{1,2,...,n,n+1\}\) connected by arrows \[ \bullet_{i} \overset{d_{ij},d'_{ij}} \longrightarrow \bullet_{j},\quad i\neq j, \] where \(d_{ij}= \dim(_ iM_ j)_{F_ j}\), \(d'_{ij}=\dim_{F_ i}(_ iM_ j)\) are nonzero. If \((I_ R,d)\) does not contain oriented cycles then by the width of R we mean the number w(R) equal to the maximum of all sums \(\sum_{J}d_{j\quad n+1}\cdot d'_{j\quad n+1}\), where J runs over all subsets of mutually incomparable elements of \((I_ R,d).\) The main result of this paper is the following: The basic Artinian Schurian right peak PI-ring is sp-representation finite iff \((I_ R,d)\) is a valued partially ordered set with w(R)\(\leq 3\) not containing as valued partially ordered subset any of the valued posets from the critical finite list they give. They formulate also other equivalent conditions, one in terms of quadratic forms. The module \(X\in mod_{sp}(R)\) is called sincere if in its projective cover P(X) appear as summands all projective modules \(P_ 1,...,P_ n\). In the second important result of this paper the authors classify again in terms of value scheme all basic Artinian Schurian sp-representation finite right peak PI-rings.