In this note we give a description of a morphism related to the structure of the canonical model of the Rees algebra R(I) of an ideal I in a local ring. As an application we obtain Ikeda's criteria for the Gorensteinness of R(I) and a result of Herzog-Simis-Vasconcelos characterizing when the canonical module of R(I) has the expected form.

Let be a proper ideal of a commutative Noetherian ring R of prime characteristic p and let Q() be the smallest positive integer m such that ${{(}^F)}^{\left[p^m\right]}{=}^{\left[p^m\right]}$, where ${}^F$ is the Frobenius closure of . This paper is concerned with the question whether the set $Q{(}^{\left[p^m\right]}):m\in \mathbb{N}₀$ is bounded. We give an affirmative answer in the case that the ideal is generated by an u.s.d-sequence c₁,..., cₙ for R such that (i) the map $R/{\sum }_{j=1}^{n}R{c}_j\to R/{\sum }_{j=1}^{n}Rc{²}_j$ induced by multiplication by c₁...cₙ is an R-monomorphism; (ii) for all $\in ass(c{₁}^j,...,c{ₙ}^j)$, c₁/1,..., cₙ/1 is a $R_{}$-filter regular sequence...

An ideal I in a commutative ring R is called a z°-ideal if I consists of zero divisors and for each a ∈ I the intersection of all minimal prime ideals containing a is contained in I. We characterize topological spaces X for which z-ideals and z°-ideals coincide in , or equivalently, the sum of any two ideals consisting entirely of zero divisors consists entirely of zero divisors. Basically disconnected spaces, extremally disconnected and P-spaces are characterized in terms of z°-ideals. Finally,...

Order complex is an important object associated to a partially ordered set. Following a suggestion from V. A. Vassiliev (1994), we investigate an order complex associated to the partially ordered set of nontrivial ideals in a commutative ring with identity. We determine the homotopy type of the geometric realization for the order complex associated to a general commutative ring with identity. We show that this complex is contractible except for semilocal rings with trivial Jacobson radical when...