Konstruksi plus

Dalam matematika, konstruksi plus merupakan sebuah metode untuk menyederhanakan grup fundamental sebuah ruang tanpa mengubah grup homologi dan kohomologinya. Ini diperkenalkan oleh Michel Kervaire (1969), dan digunakan oleh Daniel Quillen untuk mendefinisikan teori-K aljabar. Diberikan sebuah subgrup normal sempurna dari grup fundamental sebuah kompleks CW terhubung X mengikat dua sel di sepanjang gelung dalam X yang citra dalam grup fundamental menghasilkan subgrup. Operasi ini secara umum mengubah homologi dari ruang, namun perubahan ini dapat dibalikkan dengan penjumlahan tiga sel. Penerapan paling umum dari konstruksi plus ada di dalam teori-K aljabar. Jika R merupakan sebuah gelanggang unital, kita lambangkan dengan GL n ⁡ , grup terbalikkan matriks n kali n dengan elemen dalam R . GL n ⁡ menghubungkan dengan GL n + 1 ⁡ dengan mengikat sebuah 1 di sepanjang diagonal dan 0 di tempat lain. Limit langsung grup ini melalui pemetaan ini dilambangkan GL ⁡ dan ruang penggolongannya dilambangkan B GL ⁡ . Konstruksi plus dapat kemudian diterapkan menjadi subgrup normal sempurna E dari GL ⁡ = π 1 , dihasilkan oleh matriks yang hanya berbeda dari matriks identitas dalam satu entri luar diagonal. Untuk n > 0 , grup homotopi ke- n dari ruang yang dihasilkan, B GL ⁡ + , isomorfik grup- K ke- n dari R , yaitu,