On constants of algebraic derivations and fixed points of algebraic automorphisms (Q1346115)

For \(R\) a semiprime ring with derivation \(D\), consider the ring \(R^ D = \{r \in R \mid D(r) = 0\}\). Assume either that \(D^ n = 0\), or that for a field \(F\), \(R\) is an \(F\)-algebra and \(D\) is an algebraic \(F\)-derivation of \(R\). The author proves first that the prime radical of \(R^ D\) is nilpotent, and then that \(R\) is a left Artinian ring if and only if \(R^ D\) is a left Artinian ring. Using these results, corresponding theorems are obtained for the fixed points of an algebraic automorphism \(\sigma\) of the semiprime \(F\)-algebra \(R\). If \(R^ \sigma = \{x \in R \mid (\sigma - 1)x = 0\}\) and \(R_ \sigma = \{x \in R \mid (\sigma - 1)^ k x = 0\) for some \(k \geq 1\}\), then \(R_ \sigma\) is semiprime and is left Artinian if and only if \(R\) is, and \(R^ \sigma\) left Artinian implies that \(R\) is left Artinian. The last result shows that when \(pR = 0\) and \(\sigma^ p = 1_ R\) for a prime \(p\), then \(R^ \sigma\) is left Artinian exactly when \(R\) is.