question: What method formally adds inverses to elements to any monoid ?
answer: the Grothendieck group
turker_answer: the Grothendieck group adds inverses to elements for any modoid
rule-based: The Grothendieck group adds inverses to elements to any monoid .