Finite basis for radical well-mixed difference ideals generated by binomials |
| |
| Authors: | Jie Wang |
| |
| Institution: | School of Mathematical Sciences, Peking University, Beijing, China |
| |
| 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 solves an open problem in difference algebra raised by Hrushovski in the binomial case. |
| |
| Keywords: | Binomial difference ideal finitely generated property Hrushovski’s problem well-mixed difference ideal |
|
|
