Multiplicities and Reduction Numbers

Let (Rmbe a Cohen–Macaulay local ring and let I be an ideal. There are at least five algebras built on I whose multiplicity data affect the reduction number r(I) of the ideal. We introduce techniques from the Rees algebra theory of modules to produce estimates for r(I), for classes of ideals of dimension one and two. Previous cases of such estimates were derived for ideals of dimension zero.     

The Nullstellensatz for Systems of PDE

Given an ideal I in , the polynomial ring in n-indeterminates, the affine variety of I is the set of common zeros in ⁿ of all the polynomials that belong to I, and the Hilbert Nullstellensatz states that there is a bijective correspondence between these affine varieties and radical ideals of . If, on the other hand, one thinks of a polynomial as a (constant coefficient) partial differential operator, then instead of its zeros in ⁿ, one can consider its zeros, i.e., its homogeneous solutions, in various function and distribution spaces. An advantage of this point of view is that one can then consider not only the zeros of ideals of , but also the zeros of submodules of free modules over (i.e., of systems of PDEs). The question then arises as to what is the analogue here of the Hilbert Nullstellensatz. The answer clearly depends on the function–distribution space in which solutions of PDEs are being located, and this paper considers the case of the classical spaces. This question is related to the more general question of embedding a partial differential system in a (two-sided) complex with minimal homology. This paper also explains how these questions are related to some questions in control theory.     

Rigid resolutions and big Betti numbers

The Betti-numbers of a graded ideal I in a polynomial ring and the Betti-numbers of its generic initial ideal Gin(I) are compared. In characteristic zero it is shown that if these Betti-numbers coincide in some homological degree, then they coincide in all higher homological degrees. We also compare the Betti-numbers of componentwise linear ideals which are contained in each other and have the same Hilbert polynomial.     

Hilbert function of powers of ideals of low codimension

We study the Hilbert function of the powers of homogeneous ideals which are either Cohen-Macaulay of codimension 2 or Gorenstein of codimension 3. We show that that if I is an ideal in one of these classes and it is of linear type then for all k the Hilbert function of depends only on the Hilbert function of I. In other words, if I andJ are ideals in one of the above mentioned classes which are both of linear type and they have the same Hilbert function then also and have the same Hilbert function for all k. Received July 29, 1997; in final form January 23, 1998     

Weak subintegral closure of ideals

We describe some basic facts about the weak subintegral closure of ideals in both the algebraic and complex-analytic settings. We focus on the analogy between results on the integral closure of ideals and modules and the weak subintegral closure of an ideal. We start by giving a new geometric interpretation of the Reid–Roberts–Singh criterion for when an element is weakly subintegral over a subring. We give new characterizations of the weak subintegral closure of an ideal. We associate with an ideal I of a ring A an ideal I_>, which consists of all elements of A such that v(a)>v(I), for all Rees valuations v of I. The ideal I_> plays an important role in conditions from stratification theory such as Whitney's condition A and Thom's condition Af and is contained in every reduction of I. We close with a valuative criterion for when an element is in the weak subintegral closure of an ideal. For this, we introduce a new closure operation for a pair of modules, which we call relative weak closure. We illustrate the usefulness of our valuative criterion.     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

Strongly stable rank and applications to matrix completion

We perform an in-depth study of strongly stable ranks of modules over a commutative ring. Here we define the strongly stable rank of a module to be the supremum of the stable ranks of its finitely generated submodules. As an application, we give non-Noetherian generalizations of known facts about outer products and matrix completions over PIRs and Dedekind domains. We construct Noetherian and non-Noetherian domains of arbitrary strongly stable rank. We also consider strongly n-generated ideals, and we characterize the rings in which every ideal is strongly 2-generated and the domains in which every ideal is strongly 3-generated.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

Uniformly generated submodules of permutation modules: Over fields of characteristic 0

This paper is motivated by a link between algebraic proof complexity and the representation theory of the finite symmetric groups. Our perspective leads to a new avenue of investigation in the representation theory of S_n. Most of our technical results concern the structure of “uniformly” generated submodules of permutation modules. For example, we consider sequences of submodules of the permutation modules M^(n−k,1k) and prove that if the sequence W_n is given in a uniform (in n) way – which we make precise – the dimension p(n) of W_n (as a vector space) is a single polynomial with rational coefficients, for all but finitely many “singular” values of n. Furthermore, we show that dim(W_n)<p(n) for each singular value of n≥4k. The results have a non-traditional flavor arising from the study of the irreducible structure of the submodules W_n beyond isomorphism types. We sketch the link between our structure theorems and proof complexity questions, which are motivated by the famous NP vs. co-NP problem in complexity theory. In particular, we focus on the complexity of showing membership in polynomial ideals, in various proof systems, for example, based on Hilbert's Nullstellensatz.     

On the depth of certain graded rings associated to an ideal

Let (R,m) be a local ring and Ian ideal of R. In this work we find conditions on Ithat allow us to describe simple relations among depth R(It), depth gr_I(R), depth S(I) and depth S(I/I ²). These relations are useful also from a practical point, of view since it is usually difficult to evaluate depth gr_I(R) and depth S(I/I ²) even with the help of a computer. Furthermore we study the class of ideals that satisfy one of the required conditions and we show that ideals generated by quadratic sequences are in this class     

On the integral closure of ideals

Among the several types of closures of an ideal I that have been defined and studied in the past decades, the integral closure has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators of I are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in case , is still helpful in finding some fresh new elements in . Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Received: 28 July 1997     

Idealization and Theorems of D. D. Anderson

All rings are commutative with identity and all modules are unital. Anderson proved that a submodule N of an R-module M is multiplication (resp. join principal) if and only if 0₍₊₎ N is a multiplication (resp. join principal) ideal or R(M). The idealization of M. In this article we develop more fully the tool of idealization of a module, particularly in the context of multiplication modules, generalizing Anderson's theorems and discussing the behavior under idealization of some ideals and some submodules associated with a module.     

On rings with associated elements

A principal right ideal of a ring is called uniquely generated if any two elements of the ring that generate the same principal right ideal must be right associated (i.e., if for all a,b in a ring R, aR = bR implies a = bu for some unit u of R). In the present paper, we study “uniquely generated modules” as a module theoretic version of “uniquely generated ideals,” and we obtain a characterization of a unit-regular endomorphism ring of a module in terms of certain uniquely generated submodules of the module among some other results: End(M) is unit-regular if and only if End(M) is regular and all M-cyclic submodules of a right R-module M are uniquely generated. We also consider the questions of when an arbitrary element of a ring is associated to an element with a certain property. For example, we consider this question for the ring R[x;σ]∕(xⁿ⁺¹), where R is a strongly regular ring with an endomorphism σ be an endomorphism of R.     

Chain conditions in modules with krull dimension

Any ring with Krull dimension satisfies the ascending chain condition on semiprime ideals. This result does not hold more generally for modules. In particular if Ris the first Weyl algebra over a field of characteristic 0 then there are Artinian R-modules which do not satisfy the ascending chain condition on prime submodules. However, if Ris a ring which satisfies a polynomial identity then any R-module with Krull dimension satisfies the ascending chain condition on prime submodules, and, if Ris left Noethe-rian, also the ascending chain condition on semiprime submodules.     

On the integral closure of ideals

Among the several types of closures of an idealI that have been defined and studied in the past decades, the integral closureĪ has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators ofI are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in caseI ≠Ī, ✓I is still helpful in finding some fresh new elements inĪ/I. Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Part of the results contained in this paper were obtained while the first author was visiting Rutgers University and was partially supported by CNR grant 203.01.63, Italy. The second and third authors were partially supported by the NSF. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

Generic tropical initial ideals of Cohen-Macaulay algebras

We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra R over an algebraically closed field k. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain I-adic filtrations. As a corollary, we show that in the case that R is a domain, every initial ideal coming from the codimension 1 skeleton of the tropical variety is prime, so “generic presentations of Cohen-Macaulay domains are well-poised in codimension 1.”     

Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and over the exterior algebra behave with respect to Alexander duality. The results which we obtained suggest a lower bound for the regularity of a \mathbb Zⁿ{\mathbb {Z}^n}-graded module in terms of its Stanley decompositions. For squarefree modules this conjectured bound is a direct consequence of Stanley’s conjecture on Stanley decompositions. We show that for pretty clean rings of the form R/I, where I is a monomial ideal, and for monomial ideals with linear quotient our conjecture holds.     

Monomial Ideals of Forest Type

As a generalization of the facet ideal of a forest, we define monomial ideal of forest type and show that monomial ideals of forest type are pretty clean. As a consequence, we show that if I is a monomial ideal of forest type in the polynomial ring S, then Stanley's decomposition conjecture holds for S/I. The other main result of this article shows that a clutter is totally balanced if and only if it has the free vertex property, and which is also equivalent to say that its edge ideal is a monomial ideal of forest type or is generated by an M sequence.     

On connectedness and indecomposibility of local cohomology modules

Let I denote an ideal of a local Gorenstein ring . Then we show that the local cohomology module , c = height I, is indecomposable if and only if V(I _d ) is connected in codimension one. Here I _d denotes the intersection of the highest dimensional primary components of I. This is a partial extension of a result shown by Hochster and Huneke in the case I the maximal ideal. Moreover there is an analysis of connectedness properties in relation to various aspects of local cohomology. Among others we show that the endomorphism ring of is a local Noetherian ring if dim R/I  =  1.     

½ Cancellation Modules and Homogeneous Idealization II

In our recent work we investigated ½ (weak) cancellation modules and ½ join principal submodules and showed via the method of idealization most questions concerning these modules can be reduced to the ideal case. The purpose of this article is to continue our study of these modules as well as we introduce and give some properties of the concept of M-join principal ideals.