Гомеоморфизмы свободных топологических групп не сохраняют компактность

Пусть $X$ – сходящаяся последовательность, и $Y$ – счетное дискретное пространство. Доказано, что свободные топологические группы $F(X)$ и $F(X\oplus Y)$ гомеоморфны и что для любого пространства $Z$ свободные абелевы группы $A(Z)$ и $A(Z\oplus Y)$ равномерно гомеоморфны. Библиогр. 4 назв.