GL IAPS

Definition
The GL IAPS, or general linear IAPS or IAPS of general linear groups associated to a unital ring $$R$$ is an IAPS of groups where:


 * The $$n^{th}$$ member is the group $$GL_n(R)$$ of invertible matrices with entries in $$R$$, of order $$n$$


 * The block concatenation map $$\Phi_{m,n}(A,B)$$ yields:

$$\Phi_{m,n}(A,B) = \begin{pmatrix} A & 0 \\ 0 & B \end{pmatrix}$$