natural transformation from elementary linear group to general linear group
Proposition
Let \(R\) be a ring, \(E_n(R)\) the elementary linear group functor and \(\mathrm{GL}_n(R)\) the general linear group functor
Then the inclusion
is natural with respect to ring-homomorphisms
Proof
follows immediately from the definition, since for a ring homomorphism
the induced map
is just given by restricting the morphism