No label defined (Q3974717)

[For the entire collection see Zbl 0713.00003.] Let \(R\) be an algebra over \(\mathbb{Q}\) with 1, \(D\) a derivation of \(R\) for which \(D^{n(x)}(x)=0\) for all \(x\in R\) where \(n(x)\geq 1\), and set \(C_ D=\{x\in R\mid D(x)=0\}\). The main theorem of the paper proves that if \(C_ D\) is central in \(R\) and if there is \(y\in R\) so that \(D(y)\) has no annihilator in \(C_ D\), then there is a multiplicative subset \(S\subseteq C_ D\) and \(x\in S^{-1}R\) so that \(R\subseteq S^{-1}C_ D[x]\). Other results obtained by the author are that if \(R\) is a domain, then \(C_ D\) contains all units in \(R\), and if \(R\) is a commutative ring and \(x\in R\) is a unit so that \(D^ n(x)=0\) with \(n>1\) minimal, then \(D(x),\dots,D^{n-1}(x)\) are all nilpotent.