The structure of orthogonal groups over arbitrary commutative rings
By the orthogonal group \(O_{2n}\) the author means the automorphism group of the symmetric bilinear form in 2n variables of Witt index n. It is assumed that \(n\geq 3\). Let R be a commutative ring with 1, and \(EO_{2n}(R)\) the subgroup of \(O_{2n}(R)\) generated by elementary orthogonal matrices. For any ideal J of A, one defines a congruence subgroup \(O_{2n}(R,J)\) of \(O_{2n}(R)\) and its subgroup \(EO_{2n}(R,J)\). One says that the problem of normal subgroups has an affirmative solution provided that, a subgroup H of \(O_{2n}(R)\) is normalized by \(EO_{2n}(R)\) if and only if \(EO_{2n}(R,J)\subset H\subset O_{2n}(R,J)\) for an ideal J of R. The main result, Theorem 4 asserts that the problem of normal subgroups has an affirmative solution if and only if \(aR\cap L=a^ 2L\) for each \(a\in R\), where L is the annihilator of 2 in R. The method of proof, due to L. Vaserstein, is localization and patching. The result of the paper has a substantial intersection with those of: \textit{V. I. Kopejko} and \textit{A. A. Suslin} [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 86, 114-124 (1979; Zbl 0448.13006) \(=\) J. Sov. Math. 17, 2024-2031 (1981)]; \textit{G. Taddei} [Contemp. Math. 55, 693-710 (1986; Zbl 0602.20040)]; \textit{E. Abe} [ibid. 83, 1-17 (1989; Zbl 0677.20029)]; \textit{L. Vaserstein} [Tôhoku Math. J., II. Ser. 38, 219-230 (1986; Zbl 0578.20036), Am. J. Math. 110, 955-973 (1988; Zbl 0654.20052)].
- Local-global principle for the general quadratic and general Hermitian groups and the nilpotency of \(\mathrm{KH}_1\)
- Equality of orthogonal transvection group and elementary orthogonal transvection group
- Structure of the orthogonal group \(O_{n}(V)\) over \(L\)-rings
- Normal subgroups of classical groups over rings
- The orthogonal unit group of the trivial source ring
- The yoga of commutators.
- Another presentation for symplectic Steinberg groups
- The commutators of classical groups
- Relative commutator calculus in Chevalley groups.
- The structure of quadratic groups over commutative rings.
- A₂-proof of structure theorems for Chevalley groups of type F₄.
- Elementary subgroups of isotropic reductive groups.
- Overgroups of $\text {\rm F}_4$ in $\text {\rm E}_6$ over commutative rings
- scientific article; zbMATH DE number 3877419 (Why is no real title available?)
- scientific article; zbMATH DE number 4217343 (Why is no real title available?)
- Overgroups of $\mathrm{EO}(n,R)$
- Linear groups over general rings. I: Generalities.
- The isomorphisms of orthogonal groups over local rings
- Normal Subgroups of Orthogonal Groups Over Commutative Rings
- On the orthogonal group over an LG-ring
- Overgroups of elementary symplectic groups
- Groups normalized by the odd unitary group
- The E-normal structure of Petrov’s odd unitary groups over commutative rings
- An $\mathrm {A}_2$-proof of structure theorems for Chevalley groups of types $\mathrm {E}_6$ and $\mathrm {E}_7$
- Relative unitary commutator calculus, and applications.
- Locally isotropic elementary groups
This page was built for publication: The structure of orthogonal groups over arbitrary commutative rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1824697)
