The Membership Problem for Ideals of Binomial Skew Polynomial Rings (Q4803344)

Let \(X=\{x_1,x_2,\dots,x_n\}\) be a finite nonempty set of indeterminates and let \(K\) be a field. A graded standard finitely presented algebra \(A=K\langle X\rangle/(F)\) is called a binomial skew polynomial ring if the defining relations \(F\) satisfy: (a) for all \(1\leq i<j\leq n\), \(F\) contains a relation of the form \(x_jx_i=c_{ij}u_{ij}\) where \(c_{ij}\in K\setminus 0\) and \(u_{ij}\) is a monomial of degree 2 strictly smaller than \(x_jx_i\) in the lexicographical ordering of \(\langle X\rangle\); and (b) \(F\) is a reduced Gröbner basis of the two-sided ideal \((F)\). It is known that \(A\) is both right and left Noetherian, and this paper displays, for each \(f\in A\), a fixed finite subset \(S_f\) of \(A\) with \((f)=S_fA\). The main theorem here is that an element \(f\in A\) belongs to the two-sided ideal \((f_1,f_2,\dots,f_m)\) if and only if it can be reduced to 0 with respect to the reduced left Gröbner basis of \(S_{f_1}\cup S_{f_2}\cup\cdots\cup S_{f_m}\). As a consequence, \(A\) has a decidable membership problem for finitely generated two-sided ideals.