Compatible elements in partly ordered groups

Abstract

Some conditions equivalent to a strong quasi-divisor property (SQDP) for a partly ordered group G are derived. It is proved that if G is defined by a family of t-valuations of finite character, then G admits an SQDP if and only if it admits a quasi-divisor property and any finitely generated t-ideal is generated by two elements. A topological density condition in topological group of finitely generated t-ideals and/or compatible elements are proved to be equivalent to SQDP.