Generating Hyperbolic Isometry Groups by Elementary Matrices
Abstract
We consider three families of groups: the Bianchi groups SL(2,O) where O is the ring of integers of an imaginary, quadratic field; the groups SL*(2,O) where O is a *-order of a definite, rational quaternion algebra with an orthogonal involution; and the groups SL(2,O) where O is an order of a definite, rational quaternion algebra. We show that such groups are generated by elementary matrices if and only if O is semi-Euclidean (or *-semi-Euclidean), which is a generalization of the usual notion of a Euclidean ring. The proofs are surprisingly simple and proceed by considering fundamental domains of Kleinian groups.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2021
- DOI:
- 10.48550/arXiv.2109.05054
- arXiv:
- arXiv:2109.05054
- Bibcode:
- 2021arXiv210905054A
- Keywords:
-
- Mathematics - Number Theory;
- 20G30;
- 11A05;
- 22E40