Assertion: abelian group | /r/HasProperty | generated by the set
Facets:
Source sentences:
text: Then define the Grothendieck group G 0 ( R ) {\displaystyle G_{0}(R)} as the abelian group generated by the set { [ X ] ∣ X ∈ R − M o d } {\displaystyle \{[X]\mid