Hilbert symbols, class groups and quaternion algebras (Q5939714)

Let \(B\) be a quaternion algebra over a number field \(k.\) The main aim of the paper is to examine the connection between two pairs \((a,b)\) and \((c,d)\) of nonzero elements of \(k\) such that \(B\cong(a,b)\cong(c,d).\) With such two pairs the authors associate an invariant \(\rho=\rho_R(|{\mathcal D}(a,b)|,|{\mathcal D}(c,d)|)\) in a quotient of the narrow ideal class group of \(k\), where \(|{\mathcal D}(a,b)|\) and \(|{\mathcal D}(c,d)|\) denote isomorphism types of some maximal orders in \(B\) associated with these pairs. Assuming that \(B\) satisfies the Eichler condition they compute \(\rho_R(|{\mathcal D}(a,b)|,|{\mathcal D}(c,d)|)\) for \(a=c\) in terms of the arithmetic of the field \(k(\sqrt{a}).\) In the paper one can find the application of the main result to the computation of torsion subgroups of arithmetic Kleinian groups which were considered in their earlier paper [Ann. Inst. Fourier 50, No. 6, 1765-1798 (2000; Zbl 0973.20040)].