On graded characterizations of finite dimensionality for algebraic algebras (Q1682400): Difference between revisions

Let \(k\) be a field, and let \(R\) be a \(k\)-algebra generated by a finite dimensional \(k\)-subspace \(V\) of \(R\) with \(1\in V\). Letting \(V^{-1}=0\) and \(V^{0}=k\), let \(V^{m}\) be the \(k\)-vector space spanned by products over \(V\) of length \(m\). For \(a\in R\), let \(| a| \) be the minimum integer \(m\) such that \(a\in V^{m}\) and set \(\widehat{a}=a+V^{m}\in V^{m}/V^{m-1}\). The authors consider the associated (\(\mathbb{Z}\)-)graded ring \(\operatorname{gr}R=\bigoplus_{i=0}^{\infty }V^{i}/V^{i-1}\) with multiplication defined by \(\widehat{a}\cdot \widehat{b}=ab+V^{m+m}/V^{m+n-1}\), for \(| a| =m\) and \(| b| =n\). They prove that if \(R\) is algebraic over \(k\), then the following conditions are equivalent: {\parindent=0,8cm \begin{itemize}\item[(i)] \(R\) is finite dimensional. \item[(ii)] \(\operatorname{gr}R\) is finite dimensional. \item[(iii)] A graded ideal \(\operatorname{gr}R^{+}=\) \(\bigoplus_{i=1}^{\infty }V^{i}/V^{i-1}\) of \(\operatorname{gr}R\) that is \(k\)-linearly spanned by the homogeneous elements \(\widehat{a}\) , for \(a\in R\), \(| a| \geqslant 1\) is nilpotent. \item[(iv)] \(\operatorname{gr}R\) is right noetherian. \item[(v)] \(\operatorname{gr}R\) has right Krull dimension. \item[(vi)] \(\operatorname{gr}R\) satisfies a polynomial identity. \end{itemize}}