Graded self-injective algebras ``are'' trivial extensions. (Q1048965)

Let \(R\) be a commutative Artinian ring and \(A=\bigoplus_{i\geq 0}A_i\) be a positively graded \(R\)-algebra. Let \(c=\max\{i:A_i\neq 0\}\) and assume that \(c>0\) and that for any idempotent \(e\in A_0\) we have \(eA_c\neq 0\) and \(A_ce\neq 0\). Under these assumptions that author proves that the category of finitely generated graded left \(A\)-modules is equivalent to the category of finitely generated graded modules over the trivial extension of the algebra \[ b(A)=\left(\begin{matrix} A_0&A_1&\dots&A_{c-2}&A_{c-1}\\ 0&A_0&\dots&A_{c-3}&A_{c-2}\\ \vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&\dots&A_0&A_1\\ 0&0&\dots&0&A_0\end{matrix}\right) \] graded such that the degree of \(b(A)\) is zero and the degree of the dual space is \(1\). From this the author derives that there is a full exact embedding from the bounded derived category of \(b(A)\) into the stable category of graded \(A\)-modules, and that this embedding is an equivalence if and only if \(A_0\) has finite global dimension.