Bireflectionality of the orthogonal group over a valuation domain (Q1194039)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bireflectionality of the orthogonal group over a valuation domain |
scientific article |
Statements
Bireflectionality of the orthogonal group over a valuation domain (English)
0 references
27 September 1992
0 references
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.
0 references
product of involutions
0 references
valuation domain
0 references
free module
0 references
quadratic form
0 references
orthogonal group
0 references
special orthogonal group
0 references
special orthogonal transformation
0 references
number of factors
0 references
orthogonal involutions
0 references