relative infinite elementary linear group as normal subgroup

Let be a ring, an Ideal
Then the relative infinite elementary linear group is a normal subgroup

follows from the snake lemma for groups and normal subgroups

for

where the upper row consists precisely of the kernels (either by definition or relative K1-Group as kernel) , which shows that

is exact.

Hence is the kernel resp. normal (cf. kernel as normal subgroup)