In abstract algebra, a partially ordered ring is a ring (A, +, ยท ), together with a compatible partial order, i.e. a partial order on the underlying set A that is compatible with the ring operations in the sense that it satisfies:
- implies
and
- and imply that
for all . Various extensions of this definition exist that constrain the ring, the partial order, or both. For example, an Archimedean partially ordered ring is a partially ordered ring where 's partially ordered additive group is Archimedean.
An ordered ring, also called a totally ordered ring, is a partially ordered ring where is additionally a total order.
An l-ring, or lattice-ordered ring, is a partially ordered ring where is additionally a lattice order.
Read more about Partially Ordered Ring: Properties, F-rings, Formally Verified Results For Commutative Ordered Rings
Famous quotes containing the words partially, ordered and/or ring:
“Let us consider that we are all partially insane. It will explain us to each other; it will unriddle many riddles; it will make clear and simple many things which are involved in haunting and harassing difficulties and obscurities now.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“Twenty-four-hour room service generally refers to the length of time that it takes for the club sandwich to arrive. This is indeed disheartening, particularly when you’ve ordered scrambled eggs.”
—Fran Lebowitz (b. 1950)
“The Mormons make the marriage ring, like the ring of Saturn, fluid, not solid, and keep it in its place by numerous satellites.”
—Henry Wadsworth Longfellow (1807–1882)