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

From MaRDI portal
(Redirected from Publication:1877890)





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\).











This page was built for publication: Presentations of the unit group of an order in a non-split quaternion algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1877890)