ORDONNÉ ANNEAU
Article
-
ALGÉBRIQUES STRUCTURES
- Écrit par Jean-Marie PRUVOST-BEAURAIN
- 29 463 mots
Un anneau-ordonné (habituellement écrit sans trait d'union) est un quadruplet (E, l⊤, l⊥, R≺) tel que (E, l⊤, l⊥) soit un anneau et (E, l⊤, R≺) un groupe-ordonné abélien tels que ∀ (x, y), [(x, y) ∈ E×E et e⊤ ≺ x et e⊤ ≺ y] ⇒ ...