A Pride-Guba-Sapir exact sequence for the relation bimodule of an associative algebra

TL;DR

This paper generalizes an exact sequence relating the relation bimodule and homology of the Squier complex from monoids to associative algebras, providing a more elementary proof.

Contribution

It extends the Pride-Guba-Sapir exact sequence to associative algebra presentations with a simpler proof approach.

Findings

Generalized the exact sequence to associative algebras

Provided a more elementary proof method

Connected the relation bimodule with homology in new context

Abstract

Given a presentation of a monoid $M$, combined work of Pride and of Guba and Sapir provides an exact sequence connecting the relation bimodule of the presentation (in the sense of Ivanov) with the first homology of the Squier complex of the presentation, which is naturally a $\mathbb ZM$-bimodule. This exact sequence was used by Kobayashi and Otto to prove the equivalence of Pride's finite homological type (FHT) property with the homological finiteness condition bi-$\mathrm{FP}_3$. Guba and Sapir used this exact sequence to describe the abelianization of a diagram group. We prove here a generalization of this exact sequence of bimodules for presentations of associative algebras. Our proof is more elementary than the original proof for the special case of monoids.