Remarks on $d$-independent topological groups

Abstract

A non-trivial topological group is called \emph{$d$-independent} if for every subgroup of cardinality less than the continuum there exists a countable dense subgroup intersecting it trivially. This notion was introduced by M\'arquez and Tkachenko and has been intensively studied in the metrizable setting. In particular, they proved that a second-countable locally compact abelian group is $d$-independent if and only if it is algebraically an $M$-group, and asked whether the same conclusion holds for all separable locally compact groups. In this paper we give an affirmative answer to this question. We show that every separable locally compact abelian $M$-group is $d$-independent, thereby removing the metrizability assumption from the result of M\'arquez and Tkachenko. In addition, we investigate several further aspects of $d$-independence. We study its behaviour under taking powers of topological groups and extend the notion of $d$-independence to the non-abelian setting. Moreover, we prove that every separable connected compact group is $d$-independent, thereby answering another question posed by M\'arquez and Tkachenko.