The global dimension of a trace monoid ring (Q535217)

Given a set \(E\) and an irreflexive, symmetric binary relation \(I\subset E\times E\) on \(E\) (\(\forall e\in E\,\, (e,e)\notin I\) and \((a,b)\in I\Rightarrow (b,a)\in I\)), the monoid generated by \(E\) and relations \(ab=ba, (a,b)\in I\) is called the free partially commutative monoid or trace monoid and is denoted by \(M(E,I)\). Given an abelian category \(\mathcal A\), the author's goal is to compute the global dimension of (the category of objects in) \(\mathcal A\) with left actions of the monoid \(M(E,I)\). A notion of the clique number \(\omega(E,I)\) proves to be useful in the constructions: the clique number \(\omega(M,I)\) of a simple graph with vertices \(E\) and edges \(I\), is the supremum of the numbers of pairwise adjacent vertices (cliques) of the graph. The main results are as follows: Theorem 6: Dim\(M(E,I)=\omega(E,I)\), where Dim is the Baues-Wirsching dimension. Theorem 7: For an abelian category \(\mathcal A\) with exact coproducts, gl.dim\(\mathcal A^{M(E,I)}=\omega(E,I)+\)gl.dim\(\mathcal A\). The author also conjectures that the assumption on exactness of coproducts may be removed.