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)
“Then he rang the bell and ordered a ham sandwich. When the maid placed the plate on the table, he deliberately looked away but as soon as the door had shut, he grabbed the sandwich with both hands, immediately soiled his fingers and chin with the hanging margin of fat and, grunting greedily, began to much.”
—Vladimir Nabokov (1899–1977)
“Close friends contribute to our personal growth. They also contribute to our personal pleasure, making the music sound sweeter, the wine taste richer, the laughter ring louder because they are there.”
—Judith Viorst (20th century)