On the ascending chain condition for mixed difference ideals (1207.4721v2)

Abstract: We show that the ring of difference polynomials over a difference field does not satisfy the ascending chain condition for mixed difference ideals. This result solves an open problem of difference algebra stated by E. Hrushovski in connection with the development of difference algebraic geometry.