Goldie conditions for Ore extensions over semiprime rings. (Q813324)

Let \(R\) be an associative ring with an injective endomorphism \(\sigma\) and \(\sigma\)-derivation \(\delta\). An over-ring \(A\) of \(R\) is a D. Jordan extension of \(R\), notation \(R\subseteq_\sigma A\), if \(\sigma\) extends to an automorphism of \(A\) and for each element \(a\in A\) there exists a positive integer \(n\) such that \(\sigma^n(a)\in R\). Suppose that \(R\) is a semiprime left Goldie ring, \(R\subseteq_\sigma A\). Then the uniform dimensions of \(R\), \(A\), \(R[x;\sigma,\delta]\) coincide and \(R[x;\sigma,\delta]\) is a semiprime left Ore ring. In particular, if \(R\) is a left Ore domain, then \(R[x;\sigma,\delta]\) is also a left Ore domain.