Gruppo di Grothendieck

In matematica, in particolare in algebra astratta, il gruppo di Grothendieck di un semigruppo commutativo ${\displaystyle S}$ è un gruppo, costruito in modo tale che sia "il più piccolo" gruppo che contiene ${\displaystyle S}$. Prende nome dalla costruzione più generale introdotta da Alexander Grothendieck nella teoria delle categorie con i suoi lavori fondamentali nella metà del 1950 che portarono allo sviluppo della K-teoria.