Some properties of Lorenzen ideal systems
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.