The global dimension of a trace monoid ring

From MaRDI portal
(Redirected from Publication:535217)



Abstract: For any free partially commutative monoid M(E,I), we compute the global dimension of the category of M(E,I)-objects in an Abelian category with exact coproducts. As a corollary, we generalize Hilbert's Syzygy Theorem to polynomial rings in partially commuting variables.


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.











This page was built for publication: The global dimension of a trace monoid ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535217)