Subnormal structure of two-dimensional linear groups over \(6\)-primitive rings (Q1316928)

Subnormal subgroups of general linear groups of degree \(n \geq 3\) over commutative rings \(R\) with unity were described by J. S. Wilson in 1972. The author investigated in 1985 the exceptional case \(n = 2\) for local and primitive rings of coefficients. In the present paper the exceptional case is studied when \(R\) is an \(m\)-primitive ring \((m \geq 2)\), in which by definition for each primitive polynomial \(g(x)\) over \(R\) of degree \(< m\) there exists an invertible element in \(g(R)\). (It is known that a ring of stable rank 1 is a 2-primitive ring, and an \(\infty\)-primitive one is an ordinary primitive ring.) For every ideal \(I\) of \(R\) we define \(Z_I\) to be the inverse image of the center of \(\text{GL} (2, R/I)\) under the canonical homomorphism \(GL(2,R) \to \text{GL} (2,R/I)\). The congruence subgroup of level \(I\) of the group \(\text{SL} (2,R)\) is denoted by \(K_I\). If \(H \leq \text{GL} (2,R)\) let \(J(H)\) be the ideal generated by the elements \(a_{11} - a_{22}, a_{12}, a_{21}\) for all possible \(|a_{kl}|\in H\). It is proved Theorem: Let \(R\) be a 6-primitive ring, \(2R = R\) and \(\text{SL}(2,R) \leq G \leq \text{GL}(2, R)\). If \(H\) is a subnormal subgroup of \(G\) of subnormal depth \(d\), then \(K_I \leq H \leq Z_J\), where \(J= J(H)\), \(I = J^t\), \(t = (1/6)(7 \cdot 13^{d - 1} - 1)\).