A subgroup H of a topological group G is called cocompact (or uniform) if the quotient space \(G/{\overline{H}}\) is compact, where \({\overline{H}}\) denotes the closure of H in G. The aim of this note is to determine all topological groups with the property that every non-trivial discrete subgroup is cocompact.

中文翻译：

---

离散共紧凑亚群表征拓扑群

如果商空间\（G / {\ overline {H}} \）是紧凑的，其中\（{\ overline {H}} \）表示闭包，则拓扑组G的子组H被称为cocompact（或一致）。G中H的个数。本注释的目的是确定所有拓扑组，每个非平凡的离散子组是互紧的。