compatible elements in partly ordered groups兼容的元素部分命令组.pdfVIP

COMPATIBLE ELEMENTS IN PARTLY ORDERED GROUPS ˇ ´ ˇ ˇ JIRI MOCKOR AND ANGELIKI KONTOLATOU Received 16 September 2004 and in revised form 28 September 2005 Some conditions equivalent to a strong quasi-divisor property (SQDP) for a partly or- dered 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 con- dition in topological group of finitely generated t-ideals and/or compatible elements are proved to be equivalent to SQDP. 1. Introduction Let G be a partly ordered commutative group (po -group). Then G is said to have a quasi- divisor property if there exist commutative lattice-ordered group (l-group) (Γ, ·, ∧) and an order isomorphism h (the so-called quasi-divisor morphism) from G into Γ such that for any α ∈ Γ, there exist g , ... ,g ∈ G such that α = h(g ) ∧ ··· ∧ h(g ). Moreover, if this 1 n 1 n embedding h satisfies the condition ∀α,β ∈ Γ+ ∃γ ∈ Γ+ α ·γ ∈ h(G), β ∧ γ = 1, (1.1) then G is said to have a strong quasi-divisor property. Many papers have dealt with po - groups with (strong) quasi-divisor property (e.g., see [1, 3, 4, 5, 6, 7, 8]). It is well known that there are some generic examples of such l-group Γ. Namely, if h : G → Γ is a quasi- f divisor morphism, then Γ is o-isomorphic to the group ( (G), × ) of finitely generated t t t-ideals of G. Recall that a t-ideal Xt of G generated by a lower bounded subset X ⊆ G is