Bireflectionality of the orthogonal group over a valuation domain
Let \(R\) be a valuation domain with maximal ideal \(A\) and \(V\) a free module of rank \(n\) over \(R\). A vector \(v \in V\) is called unimodular if \(v\not\in AV\). Assume \(V\) is endowed with a quadratic form \(Q: V\to R\) such that \(Q(v)\) is a unit in \(R\) for every unimodular \(v \in V\). Let \(O(V)\) denote the corresponding orthogonal group of \(V\). For \(\pi \in O(V)\) define \(F(\pi): = \text{ker}(\pi-1)\) and \(B(\pi) = (\pi - 1)V\). Theorem 1: Every element in \(O(V)\) is a product of at most two involutions. If \(\pi \in O(V)\) and \(d = n-\dim F(\pi)\) is even, then there are involutions \(\kappa,\rho \in O(V)\) such that \(\pi = \kappa\rho\) and \(\dim F(\kappa) = \dim F(\rho) = n-(d/2)\). For 2 a unit in \(R\) let \(O^ +(V) = \{\pi \in O(V)\mid\text{det }\pi = 1\}\) denote the special orthogonal group of \(V\). The proof of theorem 1 also yields a factorization of a special orthogonal transformation into half-turns (Theorem 2). The minimal number of factors is determined. The involutions used in the factorization of any transformation in the special orthogoal group can all be taken from one conjugacy class of orthogonal involutions (Theorem 3). The proofs of the theorem proceeds by induction and does not use the existence of certain normal forms of orthogonal transformations.
- scientific article; zbMATH DE number 935335
- On bireflectionality and trireflectionality of orthogonal groups
- Valuation theory of indefinite orthogonal groups
- Bireflectionality of orthogonal and symplectic groups of characteristic 2
- Bireflectionality of the weak orthogonal and the weak symplectic groups
- The reflexivity of Bianchi groups
- 5-reflectionality of anisotropic orthogonal groups over valuation rings
- scientific article; zbMATH DE number 4196275
- scientific article; zbMATH DE number 4163154
- scientific article; zbMATH DE number 4163152
- Products of half-turns
- On bireflectionality and trireflectionality of orthogonal groups
- 5-reflectionality of anisotropic orthogonal groups over valuation rings
- The orthogonal group over a local ring is 4-reflectional
- Involutary expressions for elements in \(\text{GL}_ n(\mathbb{Z})\) and \(\text{SL}_ n(\mathbb{Z})\)
- Bireflectionality of orthogonal and symplectic groups of characteristic 2
- Involutions and semiinvolutions
- The Structure of Orthogonal Transformations
- scientific article; zbMATH DE number 935335 (Why is no real title available?)
This page was built for publication: Bireflectionality of the orthogonal group over a valuation domain
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194039)
