Développement : Groupes totalement ordonnable

Détails/Enoncé :

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.

Versions :