free groupsfree semigroupsgeneralized quaternion algebrasgroup ringsgroups of unitshyperbolic groupsMöbius transformations
Units and factorization (11R27) Quaternion and other division algebras: arithmetic, zeta functions (11R52) Finite-dimensional division rings (16K20) Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Free semigroups, generators and relations, word problems (20M05)
Abstract: In cite{jpsf} we constructed pairs of units in -orders of a quaternion algebra over , positive and square free, such that is free for some . Here we extend this result to any imaginary quadratic extension of , thus including matrix algebras. More precisely, we show that is a free group for all and and for and all . The units we use arise from Pell's and Gauss' equations. A criterion for a pair of homeomorphisms to generate a free semigroup is also established and used to prove that two certain units generate a free semigroup but that, in this case, the Ping-Pong Lemma can not be applied to show that the group they generate is free.
Recommendations
Cited in
(11)- Free products of units in algebras. I: Quaternion algebras
- Separable free quadratic algebras over quadratic integers
- On free subgroups of units in quaternion algebras
- A separable deformation of the quaternion group algebra
- scientific article; zbMATH DE number 3920777 (Why is no real title available?)
- Free Subgroups of Quaternion Algebras
- FREE GROUPS OF QUATERNIONS
- On free subgroups of units in quaternion algebras II
- On units of a quaternion order of an indefinite anisotropic ternary quadratic form
- From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups
- Hyperbolic unit groups and quaternion algebras.
This page was built for publication: Free groups in quaternion algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q376041)