scholarly journals On the Diameter of Dual Graphs of Stanley-Reisner Rings and Hirsch Type Bounds on Abstractions of Polytopes

10.37236/6831 ◽  
2018 ◽  
Vol 25 (1) ◽  
Author(s):  
Brent Holmes

Let $R$ be an equidimensional commutative Noetherian ring of positive dimension. The dual graph $\mathcal{G} (R)$ of $R$ is defined as follows: the vertices are the minimal prime ideals of $R$, and the edges are the pairs of prime ideals $(P_1,P_2)$ with height$(P_1 + P_2) = 1$. If $R$ satisfies Serre's property $(S_2)$, then $\mathcal{G} (R)$ is connected. In this note, we provide lower and upper bounds for the maximum diameter of dual graphs of Stanley-Reisner rings satisfying $(S_2)$. These bounds depend on the number of variables and the dimension. Dual graphs of $(S_2)$ Stanley-Reisner rings are a natural abstraction of the $1$-skeletons of polyhedra. We discuss how our bounds imply new Hirsch-type bounds on $1$-skeletons of polyhedra.

1973 ◽  
Vol 25 (4) ◽  
pp. 712-726 ◽  
Author(s):  
John A. Beachy

Let R be an associative ring with identity, and let denote the category of unital left R-modules. It is known that if R is a commutative, Noetherian ring, then the maximal torsion radicals of correspond to the minimal prime ideals of R. In fact, Nӑstӑsescu and Popescu [15, Proposition 2.7] have given a more general result valid for arbitrary commutative rings. This paper investigates maximal torsion radicals over rings not necessarily commutative.


1991 ◽  
Vol 34 (1) ◽  
pp. 155-160 ◽  
Author(s):  
H. Ansari Toroghy ◽  
R. Y. Sharp

LetEbe an injective module over the commutative Noetherian ringA, and letabe an ideal ofA. TheA-module (0:Eα) has a secondary representation, and the finite set AttA(0:Eα) of its attached prime ideals can be formed. One of the main results of this note is that the sequence of sets (AttA(0:Eαn))n∈Nis ultimately constant. This result is analogous to a theorem of M. Brodmann that, ifMis a finitely generatedA-module, then the sequence of sets (AssA(M/αnM))n∈Nis ultimately constant.


1988 ◽  
Vol 53 (1) ◽  
pp. 284-293 ◽  
Author(s):  
T. G. Kucera

This is the second of two papers based on Chapter V of the author's Ph.D. thesis [K1]. For acknowledgements please refer to [K3]. In this paper I apply some of the ideas and techniques introduced in [K3] to the study of a very specific example. I obtain an upper bound for the positive Deissler rank of an injective module over a commutative Noetherian ring in terms of Krull dimension. The problem of finding lower bounds is vastly more difficult and is not addressed here, although I make a few comments and a conjecture at the end.For notation, terminology and definitions, I refer the reader to [K3]. I also use material on ideals and injective modules from [N] and [Ma]. Deissler's rank was introduced in [D].For the most part, in this paper all modules are unitary left modules over a commutative Noetherian ring Λ but in §1 I begin with a few useful results on totally transcendental modules and the relation between Deissler's rank rk and rk+.Recall that if P is a prime ideal of Λ, then an ideal I of Λ is P-primary if I ⊂ P, λ ∈ P implies that λn ∈ I for some n and if λµ ∈ I, λ ∉ P, then µ ∈ I. The intersection of finitely many P-primary ideals is again P-primary, and any P-primary ideal can be written as the intersection of finitely many irreducible P-primary ideals since Λ is Noetherian. Every irreducible ideal is P-primary for some prime ideal P. In addition, it will be important to recall that if P and Q are prime ideals, I is P-primary, J is Q-primary, and J ⊃ I, then Q ⊃ P. (All of these results can be found in [N].)


2015 ◽  
Vol 116 (1) ◽  
pp. 23
Author(s):  
Jesse Burke ◽  
Lars Winther Christensen ◽  
Ryo Takahashi

A finitely generated module over a commutative noetherian ring of finite Krull dimension can be built from the prime ideals in the singular locus by iteration of three procedures: taking extensions, direct summands, and cosyzygies. In 2003 Schoutens gave a bound on the number of iterations required to build any module, and in this note we determine the exact number. This building process yields a stratification of the module category, which we study in detail for local rings that have an isolated singularity.


1992 ◽  
Vol 35 (3) ◽  
pp. 511-518
Author(s):  
H. Ansari Toroghy ◽  
R. Y. Sharp

