Some Cohen–Macaulay and Unmixed Binomial Edge Ideals

We study unmixed and Cohen-Macaulay properties of the binomial edge ideal of some classes of graphs. We compute the depth of the binomial edge ideal of a generalized block graph. We also characterize all generalized block graphs whose binomial edge ideals are Cohen–Macaulay and unmixed. So that we generalize the results of Ene, Herzog, and Hibi on block graphs. Moreover, we study unmixedness and Cohen–Macaulayness of the binomial edge ideal of some graph products such as the join and corona of two graphs with respect to the original graphs.     

Ideals and graphs,Gröbner bases and decision procedures in graphs

The well known correspondence between even cycles of an undirected graph and polynomials in a binomial ideal associated to a graph is extended to odd cycles and polynomials in another binomial ideal. Other binomial ideals associated to an undirected graph are also introduced. The results about them with topics on monomial ideals are used in order to show decision procedures for bipartite graphs, minimal vertex covers, cliques, edge covers and matchings with algebraic tools. All such procedures are implemented in Maple 9.5.     

Unmixed bipartite graphs and sublattices of the Boolean lattices

The correspondence between unmixed bipartite graphs and sublattices of the Boolean lattice is discussed. By using this correspondence, we show existence of squarefree quadratic initial ideals of toric ideals arising from minimal vertex covers of unmixed bipartite graphs.     

Minimal Free Resolutions of Complete Bipartite Graph Ideals

This paper gives an explicit construction for the minimal free resolution of a complete bipartite graph ideal. This yields a combinatorial formula for the Betti numbers and projective dimension of complete bipartite graph ideals.     

Ring graphs and complete intersection toric ideals

We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals are minimally generated by Gröbner bases. We prove that any graph can be oriented such that its toric ideal is a complete intersection with a universal Gröbner basis determined by the cycles. It turns out that bipartite ring graphs are exactly the bipartite graphs that have complete intersection toric ideals for any orientation.     

Parity binomial edge ideals

Parity binomial edge ideals of simple undirected graphs are introduced. Unlike binomial edge ideals, they do not have square-free Gröbner bases and are radical if and only if the graph is bipartite or the characteristic of the ground field is not two. The minimal primes are determined and shown to encode combinatorics of even and odd walks in the graph. A mesoprimary decomposition is determined and shown to be a primary decomposition in characteristic two.     

On complete intersection toric ideals of graphs

We study the graphs G for which their toric ideals I _G are complete intersections. In particular, we prove that for a connected graph G such that I _G is a complete intersection all of its blocks are bipartite except for at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. In this case, the generators of the toric ideal correspond to even cycles of G except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of these graphs satisfy the odd cycle condition. Finally, we characterize all complete intersection toric ideals of graphs which are normal.     

Vertex decomposability and regularity of very well-covered graphs

A graph is called very well-covered if it is unmixed without isolated vertices such that the cardinality of each minimal vertex cover is half the number of vertices. We first prove that a very well-covered graph is Cohen-Macaulay if and only if it is vertex decomposable. Next, we show that the Castelnuovo-Mumford regularity of the quotient ring of the edge ideal of a very well-covered graph is equal to the maximum number of pairwise 3-disjoint edges.     

Extremal Betti Numbers of Some Cohen-Macaulay Binomial Edge Ideals

We provide the regularity and the Cohen-Macaulay type of binomial edge ideals of Cohen-Macaulay cones,and we show the extremal Betti numbers of some classes of Cohen-Macaulay binomial edge ideals:Cohen-Macaulay bipartite and fan graphs.In addition,we compute the Hilbert-Poincaré series of the binomial edge ideals of some Cohen-Macaulay bipartite graphs.     

Symbolic powers of monomial ideals and vertex cover algebras

We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and it is standard graded if and only if the graph is bipartite. We also give a general upper bound for the maximal degree of the generators of vertex cover algebras.     

Linear resolutions of quadratic monomial ideals

We study the minimal free resolution of a quadratic monomial ideal in the case where the resolution is linear. First, we focus on the squarefree case, namely that of an edge ideal. We provide an explicit minimal free resolution under the assumption that the graph associated with the edge ideal satisfies specific combinatorial conditions. In addition, we construct a regular cellular structure on the resolution. Finally, we extend our results to non-squarefree ideals by means of polarization.     

Unmixedness of some weighted oriented graphs

Journal of Algebraic Combinatorics - Let $$D=(G,\mathcal {O},w)$$ be a weighted oriented graph whose edge ideal is I(D). In this paper, we characterize the unmixed property of I(D) for each one of...     

The Krull-Schmidt Theorem in the Case Two

We study what happens if, in the Krull-Schmidt Theorem, instead of considering modules whose endomorphism rings have one maximal ideal, we consider modules whose endomorphism rings have two maximal ideals. If a ring has exactly two maximal right ideals, then the two maximal right ideals are necessarily two-sided. We call such a ring of type 2. The behavior of direct sums of finitely many modules whose endomorphism rings have type 2 is completely described by a graph whose connected components are either complete graphs or complete bipartite graphs. The vertices of the graphs are ideals in a suitable full subcategory of Mod-R. The edges are isomorphism classes of modules. The complete bipartite graphs give rise to a behavior described by a Weak Krull-Schmidt Theorem. Such a behavior had been previously studied for the classes of uniserial modules, biuniform modules, cyclically presented modules over a local ring, kernels of morphisms between indecomposable injective modules, and couniformly presented modules. All these modules have endomorphism rings that are either local or of type 2. Here we present a general theory that includes all these cases.     

The Socle and Semisimplicity of a Kumjian–Pask Algebra

The Kumjian–Pask algebra KP(Λ) is a graded algebra associated to a higher-rank graph Λ and is a generalization of the Leavitt path algebra of a directed graph. We analyze the minimal left ideals of KP(Λ), and identify its socle as a graded ideal by describing its generators in terms of a subset of vertices of the graph. We characterize when KP(Λ) is semisimple, and obtain a complete structure theorem for a semisimple Kumjian–Pask algebra. As a consequence of this structure theorem, every semisimple Kumjian–Pask algebra can be obtained as a Leavitt path algebra of a directed graph.     

The Annihilating-Ideal Graph of a Commutative Ring with Respect to an Ideal

For a commutative ring R with identity, the annihilating-ideal graph of R, denoted 𝔸𝔾(R), is the graph whose vertices are the nonzero annihilating ideals of R with two distinct vertices joined by an edge when the product of the vertices is the zero ideal. We will generalize this notion for an ideal I of R by replacing nonzero ideals whose product is zero with ideals that are not contained in I and their product lies in I and call it the annihilating-ideal graph of R with respect to I, denoted 𝔸𝔾 _I (R). We discuss when 𝔸𝔾 _I (R) is bipartite. We also give some results on the subgraphs and the parameters of 𝔸𝔾 _I (R).     

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper, we give new upper bounds on the regularity of edge ideals whose resolutions are k-step linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.     

An edge grafting theorem on the energy of unicyclic and bipartite graphs

The energy of a graph is the sum of the absolute values of the eigenvalues of its adjacency matrix. The edge grafting operation on a graph is certain kind of edge moving between two pendant paths starting from the same vertex. In this paper we show how the graph energy changes under the edge grafting operations on unicyclic and bipartite graphs. We also give some applications of this result on the comparison of graph energies between unicyclic or bipartite graphs.