Question: What method formally adds inverses to elements to any monoid?
Sentence: There is a general method to formally add inverses to elements to any (abelian) monoid, much the same way as (Q ∖ {0}, ·) is derived from (Z ∖ {0}, ·), known as the Grothendieck group.
Answer in sentence: yes