When does h T i equal sat(T )
Marc Moreno Maza, Wei Pan, Yuzhen Xie · 2009
Given a regular chain T, we aim at finding an efficient way for computing a system of generators of sat(T), the saturated ideal of T. A natural idea is to test whether the equality hTi = sat(T) holds, that is, whether T generates its saturated ideal. By generalizing the notion of primitivity from univariate polynomials to regular chains, we establish a necessary and sufficient condition,