Exercice 3, § 1

Soit G un groupe ordonné tel que l’ensemble P des éléments positifs ne soit pas réduit à 0 ; montrer que G est un groupe infini, et ne peut avoir de plus grand (ni de plus petit) élément.