The subnormal structure of classical-like groups over commutative rings

From MaRDI portal



Abstract: Let n be an integer greater than or equal to 3 and (R,Delta) a Hermitian form ring where R is commutative. We prove that if H is a subgroup of the odd-dimensional unitary group U2n+1(R,Delta) normalised by a relative elementary subgroup EU2n+1((R,Delta),(I,Omega)), then there is an odd form ideal (J,Sigma) such that EU2n+1((R,Delta),(JIk,OmegaminJIkoversetcdot+SigmacircIk))leqHleqCU2n+1((R,Delta),(J,Sigma)) where k=12 if n=3 respectively k=10 if ngeq4. As a conseqence of this result we obtain a sandwich theorem for subnormal subgroups of odd-dimensional unitary groups.


In the article under review, the author studies the subgroup structure of the odd-dimensional unitary group \(U_{2n+1}(R, \Delta)\), where \((R, \Delta)\) is a Hermitian form ring (\(R\) is commutative ring). Among these results, it is proved that if \(H\) is a subgroup of \(U_{2n+1}(R, \Delta)\) normalized by a relative elementary subgroup \(EU_{2n+1}((R, \Delta), (I, \Omega))\), then there is an odd-form ideal \((J, \Sigma)\) such that \[EU_{2n+1}((R, \Delta), (JI^k, \Omega_{min}^{JI^k}\dot+\Sigma\circ I^k))\le H\le CU_{2n+1}((R, \Delta), (J, \Sigma)),\] where \(k=12\) if \(n=3\) respectively \(k=10\) if \(n\ge 4\). As a consequence of this result, a sandwich theorem for subnormal subgroups of odd-dimensional unitary group is obtained.











This page was built for publication: The subnormal structure of classical-like groups over commutative rings

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