K-theory Higher algebraic K-theory Object
Classifying space BGL
Builds on General linear groupStable general linear groupClassifying space of a groupGeometric realizationNerve of a categoryGroup homologyPlus construction
Description
Let be a ring with identity. For , let be the general linear group of invertible matrices over . Embed in by , and let be the stable general linear group, viewed as a discrete group. The space is a classifying space of : a connected CW complex with and for all .
Check: the geometric realization of the nerve of , seen as a category with one object, has exactly these homotopy groups. Since is the union of the , one can take .
Remarks
The homology of is the group homology of , and it is the colimit of the homology of the groups . In degree , . The space itself has no higher homotopy groups. Quillen's plus construction with respect to the commutator subgroup turns it into , which has the same homology and whose homotopy groups are the K-groups for . For the group is taken here with the discrete topology, so is not the space of topology.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Classifying space of a group concept
- General linear group object
- Geometric realization concept
- Group homology concept
- Nerve of a category concept
- Plus construction concept
- Stable general linear group concept
- Classifying space BGL object
Where this leads
4 pages build on this one.
Further reading
About this page
| Tag | BK3091CPGF |
|---|---|
| URI | m2://BK3091CPGF |
| Kind | object |
| Writing | W0 stub |
| MSC | 19D06, 55R35 |
| Instance of | Classifying space of a group |
| Uses | General linear group, Stable general linear group, Classifying space of a group, Geometric realization, Nerve of a category, Group homology, Plus construction |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
- field same_as: the identifiers in the databases (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.