Factorability, String Rewriting and Discrete Morse Theory

This article deals with the notion of factorability. Elements of a factorable group or monoid possess a normal form, which leads to a small complex homotopy equivalent to its bar complex, thus computing its homology. We investigate the relations to string rewriting and to discrete Morse theory on the bar complex. Furthermore, we describe a connection between factorability and Garside theory.