A SURVEY ON FREE OBJECTS IN DIVISION RINGS AND IN DIVISION RINGS WITH AN INVOLUTION

Let D be a division ring with center k, and let D-dagger be its multiplicative group. We investigate the existence of free groups in D-dagger, and free algebras and free group algebras in D. We also go through the case when D has an involution * and consider the existence of free symmetric and unitary pairs in D-dagger.

FREE GROUP ALGEBRAS IN DIVISION RINGS

Let k be an algebraically closed field of characteristic zero and let L be an algebraic function field over k. Let sigma : L -> L be a k-automorphism of infinite order, and let D be the skew field of fractions of the skew polynomial ring L[t; sigma]. We show that D contains the group algebra kF of the free group F of rank 2.