Nonabelian free subgroups in homomorphic images of valued quaternion division algebras
HTML articles powered by AMS MathViewer
- by Andrei S. Rapinchuk, Louis Rowen and Yoav Segev PDF
- Proc. Amer. Math. Soc. 134 (2006), 3107-3114 Request permission
Abstract:
Given a quaternion division algebra $D,$ a noncentral element $e \in D^\times$ is called pure if its square belongs to the center. A theorem of Rowen and Segev (2004) asserts that for any quaternion division algebra $D$ of positive characteristic $> 2$ and any pure element $e \in D^\times$ the quotient $D^{\times }/X(e)$ of $D^{\times }$ by the normal subgroup $X(e)$ generated by $e,$ is abelian-by-nilpotent-by-abelian. In this note we construct a quaternion division algebra $D$ of characteristic zero containing a pure element $e\in D$ such that $D^\times /X(e)$ contains a nonabelian free group. This demonstrates that the situation in characteristic zero is very different.References
- Michael Aschbacher, Finite group theory, Cambridge Studies in Advanced Mathematics, vol. 10, Cambridge University Press, Cambridge, 1986. MR 895134
- Nicolas Bourbaki, Elements of mathematics. Commutative algebra, Hermann, Paris; Addison-Wesley Publishing Co., Reading, Mass., 1972. Translated from the French. MR 0360549
- P. M. Cohn, Skew fields, Encyclopedia of Mathematics and its Applications, vol. 57, Cambridge University Press, Cambridge, 1995. Theory of general division rings. MR 1349108, DOI 10.1017/CBO9781139087193
- Jairo Z. Gonçalves, Free groups in subnormal subgroups and the residual nilpotence of the group of units of group rings, Canad. Math. Bull. 27 (1984), no. 3, 365–370. MR 749646, DOI 10.4153/CMB-1984-055-6
- G. Prasad, The Kneser-Tits problem for triality forms, preprint, 2006.
- Andrei S. Rapinchuk, Yoav Segev, and Gary M. Seitz, Finite quotients of the multiplicative group of a finite dimensional division algebra are solvable, J. Amer. Math. Soc. 15 (2002), no. 4, 929–978. MR 1915823, DOI 10.1090/S0894-0347-02-00393-4
- L. Rowen and Y. Segev, Normal subgroups generated by a single pure element in quaternion algebras, to appear in J. Algebra.
- W. R. Scott, On the multiplicative group of a division ring, Proc. Amer. Math. Soc. 8 (1957), 303–305. MR 83984, DOI 10.1090/S0002-9939-1957-0083984-8
- Y. Segev, Pure quaternions, ultraproducts and valuations, Oberwolfach report 12/2005, 9029–9031.
- J. Tits, Free subgroups in linear groups, J. Algebra 20 (1972), 250–270. MR 286898, DOI 10.1016/0021-8693(72)90058-0
- Jacques Tits, Groupes de Whitehead de groupes algébriques simples sur un corps (d’après V. P. Platonov et al.), Séminaire Bourbaki, 29e année (1976/77), Lecture Notes in Math., vol. 677, Springer, Berlin, 1978, pp. Exp. No. 505, pp. 218–236 (French). MR 521771
Additional Information
- Andrei S. Rapinchuk
- Affiliation: Department of Mathematics, University of Virginia, Charlottesville, Virginia 22904
- MR Author ID: 206801
- Email: asr3x@unix.mail.virginia.edu
- Louis Rowen
- Affiliation: Department of Mathematics, Bar-Ilan University, Ramat Gan, Israel
- MR Author ID: 151270
- Email: rowen@macs.biu.ac.il
- Yoav Segev
- Affiliation: Department of Mathematics, Ben-Gurion University, Beer-Sheva 84105, Israel
- MR Author ID: 225088
- Email: yoavs@math.bgu.ac.il
- Received by editor(s): March 3, 2005
- Received by editor(s) in revised form: May 14, 2005
- Published electronically: May 11, 2006
- Additional Notes: The first author was partially supported by BSF grant 2000-171, and by NSF grants DMS-0138315 and DMS-0502120.
The second author was partially supported by the Israel Science Foundation Center of Excellence.
The third author was partially supported by BSF grant 2000-171. - Communicated by: Jonathan I. Hall
- © Copyright 2006 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 134 (2006), 3107-3114
- MSC (2000): Primary 16K20, 16U60; Secondary 20G15, 12J20
- DOI: https://doi.org/10.1090/S0002-9939-06-08385-7
- MathSciNet review: 2231891