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.\r\rTout groupe abélien est totalement ordonnable ssi il est sans torsion.