Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use.

Abstract. The structures (G, r ), where r is a system of ideals defined on a directed group G, play an important role in solving arithmetical problems. In this paper, we investigate how some properties of these systems are transferred in their cartesian products and their substructures. The results we obtain find an application in the study of categorical properties of these structures.

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