determinant map of k1 of a ring
Proposition
Let \(R\) be a commutative ring.
Then the determinant map of infinite general linear group
induces an algebraic group-epimorphism
Proof - welldefined
1) independent of \(n\)
follows from Kästchensatz
2) \(E_n(R) \subseteq \mathrm{Gl}_n(R)\)
follows from