(This is a joint question with L. Aussenhofer)

The local base at 0 of the pro-countbale topology T_G of G consists of all subgroups of G of

(at most) countable index. So T_G is discrete for countable groups G, and these provide a example when the answer if positive.

Similar questions and discussions