Strongly quasi-Frobenius rings (Q4500810)

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. Result of the paper is a reduction theorem for strongly quasi-Frobenius rings [see also \textit{K. Oshiro} and \textit{S. H. Rim}, Osaka J. Math. 34, No. 1, 1-19 (1997; Zbl 0871.16013) and \textit{Y. Yukimoto}, Commun. Algebra 28, No. 3, 1111-1113 (2000; see the following review Zbl 0960.16021)]. Basis concept is the generalized matrix ring \(A_n(P,\sigma,b)\) over a local Frobenius ring \(P\) (\(\sigma\in\Aut P\), \(b\in\text{rad }P\) satisfying \(\sigma(b)=b\), \(b\alpha=\sigma(\alpha)b\) \(\forall \alpha\in P\)), which in case \(P\) is a local Nakayama ring, was introduced by the reviewer [Arch. Math. 26, 23-35 (1975; Zbl 0304.16006)]. It is shown that: 1. \(A=A_n(P,\sigma,b)\) is an indecomposable basic strongly quasi-Frobenius ring. The Nakayama permutation of \(A\) is a cycle and is induced by an automorphism of \(A\). 2. Every basic strongly quasi-Frobenius ring \(R\) is a product \(R=R_0\times R_1\times\cdots\times R_t\), where \(R_0\) is a weakly symmetric ring and \(R_i\cong A_{n_i}(P_i,\sigma_i,b_i)\) for suitable \(n_i\), \(P_i\), \(\sigma_i\), \(b_i\); \(i=1,\dots,t\).