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 Kervaire (1969) 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 , .

Källor redigera

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Plus construction, 24 februari 2015.

Externa länkar redigera