Let R be a ring with an endomorphism α and α-derivation δ. By [A. R. Nasr-Isfahani and A. Moussavi, Ore extensions of skew Armendariz rings, Comm. Algebra 36(2) (2008) 508–522], a ring R is called a skew Armendariz ring, if for polynomials f(x) = a0 + a1 x + ⋯ + anxn, g(x) = b0+b1x + ⋯ + bmxm in R[x; α, δ], f(x)g(x) = 0 implies a0bj = 0 for each 0 ≤ j ≤ m. In this paper, radicals of the skew polynomial ring R[x; α, δ], in terms of a skew Armendariz ring R, is determined. We prove that several properties transfer between R and R[x; α, δ], in case R is an α-compatible skew Armendariz ring. We also identify some "relatively maximal" skew Armendariz subrings of matrix rings, and obtain a necessary and sufficient condition for a trivial extension to be skew Armendariz. Consequently, new families of non-reduced skew Armendariz rings are presented and several known results related to Armendariz rings and skew polynomial rings will be extended and unified.
Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions
