Groupe archimédien

Un groupe archimédien est, en algèbre générale, un groupe totalement ordonné vérifiant la propriété d'Archimède, à savoir: pour toute paire d'éléments positifs du groupe, on peut majorer l'un par un multiple entier de l'autre.

Par exemple, l'ensemble R des nombres réels muni de l'addition et de la relation d'ordre usuelle est un groupe archimédien. Le terme d'archimédien, popularisé par le mathématicien Otto Stolz, fait référence au mathématicien grec Archimède qui énonce cette propriété dans ses travaux^[1].

Définition

Soit un groupe (G, +, ≤) noté additivement et totalement ordonné, c'est-à-dire que

• (G, +) vérifie les axiomes d'un groupe : G est un ensemble non vide, la loi de composition sur G notée + est associative, possède un élément neutre noté 0 et chaque élément x possède un symétrique noté -x.
• (G, ≤) est un ensemble totalement ordonné : ≤ est une relation d'ordre sur G et cet ordre est total, c'est-à-dire qu'on peut toujours comparer deux éléments entre eux.
• Enfin, la relation d'ordre ≤ est compatible avec la loi + : si x et y sont deux éléments de G tels que x ≤ y, alors pour tout z, x + z ≤ y + z et z + x ≤ z + y.

De plus, dans un groupe additif, on note na une addition de n copies de a :

${\displaystyle n\cdot a=\underbrace {a+a+\ldots +a} _{n{\text{ fois}}}.}$

Le groupe G est dit archimédien s'il satisfait la propriété d'Archimède^[2] : pour tout couple a et b d'éléments de G supérieurs à 0, il est possible de trouver un nombre entier naturel n tel que b ≤ na.

De manière équivalente, un groupe totalement ordonné est archimédien si et seulement si aucun de ses sous-groupes cycliques n'est borné^[3]. Cela découle directement de la définition : la propriété d'Archimède pour le couple (a,b) implique que le sous-groupe cyclique engendré par a n'est pas borné par b.

Exemples et contre-exemples

Exemples de groupes archimédiens

L'ensemble Z des nombres entiers relatifs, l'ensemble Q des nombres rationnels, ou l'ensemble R des nombres réels, munis de l'opération d'addition et de l'ordre usuel (≤), sont des groupes archimédiens. Tout sous-groupe d'un groupe archimédien est lui-même archimédien. Il en découle que tous les sous-groupes desdits groupes, tels que le groupe additif des nombres pairs ou des rationnels dyadiques, sont aussi archimédiens.

Réciproquement, tout groupe archimédien est isomorphe (en tant que groupe ordonné) à un sous-groupe des nombres réels^[4],[5],[6]. Par conséquent, tout groupe archimédien est un groupe abélien : c'est-à-dire que sa loi de composition est nécessairement commutative.

Contre-exemples : groupes non-archimédiens

Par définition, les groupes ne pouvant pas être munis d'une relation d'ordre total compatible avec la loi de composition du groupe ne peuvent être archimédiens. C'est le cas par exemple des groupes finis, ou des nombres p-adiques.

Il existe également des groupes totalement ordonnés mais non-archimédiens. Par exemple, soit le groupe ordonné (R², +, ≤) constitué de l'ensemble des points du plan euclidien R², représentés par leurs coordonnées cartésiennes, muni de l'addition usuelle et de l'ordre lexicographique. Autrement dit, si a = (u , v) et b = (x , y), alors a + b = (u + x , v + y), et a ≤ b si et seulement si, soit u < x, soit u = x et v ≤ y.

Ce groupe est bien un groupe totalement ordonné, mais il n'est pas archimédien. Pour le voir, on considère les éléments a = (0, 1) et b = (1, 0), tous deux supérieurs à l'élément zéro du groupe, le point de coordonnées (0, 0). Pour tout entier naturel n, on a na = (0, n), mais, dans l'ordre lexicographique, (0, n) sera toujours inférieur à b = (1, 0). Il n'y a donc aucun n qui puisse satisfaire la propriété d'Archimède pour a et b^[7].

