Konstruksi plus

Dalam matematika, konstruksi plus merupakan sebuah metode untuk menyederhanakan grup fundamental sebuah ruang tanpa mengubah grup homologi dan kohomologinya. Ini diperkenalkan oleh Templat:Harvs, 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 ${\mathrm{GL}}_n(R)$, grup terbalikkan matriks $n$ kali $n$ dengan elemen dalam $R$. ${\mathrm{GL}}_n(R)$ menghubungkan dengan ${\mathrm{GL}}_{n+1}(R)$ dengan mengikat sebuah $1$ di sepanjang diagonal dan $0$ di tempat lain. Limit langsung grup ini melalui pemetaan ini dilambangkan $\mathrm{GL}(R)$ dan ruang penggolongannya dilambangkan $B\mathrm{GL}(R)$. Konstruksi plus dapat kemudian diterapkan menjadi subgrup normal sempurna $E(R)$ dari $\mathrm{GL}(R)={\pi }_1(B\mathrm{GL}(R))$, 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\mathrm{GL}(R{)}^{+}$, isomorfik grup-$K$ ke-$n$ dari $R$, yaitu,

$${\pi }_n(B\mathrm{GL}(R{)}^{+})\cong K_n(R)$$

Lihat pula

• Kobordisme semi-s

Referensi

• Templat:Citation
• Templat:Citation
• Templat:Citation.
• Templat:Citation.
• Templat:Citation.

Pranala luar

• Templat:Eom