Abstract:

A. I. Lichtman asked whether or not the multiplicative group of a non-commutative division ring D always contains a copy of the free group on two generators. This is known to be true in several cases, in particular if D is finite-dimensional over its center. We give an affirmative answer in the case that the center K of D is uncountable and D contains a non-central element which is algebraic over K.