Exercise 5, § 1

Give an example of an ordered group whose ordering is non-discrete, having nonzero elements of finite order (take the quotient of a suitable ordered group by a subgroup H such that P ∩ H = {0}).