ordered ring

Hello, you have come here looking for the meaning of the word ordered ring. In DICTIOUS you will not only get to know all the dictionary meanings for the word ordered ring, but we will also tell you about its etymology, its characteristics and you will know how to say ordered ring in singular and plural. Everything you need to know about the word ordered ring you have here. The definition of the word ordered ring will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofordered ring, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

English Wikipedia has an article on:
Wikipedia

Noun

ordered ring (plural ordered rings)

  1. (algebra, order theory, ring theory) A ring, R, equipped with a partial order, ≤, such that for arbitrary a, b, cR, if ab then a + cb + c, and if, additionally, 0 ≤ c, then both cacb and acbc.
    • 1965, Seth Warner, Modern Algebra, Dover, 1990, Single-volume republication, page 217,
      If is an ordering on compatible with its ring structure, we shall say that is an ordered ring. An element of an ordered ring is positive if , and is strictly positive if .
      The set of all positive elements of an ordered ring is denoted by , and the set of all strictly positive elements of is denoted by .
      If is an ordered ring and if is a total ordering, we shall, of course, call a totally ordered ring; if is a field, we shall call an ordered field, and if, moreover, is a total ordering, we shal call a totally ordered field.
    • 1990, P. M. Cohn, J. Howie (translators), Nicolas Bourbaki, Algebra II: Chapters 4-7, , Springer, 2003, Softcover reprint, page 19,
      DEFINITION 1. — Given a commutative ring , we say that an ordering on is compatible with the ring structure on if it is compatible with the additive group structure of , and if it satisfies the following axiom:
      (OR) The relations and imply .
      The ring , together with such an ordering, is called an ordered ring.
      Examples. — 1) The rings and , with the usual orderings, are ordered rings.
      2) A product of ordered rings, equipped with the product ordering, is an ordered ring. In particular, the ring of mappings from a set to an ordered ring is an ordered ring.
      3) A subring of an ordered ring, with the induced ordering, is an ordered ring.
  2. (algebra, order theory, ring theory) A ring, R, equipped with a total order, ≤, such that for arbitrary a, b, cR, if ab then a + cb + c, and if, additionally, 0 ≤ c, then both cacb and acbc.
    • 2013, Jonathan K. Hodge, Steven Schlicker, Ted Sundstrom, Abstract Algebra: An Inquiry Based Approach, CRC Press, page 253:
      The positive elements in an ordered ring allow us to compare elements to 0, but we know in the integers that we can compare any two elements to each other. For example, we know that because . We can extend this idea to any ordered ring. If is an ordered ring and , then we know by trichotomy that exactly one of the following must be true: , , or .
    • 2014, Benjamin Fine, Anthony M. Gaglione, Gerhard Rosenberger, Introduction to Abstract Algebra, Johns Hopkins University Press, page 77,
      Definition 3.5.4. A ring is an ordered ring if there exists a distinguished set , , called the set of positive elements, with the properties that:
      (1) The set is closed under addition and multiplication.
      (2) If then exactly one of the following is true: (trichotomy law)
      (a) ,
      (b) ,
      (c) .
      If further is an integral domain we call an ordered integral domain.
      Lemma 3.5.9. If is an ordered ring and is a positive element, then the set .
      Theorem 3.5.2. An ordered ring must be infinite.

Usage notes

  • While the ring is, strictly speaking, not necessarily associative or commutative, it may be defined as either or both by authors working within an overarching theory.
  • The property in the definition is sometimes replaced by the equivalent .
  • The order is said to be compatible with the ring structure of (in the sense that order is preserved by addition and, to an extent, multiplication).
  • A partial order is a total order if and only if the trichotomy condition holds: in other words, , where is the positive cone of and .
    • Consequently, in the total order case, it makes sense to define an absolute value applicable to every element of :

Synonyms

Hyponyms

Derived terms

Translations

See also

Further reading