I want to know the answer to the following question:
What method formally adds inverses to elements to any monoid?
All the background I'm provided with is that "For example, if the requirement that every element has an inverse is eliminated, the resulting algebraic structure is called a monoid.". Is that enough to answer the question?
Answer: no