Identities for a parametric Weyl algebra over a ring (Q2068179)

Let \(B\) be an associative algebra over a field \(\mathbb{F}\), and write \(Z(B)\) for the center of \(B\). Denote by \(B\langle x,y\rangle\) the tensor product over \(\mathbb{F}\) of \(B\) and the free associative algebra \(\mathbb{F}\langle x,y\rangle\) on two generators. Given an element \(h\) in the subalgebra \(Z(B)[x]\) of \(B\langle x,y\rangle\) whose leading coefficient is not a zero divisor, the \textit{parametric Weyl algebra} \(A_h(B)\) is defined as the factor algebra of \(B\langle x,y\rangle\) modulo the ideal generated by the element \(yx-xy-h\). The main result of the paper is that if there exists an element \(\alpha\in Z(B)\) such that \(h(\alpha)\) is not a zero divisor and \(\mathbb{F}\) is an infinite field of positive characteristic \(p\), then \(A_h(B)\) satisfies the same polynomial identities as the algebra of \(p\times p\) matrices over \(B\). An example showing that the assumption on \(h\) is necessary is presented. On the other hand, for a finite field \(\mathbb{F}\), the algebra \(A_h(\mathbb{F})\) is not PI-equivalent to the algebra of \(p\times p\) matrices over \(\mathbb{F}\). When \(\mathbb{F}\) has characteristic zero, \(A_h(B)\) is not a PI-algebra.