whitehead theorem for k1 of a ring
Proposition
Let \(R\) be a ring.
Then \(K_1(R) = \mathrm{Gl}(R)/\mathrm{E}(R)\)
see:
- K1 of a ring
- \(\mathrm{Gl}(R)\) is the infinite general linear group
- \(\mathrm{E}(r)\) is the infinite elementary linear group
Proof
omitted