没要求啊，就是想知道结果，不过这么一说我这个问题确实问的不好
代表元不应该用可数形式来写，我改一下原文
【 在 hakensen 的大作中提到: 】
: 这个无限群有拓扑结构么，如果子群相对于无限群的陪集是有限的那结论是一定的，否则得给出群的拓扑结构吧？我猜想：如果陪集是拓扑闭或者紧的（或者无限群本身是闭群或者紧群？）的那结论也一定成立，前提是子群必须是闭子群
--
修改:gtgtjing FROM 123.113.80.*
FROM 123.113.80.*