Varieties of topological groups III

Abstract

This paper continues the invèstigation of varieties of topological groups. It is shown that the family of all varieties of topological groups with any given underlying algebraic variety is a class and not a set. In fact the family of all β-varieties with any given underlying algebraic variety is a class and not a set. A variety generated by a family of topological groups of bounded cardinal is not a full variety.The varieties V(R) and V(T) generated by the additive group of reals and the circle group respectively each with its usual topology are examined. In particular it is shown that a locally compact Hausdorff abelian group is in V(T) if and only if it is compact. Thus V(R) properly contains V(T).It is proved that any free topological group of a non-indiscrete variety is disconnected. Finally, some comments are made on topologies on free groups.