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:
“I remember once dreaming of pushing a canoe up the rivers of Maine, and that, when I had got so high that the channels were dry, I kept on through the ravines and gorges, nearly as well as before, by pushing a little harder, and now it seemed to me that my dream was partially realized.”
—Henry David Thoreau (1817–1862)
“But one sound always rose above the clamor of busy life and, no matter how much of a tintinnabulation, was never confused and, for a moment lifted everything into an ordered sphere: that of the bells.”
—Johan Huizinga (1872–1945)
“When the merry bells ring round,
And the jocund rebecks sound
To many a youth and many a maid,
Dancing in the chequered shade;
And young and old come forth to play
On a sunshine holiday,”
—John Milton (1608–1674)