Groupes totalement ordonnable

Un groupe est dit totalement ordonnable s'il peut être muni d'un ordre total compatible avec l'opération de groupe. Tout groupe abélien est totalement ordonnable ssi il est sans torsion.