States Congruence Matrices modulo Relative Elementary Matrices Give the Kernel of Relative Reduction on K_1: Let R be a unital ring and let I R be a two-sided ideal. Let GL(R)= _n GL_n(R) be the stable general linear group under the inclusions A diag(A,1), and let E(R) GL(R) be the stable elementary subgroup.