On decomposition of strongly quasi-frobenius rings (Q4947068)

A quasi-Frobenius ring \(R\) is strongly quasi-Frobenius if \(eRe\) is a quasi-Frobenius ring for every idempotent \(0\neq e\in R\). Nontrivial examples of such rings are indecomposable Nakayama rings (generalized uniserial rings) with \(\ell(R)\equiv 0(n)\), where \(\ell(R)\) is the Loewy-length of \(R\) and \(n\) is the number of indecomposable projective \(R\)-modules. In the paper it is shown, that the Nakayama permutation of a basic strongly quasi-Frobenius ring \(R\) induces the following ring decomposition of \(R\): Let \(\{e_1,\dots,e_n\}\) be a maximal system of orthogonal local idempotents of \(R\) and \(\pi\in S_n\), given by \(\text{Soc }Re_i\cong Re_{\pi(i)}/\text{rad }Re_{\pi(i)}\), \(i\in I=\{1,\dots,n\}\). Then, if \(I_0=\{i\in I\mid\pi(i)=i\}\) and \(I_1,\dots,I_t\) are the \(\pi\)-orbits on \(I\) of length \(\geq 2\), \(R=R_0\times R_1\times\cdots\times R_t\), where \[ R_0=\Bigl(\sum_{i\in I_0}e_i\Bigr) R\Bigl(\sum_{i\in I_0}e_i\Bigr),\quad R_k=\Bigl(\sum_{i\in I_k}e_i\Bigr)R\Bigl(\sum_{i\in I_k}e_i\Bigr),\qquad k= 1,\dots,t. \] \(R_0\) is weakly symmetric and the Nakayama-permutation of \(R_k\), \(k\geq 1\), is a cycle. This, by \textit{K. Oshiro} and \textit{S. H. Rim} [Osaka J. Math. 34, 1-19 (1997; Zbl 0871.16013)], yields a reduction [see also \textit{M. Hoshino}, Commun. Algebra 28, No. 8, 3585-3599 (2000; see the preceding review Zbl 0960.16020)] of strongly quasi-Frobenius rings to local Frobenius rings.