Subnormal structure of two-dimensional linear groups over 6-primitive rings

From MaRDI portal
Subnormal structure of two-dimensional linear groups over \(6\)-primitive rings





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)\).











This page was built for publication: Subnormal structure of two-dimensional linear groups over \(6\)-primitive rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1316928)