Published online by Cambridge University Press: 09 April 2009
Let (G, ≼) be an l-group having a compatible tight Riesz order ≦ with open-interval topology U, and H a normal subgroup. The first part of the paper concerns the question: Under what conditions on H is the structure of (G, ≼, ∧, ∨, ≦, U) carried over satisfactorily to by the canonical homomorphism; and its answer (Theorem 8°): H should be an l-ideal of (G, ≼) closed and not open in (G, U). Such a normal subgroup is here called a tangent. An essential step is to show that ≼′ is the associated order of ≦′.