Locally nilpotent skew extensions of rings

Abstract

We extend existing results on locally nilpotent differential polynomial rings to skew extensions of rings. We prove that if $\mathcal{G}=\{{\sigma }_t{\}}_{t\in T}$ is a locally finite family of automorphisms of an algebra $R$, $\mathcal{D}=\{{\delta }_t{\}}_{t\in T}$ is a family of skew derivations of $R$ such that the prime radical $P$ of $R$ is strongly invariant under $\mathcal{D}$, then the ideal $P⟨T,\mathcal{G},\mathcal{D}{⟩}^{\ast }$ of $R⟨T,\mathcal{G},\mathcal{D}⟩$, generated by $P$, is locally nilpotent. We then apply this result to algebras with locally nilpotent derivations. We prove that any algebra $R$ over a field of characteristic $0$, having a surjective locally nilpotent derivation $d$ with commutative kernel, and such that $R$ is generated by $\ker d^2$, has a locally nilpotent Jacobson radical.

arXiv commentfinal version, to appear in Journal of Pure and Applied Algebra