Proceedings of the American Mathematical Society

Abstract:

If $\sigma$ is an automorphism and $\delta$ is a $\sigma$-derivation of a ring $R$, then the subring of invariants is the set $R^{(\delta )} = \{r \in R \mid \delta (r) = 0 \}.$ The main result of this paper is

Theorem. Let $\delta$ be a $\sigma$-derivation of an algebra $R$ over a commutative ring $K$ such that \begin{equation*}\delta ^{n+k}(r) + a_{n-1}\delta ^{n+k-1}(r) + \dots + a_{1}\delta ^{k+1}(r) + a_{0}\delta ^{k}(r) =0, \end{equation*} for all $r \in R$, where $a_{n-1}, \dots , a_{1},a_{0} \in K$ and ${a_{0}}^{-1} \in K$.