Finite Basis for Radical Well-Mixed Difference Ideals Generated by Binomials

Abstract: In this paper, we prove a finite basis theorem for radical well-mixed difference ideals generated by binomials. As a consequence, every strictly ascending chain of radical well-mixed difference ideals generated by binomials in a difference polynomial ring is finite, which answers a question raised by E. Hrushovski in the binomial case.