How far can we go with Amitsur's theorem in differential polynomial rings? (Q2627988)

Let \(R\) be a noncommutative associative ring. The well-known Amitsur's Theorem states that the Jacobson radical of the polynomial ring \(R[x]\) equals \(I[x]\) for some nil ideal \(I\) of \(R\). Therefore, it is natural to ask whether this theorem also holds for differential polynomial rings. In this paper, the author gives a negative answer to this question by showing that if \(K\) is an arbitrary subfield of the algebraic closure of a finite field, then there exists a \(K\)-algebra \(R\) and a derivation \(D\) on \(R\) such that \(R\) is not nil and the algebra \(R[X;\) \(D]\) is Jacobson radical. However, if \(F\) is a field of characteristic \(p>0\) and \(R\) is an \(F\)-algebra with a locally nilpotent derivation \(D\) on \(R\), then the Jacobson radical of the differential polynomial ring \(R[x;\) \(D]\) equals \(I[X]\) for some nil ideal \(I\) of \(R\).