On the Cubical Homology Groups of Free Partially Commutative Monoids

arXivmath/0611011MaRDI QIDQ6478149FDOQ6478149

Authors: Ahmet A. Khusainov 

Publication date: 1 November 2006

Abstract: We study a Leech homology of a locally bounded free partially commutative monoid $M(E,I)$. Given a contravariant natural system of abelian groups $F$ on $M(E,I)$ we build a precubical set $T(E,I)$ with a homological system of abelian groups $$ and prove that the Leech homology groups $H_n(M(E,I),F)$ are isomorphic to the cubical homology groups $$, $ngeq0$. As a consequence we have confirmed a conjecture that if the free partially commutative monoid does not contain $>n$ mutually commuting generators, then its the homological dimension $leqn$. We have built the complexes of finite length for a computation of the Leech homology of such monoids and the Hochschild homology of their monoid rings. The results are applied to the homology of asynchronous transition systems. We give the positive answer to a question that the homological dimension of the asynchronous system does not greater than the maximal number of its mutually independent events. We have built the complex for computing the integral homology groups of an asynchronous transition system by the Smith normal form of integer matrices.

Mathematics Subject Classification ID

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Chain complexes (category-theoretic aspects), dg categories (18G35) Resolutions; derived functors (category-theoretic aspects) (18G10) Homological dimension (category-theoretic aspects) (18G20) Connections of semigroups with homological algebra and category theory (20M50) Applied homological algebra and category theory in algebraic topology (55U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Spectral sequences, hypercohomology (18G40) Categories of machines, automata (18B20)

This page was built for publication: On the Cubical Homology Groups of Free Partially Commutative Monoids

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