Free groups in normal subgroups of the multiplicative group of a division ring. (Q2515631)

The aim of the article under review is to investigate the following conjecture: ``Every non-central normal subgroup \(N\) of the multiplicative group \(D^*\) of a division ring \(D\) with center \(F\) contains a non-cyclic free subgroup''. This conjecture is answered in the affirmative for various cases, for example, for \(F\) uncountable by Chiba, for \(D\) finite dimensional over \(F\) by Gonçalves, for \(N\) containing a non-abelian nilpotent-by-finite subgroup by Lichtman, etc. In the present article, the authors give more support to this conjecture and they exhibit the generators of the free subgroup in \(N\) in some cases when it exists. In particular, they offer a new proof of the result of Lichtman mentioned above.