 Solution

For each $g\ne 1$, choose a value in a lattice-ordered group $P_g$, using Zorn's lemma. Such a value is a prime convex lattice subgroup. Otherwise the last construction in Question 1(i) would give two larger convex lattice subgroups whose intersection is $P_g$; maximality among subgroups omitting $g$ would put $g$ in both, hence in their intersection. Thus the right coset set ${\Omega }_g=P_g\backslash G$ is a totally ordered set.

Right multiplication defines an action ${\rho }_g(a):P_{g}h\mapsto P_{g}ha$. It is well-defined, preserves the total order, and has inverse ${\rho }_g(a^{-1})$. The coset formulas from Question 1(i) show pointwise preservation of both join and meet, becauseand likewise for the meet.

Take the disjoint union of these chains, arranged in any fixed order sum of the indices $g\ne 1$. Let every $a\in G$ act on each component by ${\rho }_g(a)$. This gives a lattice-ordered group homomorphism into the order automorphisms of one chain. It is injective: a nonidentity $a$ moves the identity coset in ${\Omega }_a$, since $P_{a}a\ne P_a$. Its image is closed under pointwise join and meet, giving exactly the required lattice-ordered permutation group. This is the Holland representation theorem.