Drawing commutative diagrams in surfaces: an embedding theorem for monoids

We present a solution, due to Krstić, to a classical problem in universal algebra—finding necessary and sufficient conditions for a monoid to embed into a group—using the methods of geometric group theory. Following this, we extend the technique to prove a new topological characterization of monoids that embed into abelian groups, and Boolean groups.