free groupsgroup ringsgroups of unitshyperbolic groupsgeneralized quaternion algebrasfree semigroupsMöbius transformations
Quaternion and other division algebras: arithmetic, zeta functions (11R52) Group rings (16S34) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Units and factorization (11R27) Finite-dimensional division rings (16K20) Units, groups of units (associative rings and algebras) (16U60) 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)- On free subgroups of units in quaternion algebras II
- On units of a quaternion order of an indefinite anisotropic ternary quadratic form
- Hyperbolic unit groups and quaternion algebras.
- On free subgroups of units in quaternion algebras
- Separable free quadratic algebras over quadratic integers
- scientific article; zbMATH DE number 3920777 (Why is no real title available?)
- Free products of units in algebras. I: Quaternion algebras
- FREE GROUPS OF QUATERNIONS
- From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups
- A separable deformation of the quaternion group algebra
- Free Subgroups of 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)