The Embedding of an Ordered Semigroup in an Ordered group via the Quotient Condition
The objective of this paper is to give two descriptions of the -free products of archimedean -groups and to establish some properties for the -free products. Specifically, it is proved that -free products satisfy the weak subalgebra property.
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.
In this paper we investigate the relations between torsion classes of Specker lattice ordered groups and torsion classes of generalized Boolean algebras.