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

DOI10.4171/GGD/541zbMATH Open1481.20186arXiv1609.08308MaRDI QIDQ2180201FDOQ2180201

A. Kiefer

Publication date: 13 May 2020

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

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.

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

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.

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)

Cited In (2)

• From Farey symbols to generators for subgroups of finite index in integral group rings of finite groups
• A dichotomy for integral group rings via higher modular groups as amalgamated products

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)