whitehead theorem for k1 of a ring

Proposition

Let \(R\) be a ring.
Then \(K_1(R) = \mathrm{Gl}(R)/\mathrm{E}(R)\)

see:

  1. K1 of a ring
  2. \(\mathrm{Gl}(R)\) is the infinite general linear group
  3. \(\mathrm{E}(r)\) is the infinite elementary linear group

Proof

omitted

Date: nil

Author: Anton Zakrewski

Created: 2025-01-15 Mi 20:17