A right-invariant lattice-order on groups of paraunitary matrices

In \cite{rump_goml}, Rump defined and characterized noncommutative universal groups $G(X)$ for generalized orthomodular lattices $X$. We give an explicit description of $G(X)$ in terms of \emph{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.