A criterion for testing whether a difference ideal is prime

Abstract

This paper presents a criterion for testing the irreducibility of a polynomial over an algebraic extension field. Using this criterion and the characteristic set method, the authors give a criterion for testing whether certain difference ascending chains are strong irreducible, and as a consequence, whether the saturation ideals of these ascending chains are prime ideals.