Ce groupe non-archimédien peut être vu comme le groupe additif des paires constituées d'un nombre réel et d'un infinitésimal ${\displaystyle (x,y)=x+y\epsilon ,}$ où ${\displaystyle \epsilon }$ est une unité infinitésimale : ${\displaystyle \epsilon >0}$ mais ${\displaystyle \epsilon <x}$ pour tout nombre réel positif ${\displaystyle x>0}$. En fait, l'analyse non standard repose en grande partie sur l'étude des groupes ordonnés (et plus généralement des corps ordonnés) non-archimédiens, par exemple, les nombres hyperréels et les nombres surréels.

D'après le théorème de plongement de Hahn, un groupe totalement ordonné non-archimédien ne peut pas être plongé dans R ; mais peut toujours être plongé dans une puissance de R muni de l'ordre lexicographique; l'exemple ci-dessus illustre le cas de R²).

Propriété de coupure

Tout groupe archimédien possède une propriété de coupure : pour toute coupure de Dedekind du groupe, et pour tout élément ε > 0, il existe un autre élément x appartenant à la partie inférieure de la coupure tel que x + ε soit du côté supérieur de la coupure.

Cependant, cette propriété n'est pas suffisante pour caractériser les groupes archimédiens : il existe des groupes ordonnés non archimédiens qui vérifient aussi cette propriété. En revanche, tout groupe vérifiant la propriété de coupure ci-dessus est nécessairement abélien^[8].

Généralisations

La propriété d'Archimède peut être généralisée aux monoïdes. Par exemple, l'ensemble des nombres entiers naturels N, l'ensemble des nombres rationnels positifs Q₊ et l'ensemble des nombres réels positifs R₊ munis de l'addition et de l'ordre usuel sont des monoïdes archimédiens. À l'instar des groupes, on peut montrer que les monoïdes archimédiens sont commutatifs.

Notes et références

1. Stephen Marvin, Dictionary of scientific principles, Wiley, 2011 (ISBN 978-1-118-58212-1, 1-118-58212-8 et 1-299-18688-2, OCLC 809543294, lire en ligne), p. 17
2. Jiří Močkoř, Approximation theorems in commutative algebra : classical and categorical methods, vol. 59, Kluwer Academic Publishers, 1992 (ISBN 0-7923-1948-6 et 978-0-7923-1948-1, OCLC 26364087, lire en ligne), p. 5
3. (en) Oleg Belegradek, « Poly-regular ordered abelian groups », dans Contemporary Mathematics, vol. 302, American Mathematical Society, 2002 (ISBN 978-0-8218-2984-4, DOI 10.1090/conm/302/05049, lire en ligne), p. 101–111
4. Luigi Salce, Modules over non-Noetherian domains, American Mathematical Society, coll. « Mathematical Surveys and Monographs » (n^o 84), 2001 (ISBN 0-8218-1963-1 et 978-0-8218-1963-0, OCLC 44425447, lire en ligne), p. 61
5. László Fuchs, Partially ordered algebraic systems, Mineola, New York, Dover Publications, 2011 (1^re éd. 1963), 45–46 p. (ISBN 978-0-486-48387-0)
6. N. Ya Medvedev, Right-ordered groups, Consultants Bureau, 1996 (ISBN 0-306-11060-1 et 978-0-306-11060-3, OCLC 34583980, lire en ligne), p. 33-34
7. Abraham Robinson, Nonarchimedean fields and asymptotic expansions, North-Holland Pub. Co., 1975 (ISBN 0-444-10731-2, 978-0-444-10731-2 et 0-7204-2459-3, OCLC 1521942, lire en ligne), p. 8
8. N. D. Filippov, Ten papers on algebra and functional analysis, American Mathematical Society, 1970 (ISBN 0-8218-1796-5 et 978-0-8218-1796-4, OCLC 255112287, lire en ligne), p. 69-118

• Portail de l’algèbre