Related papers: The equality I^2=QI in Buchsbaum rings with multip…

We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof…

We show that if $(R, \m)$ is a Cohen-Macaulay local ring and $I$ is an ideal of minimal mixed multiplicity, then $\depth G(I) \geq d- 1$ implies that $\depth F(I) \geq d-1$. We use this to show that if $I$ is a contracted ideal in a two…

We search for principal ideals. As a sample, let $R$ be a strongly-normal, almost-factorial, and complete-intersection local ring with a prime ideal $P$ of height one. If $depth(R/ P)\geq dim R-2$, we show $P$ is principal. As an immediate…

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in Gorenstein numerical semigroup rings over fields are explored, where $Q$ is a parameter ideal, and $\mathfrak{m}$ is the maximal ideal in the base local ring,…

An ideal I of a commutative ring R is said to be irreducible if it cannot be written as the intersection of two larger ideals. A proper ideal I of a ring R is said to be strongly irreducible if for each ideals J, K of R, J\cap K\subseteq I…

In this article we investigate the algebra $U_q^+(B_2)$. Assume that $q$ is a primitive $m$-th root of unity with $m \geq 5$. We prove that $U_q^+(B_2)$ becomes a Polynomial Identity (PI) algebra. It was previously known that for such…

Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d>0$ and depth R$\geq d-1$. Let $Q$ be a parameter ideal of $R$. In this paper, we derive uniform lower and upper bounds for the Hilbert coefficient $e_i(Q)$ under certain…

We prove a new extension result for $QB-$rings that allows us to examine extensions of rings where the ideal is purely infinite and simple. We then use this result to explore various constructions that provide new examples of $QB-$rings.…

Let $(R,\fm)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an $\fm$-primary ideal of $R$ and $J$ be a minimal reduction of $I$. In this paper we show that if $\widetilde{I^k}=I^k$ and…

Let $T$ be a local (Noetherian) ring and let $Q_1$ and $Q_2$ be prime ideals of $T$. We find sufficient conditions for there to exist a quasi-excellent local subring $B$ of $T$ satisfying the following conditions: (1) the completion of $B$…

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq…

We graph-theoretically characterize the class of graphs $G$ such that $I(G)^2$ are Buchsbaum.

We prove that if the first tight Hilbert coefficient vanishes then ring is $F$-rational provided it is a Buchsbaum local ring satisfying the $(S_2)$ condition.

We study the number of generators of ideals in regular rings and ask the question whether $\mu(I)<\mu(I^2)$ if $I$ is not a principal ideal, where $\mu(J)$ denotes the number of generators of an ideal $J$. We provide lower bounds for the…

In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \ref{SwansonTheorem}. Specifically, we…

We extend the epsilon multiplicity of ideals defined by Ulrich and Validashti to epsilon multiplicity of filtrations, and show that under mild assumptions this multiplicity exists as a limit. We show that in rather general rings, the…

Let $J\subset I$ be ideals in a formally equidimensional local ring with $\lambda(I/J)<\infty.$ Rees proved that for all $n\gg0$, $\lambda(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n$ of degree at most dim $R$ and $J$ is a reduction of $I$…

Let $(R,\mathfrak{m})$ be a regular local ring or a polynomial ring over a field, and let $I$ be an ideal of $R$ which we assume to be graded if $R$ is a polynomial ring. Let astab$(I)$ resp. $\overline{\rm astab}(I)$ be the smallest…

We show that for a Noetherian ring $A$ that is $I$-adically complete for an ideal $I$, if $A/I$ admits a dualizing complex, so does $A$. This gives an alternative proof of the fact that a Noetherian complete local ring admits a dualizing…

Let $(A,\mathfrak{m},\Bbbk)$ denote a local Noetherian ring and $\mathfrak{q}$ an ideal such that $\ell_A(M/\mathfrak{q}M) < \infty$ for a finitely generated $A$-module $M$. Let $\au = a_1,\ldots,a_d$ denote a system of parameters of $M$…