Pluskonstruktionen
Inom matematiken är pluskonstruktionen en metod för att förenkla fundamentalgruppen av ett rum utan att förändra dess homologi- och kohomologigrupper. Den introducerades av Mall:Harvs och användes av Daniel Quillen till att definiera algebraisk K-teori.
Den vanligaste användningen av pluskonstruktionen är i just i algebraisk K-teori. Om är en ring med enhet betecknar vi med gruppen av inverterbara -by--matriser med element i . kan inbäddas i genom att sätta i diagonalen nollor vid andra tomma ställen. Det direkta gränsvärdet av dessa grupper via dessa avbildningar betecknas med och dess klassificerande rum med . Pluskonstruktionen kan sedan appliceras till den perfekta normala undergruppen av , genererad av matriserna som skiljer sig från enhetsmatrisen i bara en icke-diagonal position. För är den -te homotopigruppen av det resulterande rummet, , den -te -gruppen av , .