Presentations of the unit group of an order in a non-split quaternion algebra. (Q1877890)

Let \(K\) be an imaginary quadratic field extension of \(\mathbb{Q}\), and let \(H=(\tfrac{a,b}K)\) be a non-split quaternion algebra over \(K\). For an order \(\Lambda\) in \(H\), the authors provide an algorithm to compute a finite set of generators of the unit group of \(\Lambda\). The algorithm is applied to the particular case \(K=\mathbb{Q}(\sqrt{-7})\). Using the Cartan-Dieudonné sequence \(1\to K^\times\to H^\times\to\text{SO}_3(K)\to 1\) with \(a=b=-1\), they obtain a presentation of \(\text{SO}_3(R)\), where \(R\) denotes the ring of integers in \(K\). For the quaternion group \(Q_8\) of order \(8\), this also yields a description of the unit group of \(RQ_8\).