Assertion: abelian group | /r/Synonym | characterized
Facets:
value: by a certain universal property
type: OTHER
Source sentences:
text: Such an abelian group K always exists; it is called the Grothendieck group of M. It is characterized by a certain universal property and can also be concretely constructed from M.