Groupe ordonné

groupe muni d'une relation d'ordre respectée par les translations
(Redirigé depuis Groupe totalement ordonné)

Un groupe ordonné est un groupe muni d'une relation d'ordre respectée par les translations.

Définitions

modifier

Soit (G,.) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d'ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y et z du groupe, la relation xy entraîne les deux relations zxzy et xzyz. Un groupe ordonné est un ensemble muni simultanément d'une loi de groupe et d'une relation d'ordre compatible[1]. On appelle groupe totalement ordonné un groupe ordonné dont la relation d'ordre est totale.

Dans un groupe G ordonné, un élément est dit positif s'il est supérieur à l'élément neutre eG, et négatif s'il lui est inférieur.

Une partie P d'un groupe G forme l'ensemble des éléments positifs de G pour un certain ordre compatible si et seulement si P est un cône positif, c'est-à-dire : PPP, PP−1 = {eG} et P est stable par conjugaison.

Exemples

modifier

Le groupe additif des réels, (ℝ, +), est un groupe abélien totalement ordonné par l'ordre usuel.

Grâce aux trois premières propriétés ci-dessous, on en déduit immédiatement bien d'autres groupes abéliens totalement ou partiellement ordonnés[1].

Propriétés

modifier
  • Tout sous-groupe d'un groupe ordonné (resp. totalement ordonné) est un groupe ordonné (resp. totalement ordonné) par la restriction de l'ordre du groupe.
  • Tout produit (même infini) de groupes ordonnés est un groupe ordonné par l'ordre partiel produit. Si l'ensemble d'indices est bien ordonné, le produit est également muni d'un ordre lexicographique qui est, lui aussi, compatible.
  • Tout groupe isomorphe à un groupe ordonné (resp. totalement ordonné) est un groupe ordonné (resp. totalement ordonné) par l'ordre induit.
  • Dans un groupe ordonné, pour tous éléments x, y, x' et y', les inégalités xy et x'y' entraînent l'inégalité xx' ≤ yy'.Dit autrement, on peut composer membre à membre des inégalités de même sens. En effet, d'après la définition, l'inégalité xy entraîne xx'yx'. De même, l'inégalité x'y' entraîne yx'yy'. On conclut par transitivité de la relation d'ordre.
  • Dans un groupe ordonné, pour tous éléments x et y, l'inégalité xy entraîne l'inégalité y−1x−1.Dit autrement, on peut passer à l'inverse dans une inégalité en en changeant le sens[1]. Pour obtenir ce résultat, il suffit de multiplier l'inégalité xy par y−1 à gauche et par x−1 à droite.
  • Dans un groupe totalement ordonné, la conjugaison préserve le « signe » (y > eGxyx−1 > eG), et tout élément est à racines uniques (pour tout entier n non nul, xn = ynx = y).
  • Tout groupe totalement ordonnable est sans torsion.La réciproque est vraie si le groupe est abélien, mais fausse dans le cas général : par exemple le groupe fondamental de la bouteille de Klein, c'est-à-dire le groupe à deux générateurs a et b liés seulement par aba−1 = b−1, est sans torsion mais (d'après le point précédent) pas totalement ordonnable[2].
  • Théorème de Hölder (1902) : tout groupe totalement ordonné archimédien est abélien et se plonge dans (ℝ, +, ≤).

Voir aussi

modifier

Références

modifier
  1. a b et c T. S. Blyth, Lattices and Ordered Algebraic Structures, Springer, (ISBN 1-85233-905-5), p. 143.
  2. (en) Dale Rolfsen, « Ordered Groups and Topology », sur University of British Columbia, .