The membership problem for ideals of binomial skew polynomial rings

A binomial ideal is an ideal of the polynomial ring which is generated by binomials. In a previous paper, we gave a correspondence between pure saturated binomial ideals of K[x"1,...,x"n] and submodules of Z^n and we showed that it is possible to ...

In this paper, we give decision criteria for normal binomial difference polynomial ideals in the univariate difference polynomial ring F{y to have finite difference Gröbner bases and an algorithm to compute the finite difference Gröbner bases if these ...

Let J be a strongly stable monomial ideal in S=K[x"0,...,x"n] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs to Mf(J) if and ...