论文信息 - Presentations of the unit group of an order in a non-split quaternion algebra

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

Abstract We give an algorithm to determine a finite set of generators of the unit group of an order in a non-split classical quaternion algebra H (K) over an imaginary quadratic extension K of the rationals. We then apply this method to obtain a presentation for the unit group of H ( Z [ 1+ −7 2 ]) . As a consequence a presentation is discovered for the orthogonal group SO 3 ( Z [ 1+ −7 2 ]) . These results provide the first examples of a characterization of the unit group of some group rings that have an epimorphic image that is an order in a non-commutative division algebra that is not a totally definite quaternion algebra.

Ángel del Río | Eric Jespers | Capi Corrales | Guilherme Leal

[1] Benjamin Fine,et al. Algebraic Theory of the Bianchi Groups , 1989 .

[2] Richard G. Swan,et al. Generators and relations for certain special linear groups , 1968 .

[3] H. Poincaré. Mémoire: Les groupes kleinéens , 1883 .

[4] John G. Ratcliffe,et al. Geometry of Discrete Groups , 2019, Foundations of Hyperbolic Manifolds.

[5] B. Fein,et al. On the representation of−1 as a sum of two squares in an algebraic number field , 1971 .

[6] Jean-Pierre Serre,et al. Local Class Field Theory , 1979 .

[7] O. O’Meara,et al. The Classical Groups and K-Theory , 1989 .

[8] D. Passman,et al. Units in integral group rings , 1981 .

[9] Ernst Kleinert. Units in Skew Fields , 2000 .

[10] F. Oystaeyen. Methods in Ring Theory , 2021 .

[11] Fritz Grunewald,et al. Groups Acting on Hyperbolic Space , 1998 .

[12] S. Juriaans. Units in Integral Group Rings - A Survey , 1996 .

[13] L. Bianchi. Sui gruppi di sostituzioni lineari con coefficienti appartenenti a corpi quadratici immaginarî , 1892 .

[14] Katsusuke Sekiguchi,et al. On the Units of Integral Group Rings , 1980 .

[15] M. Keating. THE CLASSICAL GROUPS AND K‐THEORY (Grundlehren der Mathematischen Wissenschaften 291) , 1992 .

[16] Fritz Grunewald,et al. Groups Acting on Hyperbolic Space: Harmonic Analysis and Number Theory , 1997 .

[17] Robert Riley,et al. Applications of a computer implementation of Poincaré’s theorem on fundamental polyhedra , 1983 .