R corps commutatif ordonné

[Nitronque]

bonjour à tous

j'ai besoin d'une précision svp

On a établi (le cours) que :

1/ (;+;x) est un corps commutatif

2/ (;+;) est un groupe commutatif ordonné

3/ (;x;) est un groupe commutatif ordonné

de ces 3 propriétés, on déduit que (;+;x;) est un corps commutatif ordonné.

ce que je ne comprends pas c'est que la propriété 3 ne porte que sur les réels positifs, et prtant on en déduit que tt entier est est un corps commutatif ordonné.

Pouvez-vs m'expliquer svp

[Nightmare]

Salut,

Quelle est la définition d'un corps commutatif ordonné?

[Nitronque]

je vais revoir la définition...

[Nitronque]

je pense que la partie de la définition qui me manquait, c'est que l'ordre sur la 2 ème loi doit être vérifié en composant 2éléments qcq du corps de référence avec un même élément qui doit être supérieur ou égal à l'élément neutre du corps pr la 1ère lci.

Est-ce bien ça ? Règle des signes oblige ?

Dc ici , ds le corps commutatif (;+;x), 0 étant l'élément neutre de pr la loi +, il faut notamment vérifier :



C'est bien ça ?

Merci de me dire