这个无限群有拓扑结构么，如果子群相对于无限群的陪集是有限的那结论是一定的，否则得给出群的拓扑结构吧？我猜想：如果陪集是拓扑闭或者紧的（或者无限群本身是闭群或者紧群？）的那结论也一定成立，前提是子群必须是闭子群
【 在 gtgtjing 的大作中提到: 】
: 一个无限群G有一个子群H，是否一定存在G的一系列元素g1，g2，……，使得g1H，g2H……互不相等，并且恰好是H在G中的所有左陪集，并且Hg1，Hg2，……也恰好是所有互不相同的右陪集？
--
修改:hakensen FROM 106.121.138.*
FROM 106.121.138.*