Related papers: Maximally differential ideals in regular local rin…

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…

We determine, in a polynomial ring over a field, the arithmetical rank of certain ideals generated by a set of monomials and one binomial.

The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…

We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient…

We study ideals in a local ring $R$ whose quotient rings induce large homomorphisms of local rings. We characterize such ideals over complete intersections, Koszul rings, and over some classes of Golod rings.

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely…

The degree excess function $\epsilon(I;n)$ is the difference between the maximal generating degree $d(I^n)$ of a homogeneous ideal $I$ of a polynomial ring and $p(I)n$, where $p(I)$ is the leading coefficient of the asymptotically linear…

Some affirmative answers are given to Huneke's problems. The calculation of local cohomology modules with respect to an arbitrary pair of ideals $I,J$ can be reduced to calculation of local cohomology modules with respect to a pair of…

There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

We study the construction and properties of modules whose endomorphism rings have a unique two-sided maximal ideal.

Let $T$ be a complete local (Noetherian) ring. For each $i \in \mathbb{N}$, let $C_i$ be a nonempty countable set of nonmaximal pairwise incomparable prime ideals of $T$, and suppose that if $i \neq j$, then either $C_i = C_j$ or no element…

Let T be a complete local (Noetherian) ring and let A be a local subring of T such that the completion of A with respect to its maximal ideal is T. We investigate the possible structures of the partially ordered set Spec(A). Specifically,…

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

The adjoint of an ideal I in a regular local ring R is the R-ideal adj(I):=H^0(Y, I\omega_Y), where f:Y -> Spec(R) is a proper birational map with Y nonsingular and IO_Y invertible, and \omega_f is a canonical relative dualizing sheaf.…

We extend the notion of type sequence to rings that are not necessarily residually rational. Using this invariant we characterize different types of rings as almost Gorenstein rings and rings of maximal length.

Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, $I$ an $\mathfrak{m}$-primary ideal. Let $N$ be a non-zero finitely generated $A$-module. Consider the functions \[ t^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Tor}^A_i(N,…

Let (T,m) be a complete local (Notherian) ring, C a finite set of pairwise incomparable nonmaximal prime ideals of T, and p a nonzero element. We provide necessary and sufficient conditions for T to be the completion of an integral domain A…