infinite general linear group

Let \(R\) be a ring, then the infinite general linear group is defined as sequential colimit

\begin{align*} \mathrm{colim}_{n \in \mathbb{N}} \mathrm{GL}_n(R) \end{align*}

see:

• infinite general linear group functor
  
• general linear group