No: there are at most three, including zero and the whole group. A two-generator ordered Abelian group is torsion-free and has rank of an abelian group at most two. A convex subgroup of an ordered group is pure: if with , then lies between zero and or their negatives, so . Therefore a proper inclusion of convex subgroups increases rational rank: an element of cannot have a nonzero integer multiple in . Convex subgroups form a chain, so a rank-two group permits at most two strict inclusions. This is the bound for convex subgroups of a finite-rank ordered Abelian group. It is sharp: lexicographically ordered group has exactly , , and .
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.