The McCoy condition on skew Poincaré-Birkhoff-Witt extensions (Q2023899)

Let \(B\) be an associative ring with unity. \(B\) is called a (linearly) right McCoy ring, if the equality \(f(x)g(x) = 0\), where \(f(x), g(x)\) are (linear) polynomials in \(B\left[x\right] \setminus \left\{0\right\}\), implies that there exists a nonzero element \(c \in B\), such that \(f(x)c = 0\). Left McCoy rings are defined similarly. In this paper, the authors studied the notion of McCoy ring over the class of non-commutative rings of polynomial type known as skew Poincaré-Birkhoff-Witt extensions (also known as \(\sigma \)- PBW extensions), which is more general than iterated Ore extensions. As a consequence, they generalized several results about this notion considered in the literature for commutative rings and Ore extensions.