Varieties of abelian topological groups with coproducts

Varieties of groups, introduced in the 1930s by Garret Birkhoff and B.H. Neumann, are defined as classes of groups satisfying certain laws or equivalently as classes of groups closed under the formation of subgroups, quotient groups, and arbitrary cartesian products. In the 1960s the third author introduced varieties of topological groups as classes of (not necessarily Hausdorff) topological groups closed under subgroups, quotient groups and cartesian products with the Tychonoff topology. While there is only a countable number of varieties of abelian groups, there is a proper class of varieties of abelian topological groups. We observe that while every variety of abelian groups is closed under abelian coproducts, varieties of abelian topological groups are in general not closed under abelian coproducts with the coproduct topology. So this paper studies varieties of abelian topological groups which are also closed under abelian coproducts with the coproduct topology. Noting that the variety of all abelian groups is singly generated, that is, it is the smallest variety containing some particular group, but that the variety of all abelian topological groups is not singly generated, it is proved here that the variety of all abelian topological groups with coproducts is indeed singly generated. There is much literature describing varieties of topological groups generated by various classical topological groups, and the study of varieties with coproducts generated by particular classical topological groups is begun here. Some nice results are obtained about those varieties of abelian topological groups with coproducts which are also closed with regard to forming Pontryagin dual groups.