Abstract. We give a combinatorial proof of the Dedekind-Mertens formula by computing the initial ideal of the content ideal of the product of two generic polynomials. As a side effect we obtain a complete classification of the rank 1 Cohen-Macaulay modules over the determinantal rings K[X]/I 2 (X).Let f, g be polynomials in one indeterminate over a commutative ring A. The Dedekind-Mertens formula relates the content ideals of f , g, and their product f g: one has . The main objective of this paper is a combinatorial proof of the formula based on a Gröbner basis approach to the ideal c(f g) for polynomials with indeterminate coefficients; in fact we will determine the initial ideal of c(f g) with respect to a suitable term order. (For information on term orders and Gröbner bases we refer the reader to Eisenbud [7].) A side effect of our approach is very precise numerical information about the rank one Cohen-Macaulay modules over the determinantal ring S = K[X]/I 2 (X) where X is an m × n matrix of indeterminates and I 2 (X) the ideal generated by its 2-minors. This connection extends the ideas of [6] and was in fact suggested by them. The actual motive for our work was the need for some explicit computation modulo c(f g) in Boffi, Bruns, and Guerrieri [2], or, more precisely, modulo an ideal generalizing c(f g) slightly.
It is the best universally valid variant of Gauß' classical formula c(f g) = c(f)c(g) for polynomials over a principal ideal domain. (The content ideal of f ∈ A[T ] is the ideal generated by the coefficients of f inTheorem 1. Let K be a field, R = K
Abstract. For a regular ideal having a principal reduction in a Noetherian ring we consider the structural numbers that arise from taking the Ratliff-Rush closure of the ideal and its powers. In particular, we analyze the interconnections among these numbers and the relation type and reduction number of the ideal. We prove that certain inequalites hold in general among these invariants, while for ideals contained in the conductor of the integral closure of the ring we obtain sharper results that do not hold in general. We provide applications to the one-dimensional local setting and present a sequence of examples in this context.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.