Exercice 5, § 1

Donner un exemple de groupe ordonné dont la relation d’ordre est non discrète, ayant des éléments $\neq 0$ d’ordre fini (prendre le quotient d’un groupe ordonné convenable par un sous-groupe $H$ tel que $P \cap H = \{0\}$).