On units in orders in 2-by-2 matrices over quaternion algebras with rational center

DOI10.4171/GGD/541MaRDI QIDQ2180201zbMATH OpenFDO

Authors A. Kiefer

Publication date 13 May 2020

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.08308

zbMATH Keywords

quaternionic matricesunits in integral groups ringsVahlen's group

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Discrete subgroups of Lie groups (22E40) Units, groups of units (associative rings and algebras) (16U60)

Abstract: We generalize an algorithm established in earlier work cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and $3$, to hyperbolic space of higher dimensions using Clifford algebras. We hence get an algorithm which gives a finite set of generators of finite index subgroups of a discrete subgroup of Vahlen's group, i.e. a group of $2$-by-$2$ matrices with entries in the Clifford algebra satisfying certain conditions. The motivation comes from units in integral group rings and this new algorithm allows to handle unit groups of orders in $2$-by-$2$ matrices over rational quaternion algebras. The rings investigated are part of the so-called exceptional components of a rational group algebra.

Recommendations

• From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups
• Presentations of the unit group of an order in a non-split quaternion algebra.
• Presentations for quaternionic \(S\)-unit groups.
• Computing in arithmetic groups with Voronoï's algorithm.
• Hyperbolic unit groups and quaternion algebras.

Cited in

(4)

• A dichotomy for integral group rings via higher modular groups as amalgamated products
• From Farey symbols to generators for subgroups of finite index in integral group rings of finite groups
• Computing in arithmetic groups with Voronoï's algorithm.
• Presentations for quaternionic \(S\)-unit groups.

This page was built for publication: On units in orders in 2-by-2 matrices over quaternion algebras with rational center

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