Math 2.0

K-theory Definition

Stable general linear group

Builds on RingGeneral linear groupGroup homomorphismDirect limit

Definition

Let RR be a ring with identity, and let GLn(R)GL_n(R) be the general linear group of invertible n×nn \times n matrices over RR. For each n≥1n \ge 1, let ιn ⁣:GLn(R)→GLn+1(R)\iota_n \colon GL_n(R) \to GL_{n+1}(R) be the injective group homomorphism ιn(A)=(A001).\iota_n(A) = \begin{pmatrix} A & 0 \\ 0 & 1 \end{pmatrix}. The stable general linear group GL(R)GL(R) is the direct limit of the sequence GL1(R)→GL2(R)→GL3(R)→⋯GL_1(R) \to GL_2(R) \to GL_3(R) \to \cdots of these maps.

Remarks

Equivalently, GL(R)GL(R) is the group of infinite matrices (aij)i,j≥1(a_{ij})_{i, j \ge 1} over RR that are invertible and differ from the identity matrix in only finitely many entries. Each GLn(R)GL_n(R) is a subgroup of GL(R)GL(R), and GL(R)GL(R) is their union. Example: over ℤ\Z, the matrices (0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} and (010100001)\begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} give the same element of GL(ℤ)GL(\Z), since the second is ι2\iota_2 of the first. Non-example: the infinite diagonal matrix with every diagonal entry equal to −1-1 is not in GL(ℤ)GL(\Z), since it differs from the identity in infinitely many entries.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Direct limit concept
  2. General linear group object
  3. Group homomorphism concept
  4. Ring concept
  5. Stable general linear group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/General_linear_group, Stable general linear group
About this page
TagQ4RHTAS8BV
URIm2://Q4RHTAS8BV
Kinddefinition
WritingW0 stub
MSC19B14, 20G35
DefinesStable general linear group
UsesRing, General linear group, Group homomorphism, Direct limit
Changed3 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)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.