A right-invariant lattice-order on groups of paraunitary matrices (Q1727708)

This paper is based on \textit{W. Rump}' work [Stud. Log. 106, No. 1, 85--100 (2018; Zbl 1412.06011)] where the author defined and characterized noncommutative universal groups \( G(X)\) for generalized orthomodular lattices \(X\). In this paper, the author gives an explicit description of \(G(X)\) in terms of paraunitary matrix groups whenever \(X\) is the orthomodular lattice of subspaces of a finite-dimensional \(k\)-vector space \(V\) that is equipped with an anisotropic symmetric \(K\)-bilinear form. The paper is divided into five parts. In Section 1, the author collects some basic facts and definitions regarding orthomodular lattices, OMLs for short, and their structure groups. In particular, the author gives an account of Rump's results [loc. cit.] that characterize the structure groups of OMLs amongst right lattice-ordered groups. In Section 2, the author constructs the paraunitary group \(\mathrm{PU}(b)\) and its subgroup \(\mathrm{PPU}(b).\) Furthermore, the author shows that there exists a semidirect decomposition \(\mathrm{PPU}(b)\rtimes \mathrm{U}(b)\). In Section 3, the author proves that \(\mathrm{PPU}(b)\) is right lattice-ordered by the negative cone \(\mathrm{PPU}(b)_-.\) Finally, in Section 4, the author uses Rump's results [loc. cit.] to prove that \(\mathrm{PPU}(b)\) is indeed the structure group of \(X(b),\) the OML of all \(k\)-subspaces of \(V\) under the bilinear form \(b\). More precisely, the authors prove that \(X(b)\) is isomorphic to the interval \([t^{-1}, 1].\)