Free Symmetric and Unitary Pairs in the Field of Fractions of Torsion-Free Nilpotent Group Algebras
- 2 Downloads
Let k be a field of characteristic different from 2 and let G be a nonabelian residually torsion-free nilpotent group. It is known that G is an orderable group. Let k(G) denote the subdivision ring of the Malcev-Neumann series ring generated by the group algebra of G over k. If ∗ is an involution on G, then it extends to a unique k-involution on k(G). We show that k(G) contains pairs of symmetric elements with respect to ∗ which generate a free group inside the multiplicative group of k(G). Free unitary pairs also exist if G is torsion-free nilpotent. Finally, we consider the general case of a division ring D, with a k-involution ∗, containing a normal subgroup N in its multiplicative group, such that \(G \subseteq N\), with G a nilpotent-by-finite torsion-free subgroup that is not abelian-by-finite, satisfying G∗ = G and N∗ = N. We prove that N contains a free symmetric pair.
KeywordsInfinite dimensional division rings Division rings with involution (Residually) torsion-free nilpotent groups
Unable to display preview. Download preview PDF.
The authors were partially supported by grant #2015/09162-9, São Paulo Research Foundation (FAPESP) - Brazil; the second author was partially supported by CNPq - Brazil (grant 301205/2015-9); the third author was partially supported by CNPq - Brazil (grant 307638/2015-4).
- 9.Gonçalves, J.Z., Shirvani, M.: Free Symmetric and Unitary Pairs in Central Simple Algebras with Involution. In: Chin, W., Osterburg, J., Quinn, D. (eds.) Groups, Rings and Algebras. Contemp. Math., vol. 420, pp. 121–139. American Mathematical Society, Providence (2006)Google Scholar
- 21.Sánchez, J.: Free group algebras in division rings with valuation II. arXiv:1810.12449