Topological groups of divisibility
A method is presented making it possible to construct -groups with a strong theory of quasi-divisors of finite character and with some prescribed properties as subgroups of restricted Hahn groups , where are finitely atomic root systems. Some examples of these constructions are presented.
Two categories and of fuzzy sets over an -algebra are investigated. Full subcategories of these categories are introduced consisting of objects , , where is a subset of all extensional subobjects of an object . It is proved that all these subcategories are quasi-reflective subcategories in the corresponding categories.
A subobjects structure of the category - of -fuzzy sets over a complete -algebra is investigated, where an -fuzzy set is a pair such that is a set and is a special map. Special subobjects (called complete) of an -fuzzy set which can be identified with some characteristic morphisms are then investigated. It is proved that some truth-valued morphisms , are characteristic morphisms of complete subobjects.
For an order embedding of a partly ordered group into an -group a topology is introduced on which is defined by a family of valuations on . Some density properties of sets , and ( being -ideals in ) in the topological space are then investigated, each of them being equivalent to the statement that is a strong theory of quasi-divisors.
Let be a partially ordered abelian group (-group). The construction of the Lorenzen ideal -system in is investigated and the functorial properties of this construction with respect to the semigroup of all -ideal systems defined on are derived, where for and a lower bounded subset , . It is proved that Lorenzen construction is the natural transformation between two functors from the category of -groups with special morphisms into the category of abelian ordered semigroups.
Page 1 Next