Note on angle-preserving mappings (Q748875): Difference between revisions

Let V be a vector space over a field K and q: \(V\to K\) a regular quadratic form. Let f be the symmetric bilinear form assigned to q. For a triplet A,B,C\(\in V\) define the angle-measure \(\omega (A,B,C):=f(A-B,C- B)^ 2q(A-B)^{-1}q(C-B)^{-1},\) provided that \(q(A-B)\neq 0\) and \(q(C- B)\neq 0.\) Main result. Let \(| K| >5\) and dim \(V\geq 3\) and \(\alpha\),\(\beta\in K\setminus \{0,4\}\) such that \(\alpha =\omega (R,S,T)\) for some points R,S,T. Given a permutation \(\phi\) of V such that \(\omega (A,B,C)=\alpha \Leftrightarrow \omega (\phi (A),\phi (B),\phi (C))=\beta\) for all points A, B, C whenever \(\omega\) (A,B,C) respectively \(\omega\) (\(\phi\) (A),\(\phi\) (B),\(\phi\) (C)) is defined. Then \(\phi =\tau \circ \sigma\) for some translation \(\tau\) and semilinear bijection \(\sigma\) of V. Furthermore, there is some \(\lambda \in K^*\) such that \(\lambda q(\sigma (v))=\iota (q(v))\) for every \(v\in V\) where \(\iota\in Aut(K)\) denotes the automorphism associated to \(\sigma\).