An analogue of a result of Tits for transvection groups (Q2114166)

Let \(R\) be a commutative ring with \(R=2R\) and let \(I\) be an ideal of \(R\). Let \((P,\langle\,,\rangle)\) be a symplectic \(R\)-module with \(P\) a finitely generated projective \(R\)-module of even rank at least 4. Let \((Q,\langle\,,\rangle)\) be the orthogonal direct sum of \((P,\langle\,,\rangle)\) with a hyperbolic plane. One now has elementary symplectic transvections, generating a group \(\mathrm{ETrans_{Sp}}(Q,\langle\,,\rangle)\), and a subgroup \(\mathrm{ETrans_{Sp}}(IQ,\langle\,,\rangle)\) generated by ``relative elementary symplectic transvections'', congruent to the identity modulo \(I\). The group \(\mathrm{ETrans_{Sp}}(IQ,\langle\,,\rangle)\) depends on the chosen orthogonal direct sum decomposition of \((Q,\langle\,,\rangle)\). Now the result is that \(\mathrm{ETrans_{Sp}}(IQ,\langle\,,\rangle)\) contains a normal subgroup of \(\mathrm{ETrans_{Sp}}(Q,\langle\,,\rangle)\) that contains \(\mathrm{ETrans_{Sp}}(I^4Q,\langle\,,\rangle)\). There are similar results for orthogonal \(R\)-modules and for linear \(R\)-modules.