Free group algebras in certain division rings (Q1125897)

The original ``full of free subobjects'' (fofs) conjecture which was formulated by several people sounds like this. Conjecture. If \(D\) is a finitely generated non-commutative skew field which is infinite dimensional over its center \(k\) then it contains (1) a non-commutative free group (A. Lichtman, 1977), (2) or at least a non-commutative free subsemigroup (reviewer, 1984), (3) or a non-commutative free subalgebra (reviewer, 1984). In 1991 the reviewer found the group ring of the free group \(F_2\) of rank two in the first Weyl skew field, one of the ``smallest'' skew fields satisfying the conditions of the conjecture. So it makes sense to add to the fofs the unifying conjecture that a finitely generated non-commutative skew field which is infinite dimensional over its center \(k\) contains the group ring \(k[F_2]\). In this paper the authors show that a lot of small infinite-dimensional skew fields contain \(k[F_2]\). Namely, the field of fractions of the universal enveloping algebra of a non-abelian finite-dimensional Lie algebra in the characteristic zero case, the field of fractions of \(k[G]\) where \(G\) is a polycyclic-by-finite group which is not abelian-by-finite, the fields of fractions of some skew polynomial rings. (Also submitted to MR).