Math 2.0

K-theory Definition

Steinberg relations

Builds on RingElementary matrixCommutator of two elements

Definition

Let RR be a ring with identity, and let n≥3n \ge 3. Let HH be a group, and let xij(r)x_{ij}(r) be elements of HH, one for each pair of indices 1≤i,j≤n1 \le i, j \le n with i≠ji \ne j and each r∈Rr \in R. For g,h∈Hg, h \in H, write [g,h]=ghg−1h−1[g, h] = g h g^{-1} h^{-1} for their commutator. The elements xij(r)x_{ij}(r) satisfy the Steinberg relations if, for all r,s∈Rr, s \in R:

  1. xij(r) xij(s)=xij(r+s)x_{ij}(r) \, x_{ij}(s) = x_{ij}(r + s).
  2. [xij(r),xjl(s)]=xil(rs)[x_{ij}(r), x_{jl}(s)] = x_{il}(rs) when ii, jj, ll are pairwise distinct.
  3. [xij(r),xkl(s)]=1[x_{ij}(r), x_{kl}(s)] = 1 when j≠kj \ne k and i≠li \ne l.

Remarks

Example: the elementary matrices eij(r)=I+rEije_{ij}(r) = I + r E_{ij} in GLn(R)GL_n(R) satisfy the Steinberg relations, where EijE_{ij} is the matrix with 11 at position (i,j)(i, j) and 00 elsewhere. Indeed EijEklE_{ij} E_{kl} equals EilE_{il} if j=kj = k and 00 otherwise. So (I+rEij)(I+sEij)=I+(r+s)Eij(I + rE_{ij})(I + sE_{ij}) = I + (r + s)E_{ij}, because Eij2=0E_{ij}^2 = 0 for i≠ji \ne j. For pairwise distinct i,j,li, j, l, a direct product of the four factors gives [eij(r),ejl(s)]=I+rsEil[e_{ij}(r), e_{jl}(s)] = I + rs E_{il}. If j≠kj \ne k and i≠li \ne l, then EijEkl=0=EklEijE_{ij}E_{kl} = 0 = E_{kl}E_{ij}, so the two matrices commute.

Non-example: the case l=il = i is excluded in clause 2. For n=2n = 2 and R=ℤR = \Z, the matrices e12(1)e_{12}(1) and e21(1)e_{21}(1) have commutator (3−110)\begin{pmatrix} 3 & -1 \\ 1 & 0 \end{pmatrix}, which is not an elementary matrix. So no relation of the form of clause 2 holds for the pair (i,j,l)=(1,2,1)(i, j, l) = (1, 2, 1).

Clause 1 implies xij(0)=1x_{ij}(0) = 1 and xij(r)−1=xij(−r)x_{ij}(r)^{-1} = x_{ij}(-r).

Reading path

To understand this page from the ground up, read these 4 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. Commutator of two elements concept
  2. Elementary matrix concept
  3. Ring concept
  4. Steinberg relations definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Steinberg_group_(K-theory)
About this page
TagEXNG4ABYWD
URIm2://EXNG4ABYWD
Kinddefinition
WritingW0 stub
MSC19C20, 19C09
DefinesSteinberg relations
UsesRing, Elementary matrix, Commutator of two elements
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)
  • a source with a locator (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.