States [Whitehead Lemma](/theorems/8652) for K_1 as Abelianization: Let R be a unital ring. Let GL(R)= _nGL_n(R) be the stable general linear group under the stabilization maps A diag(A,1), and let E(R) GL(R) be the stable elementary subgroup generated by the elementary transvections.