Partially ordered groups, almost invariant sets, and Toeplitz operators (Q2367688)

Let \(G\) be a partially ordered group with identity element \(e\), and let \(G^ += \{x\in G; x\geq e\}\); \(G^ +\) is almost invariant in \(G\) if the set \(G^ +\backslash xG^ +\) is finite for all \(x\in G\). The author proves that: When \(G\) is a partially ordered Abelian group, \(G^ +\) is almost invariant in \(G\) if and only if \(G\) is isomorphic to \(\mathbb{Z}\oplus F\), where \(F\) is a finite Abelian group. And when \(G\) is an ordered group, \(G^ +\) is almost invariant in \(G\) if and only if \(G\) is order isomorphic to \(\mathbb{Z}\).