We investigate the problem of explicitly constructing non-cyclic free groups in finite-dimensional crossed products using valuation criteria. The results are applied to produce explicit free groups in division algebras generated by nilpotent groups, and symmetric free groups in group rings of finite
Free Products of Units in Algebras I. Quaternion Algebras
✍ Scribed by Jairo Z Gonçalves; Arnaldo Mandel; Mazi Shirvani
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 128 KB
- Volume
- 214
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
Let A be a quaternion algebra over a commutative unital ring. We find sufficient conditions for pairs of units of A to generate a free group. Using the Ž . well-known isomorphism between SO 3, ޒ and the group of real quaternions of norm 1, we obtain free groups of rotations of the Euclidean 3-space. Specialization techniques allow us to find similar free subgroups in skew polynomial rings. A Ž consequence is the following: let kG be the group algebra of a residually torsion-. free nilpotent group G over a field k whose characteristic is not 2. If x and y are any pair of noncommuting elements of G, and c, d g k U then 1 q cx and 1 q dy generate a free subgroup of the Malcev᎐Neumann field of fractions of kG. ᮊ 1999 Academic Press
📜 SIMILAR VOLUMES
## Abstract J. Cuntz has conjectured the existence of two cyclic six terms exact sequences relating the __KK__ ‐groups of the amalgamated free product __A__ ~1 ∗︁ __B__~ __A__ ~2~ to the __KK__ ‐groups of __A__ ~1~, __A__ ~2~ and __B__. First we establish automatic existence of strict and absorbin
We construct free group algebras in the quotient ring of the differential w x polynomial ring K X; ␦ , for suitable division rings K and nonzero derivations ␦ in K.
Let ZrF be an inertial Galois extension of Henselian valued fields, and let D be a Z-central division algebra. Let G be a finite group acting on Z with fixed field F. We show that every generalized cocycle of G with values in the one-units Ž . of D is cohomologous to one of the form , 1 , or in othe