Свободные топологические группы без малых подгрупп и граевские метрики

Для любого метризуемого пространства $X$ свободная топологическая группа $F(X)$ является группой без малых подгрупп. Два доказательства этой теоремы, опубликованные ранее Моррисом и Томпсоном, неверны; восполняется пробел в доказательстве Томпсона.
Библиогр. 8.