Compatible elements in partly ordered groups (Q2368517)

A partially ordered commutative group \(G\) has the quasi-divisor property if there is a a commutative lattice-ordered group \((\Gamma , \cdot , \wedge )\) and an order isomorphism \(h\) from \(G\) into \(\Gamma \) such that for any \(\alpha \in \Gamma\) there exist \(g_1 , \dots , g_n \in G\) such that \(\alpha = h(g_1) \wedge \dots \wedge h(g_n)\). Moreover, if this embedding \(h\) satisfies the condition \((\forall \alpha , \beta \in {\Gamma}_+) (\exists \gamma \in {\Gamma}_+ ) \;\alpha \cdot \gamma \in h(G), \;\beta \wedge\gamma =1 \), then \(G\) has the strong quasi-divisor property. In this article some conditions equivalent to the strong quasi-divisor property for a partially ordered group \(G\) are discovered. It is proved that if \(G\) is defined by a family of \(t\)-valuations of finite character, then \(G\) admits the strong quasi-divisor property if and only if it admits the quasi-divisor property and any finitely generated \(t\)-ideal is generated by two elements.