A remark on the Jacobson property of PI Ore extensions (Q1337790)

The Jacobson condition is investigated for Ore extensions (skew polynomial rings) of the form \(R[X;\delta]\) where \(R\) is a noetherian polynomial identity ring and \(\delta\) is a derivation on \(R\). Let \(\mathcal I\) be the set of those \(\delta\)-prime ideals of \(R\) such that \(R/I\) has finite uniform rank (Goldie dimension) over its subring of central \(\delta\)-constants. The author proves that \(R[X;\delta]\) is a Jacobson ring if and only if \(R/I\) is Jacobson for all \(I \in {\mathcal I}\). The case when \(R\) is commutative was proved by \textit{R. B. Warfield} jun. and the reviewer [Math. Z. 180, 503-523 (1982; Zbl 0495.16002)]. Necessary and sufficient conditions for \(R[X;\delta]\) to be primitive were given in the same paper for \(R\) commutative, and extended to the case when \(R\) is P.I. by the present author [in Commun. Algebra 20, 1819-1837 (1992; Zbl 0754.16014)].