relative infinite general linear group

Let be a ring, an ideal.
Let denote the pullback in category Ring

resp.

Then the relative infinite general linear group is defined as kernel

in category Group

see also:

• explicite description of a pullback of a ring and ideal
  
• infinite general linear group
  
• infinite general linear group functor