Related papers: Containment problem for points on a reducible coni…

One point compactification is studied in the light of ideal of subsets of $\mathbb{N}$. $\mathcal{I}$-proper map is introduced and showed that a continuous map can be extended continuously to the one point $\mathcal{I}$-compactification if…

We extend to arbitrary finite $n$ the notion of immobilization of a convex body $O$ in $R^n$ by a finite set of points $P$ in the boundary of $O$. Because of its importance for this problem, necessary and sufficient conditions are found for…

It is well known that the containment problem (as well as the equivalence problem) for semilinear sets is $\log$-complete in $\Pi_2^p$. It had been shown quite recently that already the containment problem for multi-dimensional linear sets…

Let $ A \subset B$ be rings. An ideal $ J \subset B$ is called power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $ n\geq 1$. Further, $J$ is called ultimately power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $n$ large…

It is generally hard to count, or even estimate, how many integer points lie in a polytope P. Barvinok and Hartigan have approached the problem by way of information theory, showing how to efficiently compute a random vector which samples…

The purpose of this paper is to give affirmative answers to two open questions as follows. Let $(R, \m)$ be a generalized Cohen-Macaulay Noetherian local ring. Both questions, the first question was raised by M. Rogers \cite {R} and the…

Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal…

Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the…

We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This…

Given a purely atomic probability measure with support on n points, P, any mean-preserving contraction (mpc) of P, Q, with support on m > n points is a mixture of mpcs of P, each with support on most n points. We illustrate an application…

Let $S$ be a regular local ring or a polynomial ring over a field and $I$ be an ideal of $S$. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\geq 2$. We observe…

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…

In this paper, we define the concept $I-$prime hyperideal in a multiplicative hyperring $R$. A proper hyperideal $P$ of $R$ is an $I-$prime hyperideal if for $a, b \in R$ with $ab \subseteq P-IP$ implies $a \in P$ or $b \in P$. We provide…

For an ideal $I$ in a Noetherian ring $R$, we introduce and study its conductor as a tool to explore the Rees algebra of $I$. The conductor of $I$ is an ideal $C(I)\subset R$ obtained from the defining ideals of the Rees algebra and the…

Given two elements of a vector space acted on by a reductive group, we ask whether they lie in the same orbit, and if not, whether one lies in the orbit closure of the other. We develop techniques to optimize the orbit and orbit closure…

In this note we show that in a commutative ring $R$ with unity, for any $n > 0$, if $I$ is an $n$-absorbing ideal of $R$, then $(\sqrt{I})^{n} \subseteq I$.

Let $S$ be a positively graded polynomial ring over a field of characteristic 0, and $I\subset S$ a proper graded ideal. In this note it is shown that $S/I$ is Golod if $\partial(I)^2\subset I$. Here $\partial(I)$ denotes the ideal…

Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$.…

Consider the polynomial ring $R_n = k[x_1,...,x_n]$, where $k$ is a field. Let $m = (x_1,...,x_n)$ and $I$ be an $m$-primary monomial ideal in $R$. We consider the problem of determining whether such ideals are in the Gorenstein liasion…

Let J \subseteq I be ideals in a commutative Noetherian ring R, and r,s \geq 0. We say that J is a demotion of I if I^r J^s = I^{r+s} \cap J^s for all r,s \geq 0. In this paper, we mainly aim to explore this notion in polynomial rings. In…