Related papers: Finding Inverse Systems from Coordinates
In this article, we first generalize Kaplansky's zero-divisor conjecture of group-rings $K[G]$ (with $K$ a field) to the more general setting of $G$-graded rings $R=\bigoplus\limits_{n\in G}R_{n}$ with $G$ a torsion-free group. Then we…
The overall goal is to approach the Cohen--Macaulay property of the special fiber $\mathcal{F}(I)$ of an equigenerated homogeneous ideal $I$ in a standard graded ring over an infinite field. When the ground ring is assumed to be local, the…
Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…
Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with the vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ and…
Let $(R,\mathfrak{m},\Bbbk)$ be a regular local ring of dimension 3. Let $I$ be a Gorenstein ideal of $R$ of grade 3. Buchsbaum and Eisenbud proved that there is a skew-symmetric matrix of odd size such that $I$ is generated by the…
Given a homogeneous ideal I of a polynomial ring A=K[X_1,...,X_n] and a monomial order, we construct a new monomial ideal of A associated with I. We call it the zero-generic initial ideal of I with respect to the order and denote it with…
The purpose of this paper is to characterize one-dimensional local domains, or more in general reduced, in terms of its Macaulay's inverse system. This leads to study almost finitely generated modules in the divided power ring. We…
Let $I$ be a homogeneous ideal in the polynomial ring $R = k[z_1, \cdots, z_n]$ , where $k$ is an algebraically closed field of characteristic zero. Macaulay's Theorem provides constraints on the Hilbert function of $I$ or $R/I$ from one…
Let H = <n_1,...,n_e> be a numerical semigroup generated by e elements. Let k[H]= k[x_1, .... , x_e]/I_H = S/I_H be the semigroup ring of H over k. We define inverse polynomial J_{H,h} for h in H and express the defining ideal of I_H using…
Let R be a commutative ring with identity, and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by $\Gamma_I(R)$, is the graph whose vertices are the set $\{x \in R \setminus I | xy \in I$ for some $y \in R…
We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing…
Let $R$ be a commutative ring and let $I$ be an ideal of $R$. In this paper, we introduce the cozero-divisor graph $\acute{\Gamma}_I(R)$ of $R$ and obtain some related results.
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality…
This paper explores the structure of quasi-socle ideals I=Q:m^2 in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problem of when Q is a reduction of I and when the…
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials…
Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…
Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…
Let $X$ be an $n\times m$ matrix of indeterminates over a field $K$ (of sufficiently large characteristic) and $M_t$ the set of $m$-minors of $X$. We consider two objects: (1) the Ress algebra of the polynomial ring $K[X]$ with respect to…
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the…
Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$…