Grothendieck-groep
Uit Wikipedia, de vrije encyclopedia
In de groepentheorie, een deelgebied van de abstracte algebra, is de grothendieck-groep van een gegeven commutatieve halfgroep een in een bepaald opzicht kleinste abelse groep die de gegeven halfgroep omvat. Dat houdt in dat elke abelse groep die een homomorf beeld van de gegeven halfgroep bevat, ook een homomorf beeld van de grothendieck-groep van bevat.
De grothendieck-groep ontleent zijn naam aan de meer algemene constructie in de categorietheorie, die door Alexander Grothendieck in het midden van de jaren 1950 werd geïntroduceerd in zijn fundamentele werk, dat resulteerde in de ontwikkeling van de K-theorie. wat leidde tot zijn bewijs van de stelling van Grothendieck-Riemann-Roch.