A Pride-Guba-Sapir exact sequence for the relation bimodule of an associative algebra
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909257967861760 |
|---|---|
| author | Steinberg, Benjamin |
| author_facet | Steinberg, Benjamin |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_11879 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Pride-Guba-Sapir exact sequence for the relation bimodule of an associative algebra Steinberg, Benjamin Group Theory Rings and Algebras 20M50, 20M05, 20F65, 16E05 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. |
| title | A Pride-Guba-Sapir exact sequence for the relation bimodule of an associative algebra |
| topic | Group Theory Rings and Algebras 20M50, 20M05, 20F65, 16E05 |
| url | https://arxiv.org/abs/2407.11879 |