Let E be an injective module over a commutative Noetherian ring A (with non-zero identity), and let a be an ideal of A. The submodule (0:Eα) of E has a secondary representation, and so we can form the finite set AttA(0:Eα) of its attached prime ideals. In [1, 3.1], we showed that the sequence of sets is ultimately constant; in [2], we introduced the integral closure a*(E) of α relative to E, and showed that is increasing and ultimately constant. In this paper, we prove that, if a contains an element r such that rE = E, then is ultimately constant, and we obtain information about its ultimate constant value.


1988 ◽  
Vol 30 (3) ◽  
pp. 293-300 ◽  
Author(s):  
A.-J. Taherizadeh

In his paper [1], M. Brodmann showed that if M is a1 finitely generated module over the commutative Noetherian ring R (with identity) and a is an ideal of R then the sequence of sets {Ass(M/anM)}n∈ℕ and {Ass(an−1M/anM)}n∈ℕ (where ℕ denotes the set of positive integers) are eventually constant. Since then, the theory of asymptotic prime divisors has been studied extensively: in [5], Chapters 1 and 2], for example, various results concerning the eventual stable values of Ass(R/an;) and Ass(an−1/an), denoted by A*(a) and B*(a) respectively, are discussed. It is worth mentioning that the above mentioned results of Brodmann still hold if one assumes only that A is a commutative ring (with identity) and M is a Noetherian A-module, and AssA(M), in this situation, is regarded as the set of prime ideals belonging to the zero submodule of M for primary decomposition.


2005 ◽  
Vol 71 (2) ◽  
pp. 337-346
Author(s):  
J. Asadollahi ◽  
Sh. Salarain

Lower and upper bounds for CM-dimension, called CM*-dimension and CM*-dimension, will be defined for any finitely generated module M over a local Noetherian ring R. Both CM* and CM*-dimension reflect the Cohen–Macaulay property of rings. Our results will show that these dimensions have the expected basic properties parallel to those of the homological dimensions. In particular, they satisfy an analog of the Auslander-Buchsbaum formula.


2015 ◽  
Vol 58 (3) ◽  
pp. 664-672 ◽  
Author(s):  
Alireza Vahidi

AbstractAssume that R is a commutative Noetherian ring with non-zero identity, 𝔞 is an ideal of R, and X is an R-module. In this paper, we first study the finiteness of Betti numbers of local cohomology modules . Then we give some inequalities between the Betti numbers of X and those of its local cohomology modules. Finally, we present many upper bounds for the flat dimension of X in terms of the flat dimensions of its local cohomology modules and an upper bound for the flat dimension of in terms of the flat dimensions of the modules , and that of X.


1972 ◽  
Vol 13 (2) ◽  
pp. 159-163 ◽  
Author(s):  
P. F. Smith

Djabali [1] has proved that, if R is a right and left noetherian ring with an identity and if the proper prime ideals of R are maximal, then R has a right and left artinian two-sided quotient ring. Robson [5, Theorem 2.11] and Small [6, Theorem 2.13] have proved independently that, if Ris a commutative noetherian ring, then Rhas an artinian quotient ring if and only if the prime ideals of Rthat belong to the zero ideal are all minimal. We shall generalise these results by proving theTheorem. Let R be a right and left noetherian ring with a regular element. Then R has a right and left artinian two-sided quotient ring if and only if each prime ideal of R consisting of zero–divisors is minimal.


2018 ◽  
Vol 17 (12) ◽  
pp. 1850230
Author(s):  
Ali Fathi

Let [Formula: see text] be ideals of a commutative Noetherian ring [Formula: see text] and [Formula: see text] be a finitely generated [Formula: see text]-module. By using filter regular sequences, we show that the infimum of integers [Formula: see text] such that the local cohomology modules [Formula: see text] and [Formula: see text] are not isomorphic is equal to the infimum of the depths of [Formula: see text]-modules [Formula: see text], where [Formula: see text] runs over all prime ideals of [Formula: see text] containing only one of the ideals [Formula: see text]. In particular, these local cohomology modules are isomorphic for all integers [Formula: see text] if and only if [Formula: see text]. As an application of this result, we prove that for a positive integer [Formula: see text], [Formula: see text] is Artinian for all [Formula: see text] if and only if, it can be represented as a finite direct sum of [Formula: see text] local cohomology modules of [Formula: see text] with respect to some maximal ideals in [Formula: see text] for any [Formula: see text]. These representations are unique when they are minimal with respect to inclusion.


Sign in / Sign up

Export Citation Format

Share Document