Math 2.0

K-theory K1 and Whitehead groups Concept

Elementary subgroup

Summary

The elementary subgroup En(R)E_n(R) is a subgroup of the general linear group GLn(R)GL_n(R) over a ring RR. It is generated by the elementary matrices that add a multiple of one row to another. The union E(R)E(R) inside the stable general linear group is, by Whitehead's lemma, the commutator subgroup of GL(R)GL(R). So K1 of a ring is the quotient GL(R)/E(R)GL(R)/E(R), which measures how far invertible matrices are from products of row operations.

Where this leads

9 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Whitehead%27s_lemma
About this page
TagE5JXB0E324
URIm2://E5JXB0E324
Kindconcept
WritingW0 stub
MSC19B14, 20G35
SpecializesSubgroup
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

Used by

Definitions