In this paper we discuss minimal primes over permanental ideals of generic matrices. We give a complete list of the minimal primes over ideals of 3 x 3 permanents of a generic matrix, and show that there are monomials in the ideal of maximal permanents of a d x 2d-1 matrix if the characteristic of the ground field is sufficiently large. We also discuss the Alon-Jaeger-Tarsi Conjecture, using our results and techniques to strenthen the previously known results.
The principal result is a primary decomposition of ideals generated by the (2x2)-subpermanents of a generic matrix. These permanental ideals almost always have embedded components and their minimal primes are of three distinct heights. Thus the permanental ideals are almost never Cohen-Macaulay, in contrast with determinantal ideals.
We study the structure of ideals generated by some classes of 2 \times 2 permanents of hypermatrices. This generalizes [9] on 2 x 2 permanental ideal of generic matrices. We compare the obtained structure to that of the corresponding determinantal ideals in [Swanson-Taylor 11]: while the notion of t-switchability introduced in [11] plays a role for both permanental and determinantal ideals, the permanents require further restrictions, which in general increases the number of minimal primes. In the last two section we examine a few related classes of permanental ideals. This is an extension of …
We give an explicit formula for the Hilbert-Poincaré series of the parity binomial edge ideal of a complete graph $K_{n}$ or equivalently for the ideal generated by all $2\times 2$-permanents of a $2\times n$-matrix. It follows that the depth and Castelnuovo-Mumford regularity of these ideals are independent of $n$.
We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.
The associated prime ideals of powers of polymatroidal ideals are studied, including the stable set of associated prime ideals of this class of ideals. It is shown that polymatroidal ideals have the persistence property and for transversal polymatroids and polymatroidal ideals of Veronese type the index of stability and the stable set of associated ideals is determined explicitly.
In this paper, we study associated primes and depth of integral closures of powers of edge ideals. We provide sharp bounds on how big of powers for which the set of associated primes and the depth of integral closures of powers of edge ideals are stable.
The prime ideal sum graph of a commutative unital ring $R$, denoted by $PIS(R)$, is an undirect and simple graph whose vertices are non-trivial ideals of $R$ and there exists and edge between to distinct vertices if and only if their sum is a prime ideal of $R$. In this paper, the metric dimension of $PIS(R)$ is discussed and some formulae for this parameter in $PIS(R)$ are given.
The aim of this paper is to study the associated primes of powers of squarefree monomial ideals. Hypergraphs and squarefree monomial ideals are strongly connected. The cover ideal $J(H)$ of a hypergraph $H$ is the intersection of the primes corresponding to the edges of $H$. We define the $shadow$ of $H$ as a certain set of smaller hypergraphs related to $H$. We then describe how the shadows of $H$ preserve information about the associated primes of the powers of $J(H)$. Some implications to the persistence property are studied.
We specify a class of graphs, $H_t$, and characterize the irreducible decomposition of all powers of the cover ideals. This gives insight into the structure and stabilization of the corresponding associated primes; specifically, providing an answer to the question "For each integer $t\geq 0$, does there exist a (hyper) graph $H_t$ such that stabilization of associated primes occurs at $s\geq (χ(H_t)-1)+t$?" asked by Francisco, Hà, and Van Tuyl. For each $t$, $H_t$ has chromatic number 3 and associated primes that stabilize at $s=2+t$.
Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.
It is shown that any set of nonzero monomial prime ideals can be realized as the stable set of associated prime ideals of a monomial ideal. Moreover, an algorithm is given to compute the stable set of associated prime ideals of a monomial ideal.
We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated prime ideal of dimension one larger.
It is shown that a squarefree principal Borel ideal satisfies the persistence property for the associated prime ideals. For the graded maximal ideal we compute the index of stability with respect to squarefree principal Borel ideals and determine their stable set of associated prime ideals.
In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.
It is known that the polyomino ideal of a simple polyomino is a prime ideal. A new class of nonsimple polyominoes $\Pc$ for which the polyomino ideal $I_{\Pc}$ is a prime ideal will be presented.
In this paper, we introduce a new generalization of weakly prime ideals called $I$-prime. Suppose $R$ is a commutative ring with identity and $I$ a fixed ideal of $R$. A proper ideal $P$ of $R$ is $I$-prime if for $a, b \in R$ with $ab \in P-IP$ implies either $a \in P$ or $b \in P$. We give some characterizations of $I$-prime ideals and study some of its properties. Moreover, we give conditions under which $I$-prime ideals becomes prime or weakly prime and we construct the view of $I$-prime ideal in decomposite rings.
In this paper, the new concept of quasi-prime ideal is introduced which at the same time generalizes the `prime ideal' and `primary ideal' notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which generalizes the Zariski topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is proved that if the Grothendieck t-functor is applied on the quasi-prime spectrum then the prime spectrum is deduced. It is also shown that there are the cases that the prime spectrum and quasi-prime spectrum…
In this paper, we introduce the concepts of strongly 2-absorbing primary ideals (resp., submodules) and strongly 2-absorbing ideals (resp., submodules) as generalizations of strongly prime ideals. Furthermore, we investigate some basic properties of these classes of ideals.
We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples are also discussed to strengthen the results.
Let $R$ be a commutative integral domain and let $\star$ be a semistar operation of finite type on $R$, and $I$ be a quasi-$\star$-ideal of $R$. We show that, if every minimal prime ideal of $I$ is the radical of a $\star$-finite ideal, then the set $\Min(I)$ of minimal prime ideals over $I$ is finite.
This paper investigates the doubly exponential ideal membership property of the Mayr-Meyer ideals from the point of view of their associated primes. A doubly-exponential upper bound on the set of associated primes is proved. In the paper a new family of ideals emerges which also has the doubly exponential ideal membership property. More on the new family can be found in author's paper "A new family of ideals with the doubly exponential ideal membership property".
In this paper we present a technical lemma about localization at countable infinitely many prime ideals. We apply this lemma to get many results about the finiteness of associated prime ideals of local cohomology modules.
We prove that the initial ideal of the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers is Ratliff-Rush closed.
This paper introduce and study weakly 1-absorbing prime ideals in commutative rings. Let $A$ be a commutative ring with a nonzero identity $1\neq 0$. A proper ideal $P$ of $A$ is said to be a weakly 1-absorbing prime ideal if for each nonunits $x, y, z \in A$ with $0\neq xyz \in P$, then either $xy \in P$ or $z \in P$. In addition to give many properties and characterizations of weakly 1-absorbing prime ideals, we also determine rings in which every proper ideal is weakly 1-absorbing prime. Furthermore, we investigate weakly 1-absorbing prime ideals in $C(X)$, which is the ring of continuous f…
We prove that for all $n$, simultaneously, we can choose prime filtrations of $R/I^n$ such that the set of primes appearing in these filtrations is finite.
Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module of dimension $d$. If $R$ is a complete local ring and $M$ is finite, then attached prime ideals of $H^{d-1}_{I,J}(M)$ are computed by means of the concept of co-localization. Also, we illustrate the attached prime ideals of $H^{t}_{I,J}(M)$ on a non-local ring $R$, for $t= \dim M$ and $t= cd(I,J,M)$.
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 containing the prime ideal pA whose formal fiber is semilocal with maximal ideals the elements of C.
We exhibit the elementary but somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals. It leads to the construction of a bountiful set of Cohen--Macaulay Rees algebras.
In this paper, we introduce $ϕ$-1-absorbing prime ideals in commutative rings. Let $R$ be a commutative ring with a nonzero identity $1\neq0$ and $ϕ:\mathcal{I}(R)\rightarrow\mathcal{I}(R)\cup\{\emptyset\}$ be a function where $\mathcal{I}(R)$ is the set of all ideals of $R$. A proper ideal $I$ of $R$ is called a $ϕ$-1-absorbing prime ideal if for each nonunits $x,y,z\in R$ with $xyz\in I-ϕ(I)$, then either $xy\in I$ or $z\in I$. In addition to give many properties and characterizations of $ϕ$-1-absorbing prime ideals, we also determine rings in which every proper ideal is $ϕ$-1-absorbing prim…
It is well known that a domain without proper strongly divisorial ideals is completely integrally closed. In this paper we show that a domain without {\em prime} strongly divisorial ideals is not necessarily completely integrally closed, although this property holds under some additional assumptions.
We show that the Stanley's Conjecture holds for an intersection of four monomial prime ideals of a polynomial algebra $S$ over a field and for an arbitrary intersection of monomial prime ideals $(P_i)_{i\in [s]}$ of $S$ such that $P_i\not\subset Σ_{1=j\not =i}^s P_j$ for all $i\in [s]$.
We give an elementary proof that for a ring homomorphism A -> B, satisfying the property that every ideal in A is contracted from B, the following property holds: for every chain of prime ideals p_0 \subset ... \subset p_r in A there exists a chain of prime ideals q_0 \subset ... \subset q_r in B such that q_i \cap A = p_i.
Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal of $R$ is syzygetic. As a consequence, one derives a characterization of these rings using the André-Quillen homology.
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the prime ideals are order dense, secondly, that there are only finitely many prime ideals, thirdly, that every prime ideal is principal, and lastly, that every ascending chain of prime ideals is stationary (a property that we refer to as prime Noetherian). We also completely characterize the prime ideals in vector lattices of piecewise polynomials, which turns out…
Let R be a commutative ring with unity $1\in R$. In this article, we introduce the concept of prime principal right ideal rings (\textbf{PPRIR}), A prime ideal P of R is said to be prime principal right ideal (\textbf{PPRI}) is given by $P =\{ ar : r\in R\}$ for some element a. The ring R is said to be prime principal right ideal ring (\textbf{PPRIR}) if every prime ideal of R is a prime principal right ideal (\textbf{PPRI}). A prime principal right ideal ring R is called a prime principal right ideal domain (\textbf{PPRID}) if R is a domain. Several properties and characteristics of prime pri…
For which monomial supports do most polynomials generate a prime ideal? We give necessary and sufficient conditions for the radical of the ideal to be prime over an algebraically closed field. In characteristic zero, the same conditions give primeness. As an application we show that under the same combinatorial conditions on Newton polytopes, the stable intersection of tropical hypersurfaces is connected through codimension one.
Aghapournahr and Melkersson introduced the notion of Melkersson condition on a Serre subcategory of the module category over a commutative noetherian ring. This paper investigates the structure of set of prime ideals satisfying a Melkersson condition on a Serre subcategory. We try to calculate members of a set of these prime ideals for a subcategory consisting of extension modules in two given Serre subcategories of the module category. Meanwhile, we classify the structure of set of prime ideals satisfying a Melkersson condition over a 0-dimensional ring, a 1-dimensional local ring, and a 2-di…
We present combinatorial characterizations for the associated primes of the second power of squarefree monomial ideals and criteria for this power to have positive depth or depth greater than one.
Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $ϕ:GI(R)\rightarrow GI(R)\cup\{\emptyset\}$ is a function. In this article, we introduce and study the concept of graded $ϕ$-$1$-absorbing prime ideals. A proper graded ideal $I$ of $R$ is called a graded $ϕ$% -$1$-absorbing prime ideal of $R$ if whenever $a,b,c$ are homogeneous nonunit elements of $R$ such that $abc\in I-ϕ(I)$, then $ab\in I$ or $c\in I$. Several properties of graded $ϕ$-$1$-absorbing prime ideals have been examined.
We consider determinantal ideals, where the generating minors are encoded in a hypergraph. We study when the generating minors form a Gröbner basis. In this case, the ideal is radical, and we can describe algebraic and numerical invariants of these ideals in terms of combinatorial data of their hypergraphs, such as the clique decomposition. In particular, we can construct a minimal free resolution as a tensor product of the minimal free resolution of their cliques. For several classes of hypergraphs we find a combinatorial description of the minimal primes in terms of a prime splitting. That i…
Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the André-Quillen homology.
Let $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1, \ldots ,C_m$. We show that there is a reduced local ring $S \subseteq B$ with maximal ideal $S \cap M$ such that the completion of $S$ with respect to its maximal ideal is isomorphic to the completion of $B$ with respect to its maximal ideal and such that, if $P$ and $Q$ are prime ideals of $B$, then $P \cap S = Q \cap S$ if and only if $P$ and $Q$ are in $C_i…
