We develop a recursive method for computing the -removed -orderings and -orderings of order the characteristic sequences associated to these and limits associated to these sequences for subsets of a Dedekind domain This method is applied to compute these objects for and .
This note summarizes a presentation made at the Third International Meeting on Integer Valued Polynomials and Problems in Commutative Algebra. All the work behind it is joint with Scott T. Chapman, and will appear in [2]. Let represent the ring of polynomials with rational coefficients which are integer-valued at integers. We determine criteria for two such polynomials to have the same image set on .
Let be polynomials in variables without a common zero. Hilbert’s Nullstellensatz says that there are polynomials such that . The effective versions of this result bound the degrees of the in terms of the degrees of the . The aim of this paper is to generalize this to the case when the are replaced by arbitrary ideals. Applications to the Bézout theorem, to Łojasiewicz–type inequalities and to deformation theory are also discussed.
Let be a commutative ring and a multiplicative system of ideals. We say that is -Noetherian, if for each ideal of , there exist and a finitely generated ideal such that . In this paper, we study the transfer of this property to the polynomial ring and Nagata’s idealization.