Grothendieck groups
English
Noun
Grothendieck groups
plural of
Grothendieck group