Definition, synonyms and related words
An abelian group constructed from a commutative monoid in a universal way.