Book contents
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- 1 Abstract Rewriting and 1-Dimensional Polygraphs
- 2 Two-Dimensional Polygraphs
- 3 Operations on Presentations
- 4 String Rewriting and 2-Polygraphs
- 5 Tietze Transformations and Completion
- 6 Linear Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
6 - Linear Rewriting
from Part I - Fundamentals Of Rewriting
Published online by Cambridge University Press: 18 March 2025
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- 1 Abstract Rewriting and 1-Dimensional Polygraphs
- 2 Two-Dimensional Polygraphs
- 3 Operations on Presentations
- 4 String Rewriting and 2-Polygraphs
- 5 Tietze Transformations and Completion
- 6 Linear Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
Summary
This chapter presents rewriting techniques for associative algebras. Here, algorithms are sought to turn a given presentation by generators and relations into a rewriting system by orienting the latter, thereby producing linear bases of the presented algebra. In particular, this approach applies to various fundamental decision problems, such as the word problem, ideal membership, or to compute quadratic bases, e.g., Poincaré-Birkhoff-Witt bases, Hilbert series, syzygies of presentations, homology groups, and Poincaré series. However, if rewriting rules are required to be compatible with the linear structure, an immediate problem arises: no rewriting system can be terminating. In order to fix this problem, the structure of linear polygraph with an appropriate notion of reduction can be considered. Linear polygraphs are introduced as a framework for linear rewriting, their confluence properties are studied, and Gröbner bases and Poincaré-Birkhoff-Witt bases are expressed in the setting of linear polygraphs.
- Type
- Chapter
- Information
- Polygraphs: From Rewriting to Higher Categories , pp. 126 - 146Publisher: Cambridge University PressPrint publication year: 2025