English

Ideals of graphs: finding a set of generators

Logic 2019-08-29 v2 Rings and Algebras

Abstract

In this paper, we consider homological properties of so-called graph ideals. Consider Γ\Gamma is a graph with vertices t1t_1, ..., tst_s, without self-loops and multiple adjacencies. We can associate with such a graph an ideal I(Γ)I({\Gamma}) of polynomial ring A(Γ)=k[t1,...,ts] A({\Gamma}) = k[t_1,...,t_s] over k, generated by xij=titjx_{ij}=t_it_j, iji\ne j, corresponding to edges of Γ\Gamma. The object of this paper is an algebra of Koszul homology H((xij),A(Γ)) H((x_{ij}),A({\Gamma})) of Koszul complex K((xij),A(Γ)).K((x_{ij}),A({\Gamma})). The result of this paper is finding a minimal multiplicative system of generators of this algebra for some graphs Γ\Gamma. There is an element \bigstar in homology algebra corresponding each vertex in the graph, that should be included in every set of generators of each graph. This is a sufficient system for trees. Also, there is a generator element \bigcirc for every cycle with length n if n mod 3=2. System of \bigstar-s and maybe \bigcirc is sufficient for a graph with only one cycle. Also, here described a set of generators for a graph that is two cycles with exactly one common vertex. If a graph is two graphs with known algebra generators, connected by an edge, the answer for the whole graph is also described in this paper.

Keywords

Cite

@article{arxiv.1908.09906,
  title  = {Ideals of graphs: finding a set of generators},
  author = {Evgeny S. Golod and Georgy A. Osipov},
  journal= {arXiv preprint arXiv:1908.09906},
  year   = {2019}
}

Comments

This paper is done in Russian, further translation is expected

R2 v1 2026-06-23T10:57:22.147Z