Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-4/6/iv/solution

No. Assign the two free generators to and in the lexicographically ordered group . The universal property gives a lattice-ordered group homomorphism onto this group: its image contains both ordinary group generators. It is not an Archimedean ordered group, since
Thus a lattice-homomorphic image can contain a nonzero positive infinitesimal even when the original free object has an Archimedean pointwise function representation.

New to topics? Read the docs here!