C++ Program for detecting chordality. Chordal graphs are probably one of the most important objects in combinatorial commutative algebra. The algebraic importance of chordal graphs is twofolds. First, the independence complex of a chordal graph is shellable [5, Theorem 2.13] (even more, vertex decomposable [6, Corollary 5.5]) and hence the Stanley-Reisner ring of these complexes are sequentially Cohen-Macaulay. Second, chordal graphs lead to a beautiful classification of square-free monomial ideals with 2-linear resolution. Indeed, thanks to Fröberg, we know that a square-free monomial ideal I has a 2-linear resolution if and only if I is the edge ideal of a non-trivial graph G, such that the complement of G is a chordal graph. It turns out that, by using Alexander duality, the algebraic mechanism behind chordal graphs is quite rich. For example the following theorem explains the power of chordal graphs in combinatorial commutative algebra

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element