Free groups in quaternion algebras.

DOI10.1016/J.JALGEBRA.2012.12.025MaRDI QIDQ376041zbMATH OpenOpenAlexFDO

Authors A. C. Souza Filho, S. O. Juriaans

Publication date 1 November 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.1977, http://www.sciencedirect.com/science/article/pii/S0021869313000252

zbMATH Keywords

free groupsfree semigroupsgeneralized quaternion algebrasgroup ringsgroups of unitshyperbolic groupsMöbius transformations

Mathematics Subject Classification ID

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 $u,v$ in $$-orders of a quaternion algebra over $Q(sqrt-d)$, $dequiv7pmod8$ positive and square free, such that $<u^n,v^n>$ is free for some $ninmathbbN$. Here we extend this result to any imaginary quadratic extension of $mathbbQ$, thus including matrix algebras. More precisely, we show that $<u^n,v^n>$ is a free group for all $ngeq1$ and $d>2$ and for $d=2$ and all $ngeq2$. 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.

Review text

Let \(\bigl(\frac{a,b}{K}\bigr)=\langle 1,i,j,k\mid i^2=a,\;j^2=b,\;k=ij=-ji,\;a,b\in K\rangle\) be a generalized quaternion algebra over a field \(K\).NEWLINENEWLINE The authors prove the following result. If \(\mathfrak o_K\) is the ring of integers of the algebraic number field \(K\), then the multiplicative group generated by the units \(u=\sqrt{-1}+(i-\sqrt{-1})j\) and \(w=\sqrt{-1}+(i+\sqrt{-1})j\) in the algebra \(\bigl(\frac{-1,-1}{\mathfrak o_{\mathbb Q(\sqrt{-1})}}\bigr)\) is free.

Recommendations

• Free products of units in algebras. I: Quaternion algebras
• Free Subgroups in the Units of ℤ[K₈ × C_p]
• FREE GROUPS OF QUATERNIONS
• On free subgroups of units in quaternion algebras
• Unit groups of the finite group algebras of generalized quaternion groups

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)