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)
“I am aware that I have been on many a man’s premises, and might have been legally ordered off, but I am not aware that I have been in many men’s houses.”
—Henry David Thoreau (1817–1862)
“I started out very quiet and I beat Mr. Turgenev. Then I trained hard and I beat Mr. de Maupassant. I’ve fought two draws with Mr. Stendhal, and I think I had an edge in the last one. But nobody’s going to get me in any ring with Mr. Tolstoy unless I’m crazy or I keep getting better.”
—Ernest Hemingway (1899–1961)