Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Partially ordered ring
Ring with a compatible partial order

In abstract algebra, a partially ordered ring is a ring equipped with a partial order on its underlying set that is compatible with ring operations, meaning that if \(x \leq y\), then \(x + z \leq y + z\) and if \(0 \leq x\) and \(0 \leq y\), then \(0 \leq x \cdot y\) for all elements \(x, y, z\). Variants include the Archimedean partially ordered ring, where the additive group is Archimedean. A related concept is the ordered ring, which is a partially ordered ring with a total order, and the lattice-ordered ring (l-ring), where the order is a lattice order.

We don't have any images related to Partially ordered ring yet.
We don't have any YouTube videos related to Partially ordered ring yet.
We don't have any PDF documents related to Partially ordered ring yet.
We don't have any Books related to Partially ordered ring yet.
We don't have any archived web articles related to Partially ordered ring yet.

Properties

The additive group of a partially ordered ring is always a partially ordered group.

The set of non-negative elements of a partially ordered ring (the set of elements x {\displaystyle x} for which 0 ≤ x , {\displaystyle 0\leq x,} also called the positive cone of the ring) is closed under addition and multiplication, that is, if P {\displaystyle P} is the set of non-negative elements of a partially ordered ring, then P + P ⊆ P {\displaystyle P+P\subseteq P} and P ⋅ P ⊆ P . {\displaystyle P\cdot P\subseteq P.} Furthermore, P ∩ ( − P ) = { 0 } . {\displaystyle P\cap (-P)=\{0\}.}

The mapping of the compatible partial order on a ring A {\displaystyle A} to the set of its non-negative elements is one-to-one;5 that is, the compatible partial order uniquely determines the set of non-negative elements, and a set of elements uniquely determines the compatible partial order if one exists.

If S ⊆ A {\displaystyle S\subseteq A} is a subset of a ring A , {\displaystyle A,} and:

  1. 0 ∈ S {\displaystyle 0\in S}
  2. S ∩ ( − S ) = { 0 } {\displaystyle S\cap (-S)=\{0\}}
  3. S + S ⊆ S {\displaystyle S+S\subseteq S}
  4. S ⋅ S ⊆ S {\displaystyle S\cdot S\subseteq S}

then the relation ≤ {\displaystyle \,\leq \,} where x ≤ y {\displaystyle x\leq y} if and only if y − x ∈ S {\displaystyle y-x\in S} defines a compatible partial order on A {\displaystyle A} (that is, ( A , ≤ ) {\displaystyle (A,\leq )} is a partially ordered ring).6

In any l-ring, the absolute value | x | {\displaystyle |x|} of an element x {\displaystyle x} can be defined to be x ∨ ( − x ) , {\displaystyle x\vee (-x),} where x ∨ y {\displaystyle x\vee y} denotes the maximal element. For any x {\displaystyle x} and y , {\displaystyle y,} | x ⋅ y | ≤ | x | ⋅ | y | {\displaystyle |x\cdot y|\leq |x|\cdot |y|} holds.7

f-rings

An f-ring, or Pierce–Birkhoff ring, is a lattice-ordered ring ( A , ≤ ) {\displaystyle (A,\leq )} in which x ∧ y = 0 {\displaystyle x\wedge y=0} 8 and 0 ≤ z {\displaystyle 0\leq z} imply that z x ∧ y = x z ∧ y = 0 {\displaystyle zx\wedge y=xz\wedge y=0} for all x , y , z ∈ A . {\displaystyle x,y,z\in A.} They were first introduced by Garrett Birkhoff and Richard S. Pierce in 1956, in a paper titled "Lattice-ordered rings", in an attempt to restrict the class of l-rings so as to eliminate a number of pathological examples. For example, Birkhoff and Pierce demonstrated an l-ring with 1 in which 1 is not positive, even though it is a square.9 The additional hypothesis required of f-rings eliminates this possibility.

Example

Let X {\displaystyle X} be a Hausdorff space, and C ( X ) {\displaystyle {\mathcal {C}}(X)} be the space of all continuous, real-valued functions on X . {\displaystyle X.} C ( X ) {\displaystyle {\mathcal {C}}(X)} is an Archimedean f-ring with 1 under the following pointwise operations: [ f + g ] ( x ) = f ( x ) + g ( x ) {\displaystyle [f+g](x)=f(x)+g(x)} [ f g ] ( x ) = f ( x ) ⋅ g ( x ) {\displaystyle [fg](x)=f(x)\cdot g(x)} [ f ∧ g ] ( x ) = f ( x ) ∧ g ( x ) . {\displaystyle [f\wedge g](x)=f(x)\wedge g(x).} 10

From an algebraic point of view the rings C ( X ) {\displaystyle {\mathcal {C}}(X)} are fairly rigid. For example, localisations, residue rings or limits of rings of the form C ( X ) {\displaystyle {\mathcal {C}}(X)} are not of this form in general. A much more flexible class of f-rings containing all rings of continuous functions and resembling many of the properties of these rings is the class of real closed rings.

Properties

  • A direct product of f-rings is an f-ring, an l-subring of an f-ring is an f-ring, and an l-homomorphic image of an f-ring is an f-ring.11
  • | x y | = | x | | y | {\displaystyle |xy|=|x||y|} in an f-ring.12
  • The category Arf consists of the Archimedean f-rings with 1 and the l-homomorphisms that preserve the identity.13
  • Every ordered ring is an f-ring, so every sub-direct union of ordered rings is also an f-ring. Assuming the axiom of choice, a theorem of Birkhoff shows the converse, and that an l-ring is an f-ring if and only if it is l-isomorphic to a sub-direct union of ordered rings.14 Some mathematicians take this to be the definition of an f-ring.15

Formally verified results for commutative ordered rings

IsarMathLib, a library for the Isabelle theorem prover, has formal verifications of a few fundamental results on commutative ordered rings. The results are proved in the ring1 context.16

Suppose ( A , ≤ ) {\displaystyle (A,\leq )} is a commutative ordered ring, and x , y , z ∈ A . {\displaystyle x,y,z\in A.} Then:

by
The additive group of A {\displaystyle A} is an ordered groupOrdRing_ZF_1_L4
x ≤ y  if and only if  x − y ≤ 0 {\displaystyle x\leq y{\text{ if and only if }}x-y\leq 0} OrdRing_ZF_1_L7
x ≤ y {\displaystyle x\leq y} and 0 ≤ z {\displaystyle 0\leq z} imply x z ≤ y z {\displaystyle xz\leq yz} and z x ≤ z y {\displaystyle zx\leq zy} OrdRing_ZF_1_L9
0 ≤ 1 {\displaystyle 0\leq 1} ordring_one_is_nonneg
| x y | = | x | | y | {\displaystyle |xy|=|x||y|} OrdRing_ZF_2_L5
| x + y | ≤ | x | + | y | {\displaystyle |x+y|\leq |x|+|y|} ord_ring_triangle_ineq
x {\displaystyle x} is either in the positive set, equal to 0 or in minus the positive set.OrdRing_ZF_3_L2
The set of positive elements of ( A , ≤ ) {\displaystyle (A,\leq )} is closed under multiplication if and only if A {\displaystyle A} has no zero divisors.OrdRing_ZF_3_L3
If A {\displaystyle A} is non-trivial ( 0 ≠ 1 {\displaystyle 0\neq 1} ), then it is infinite.ord_ring_infinite

See also

Further reading

  • Birkhoff, G.; R. Pierce (1956). "Lattice-ordered rings". Anais da Academia Brasileira de Ciências. 28: 41–69.
  • Gillman, Leonard; Jerison, Meyer Rings of continuous functions. Reprint of the 1960 edition. Graduate Texts in Mathematics, No. 43. Springer-Verlag, New York-Heidelberg, 1976. xiii+300 pp

References

  1. Anderson, F. W. "Lattice-ordered rings of quotients". Canadian Journal of Mathematics. 17: 434–448. doi:10.4153/cjm-1965-044-7. /wiki/Doi_(identifier) ↩

  2. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  3. Anderson, F. W. "Lattice-ordered rings of quotients". Canadian Journal of Mathematics. 17: 434–448. doi:10.4153/cjm-1965-044-7. /wiki/Doi_(identifier) ↩

  4. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  5. Anderson, F. W. "Lattice-ordered rings of quotients". Canadian Journal of Mathematics. 17: 434–448. doi:10.4153/cjm-1965-044-7. /wiki/Doi_(identifier) ↩

  6. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  7. Henriksen, Melvin (1997). "A survey of f-rings and some of their generalizations". In W. Charles Holland and Jorge Martinez (ed.). Ordered Algebraic Structures: Proceedings of the Curaçao Conference Sponsored by the Caribbean Mathematics Foundation, June 23–30, 1995. the Netherlands: Kluwer Academic Publishers. pp. 1–26. ISBN 0-7923-4377-8. 0-7923-4377-8 ↩

  8. ∧ {\displaystyle \wedge } denotes infimum. /wiki/Infimum ↩

  9. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  10. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  11. Henriksen, Melvin (1997). "A survey of f-rings and some of their generalizations". In W. Charles Holland and Jorge Martinez (ed.). Ordered Algebraic Structures: Proceedings of the Curaçao Conference Sponsored by the Caribbean Mathematics Foundation, June 23–30, 1995. the Netherlands: Kluwer Academic Publishers. pp. 1–26. ISBN 0-7923-4377-8. 0-7923-4377-8 ↩

  12. Henriksen, Melvin (1997). "A survey of f-rings and some of their generalizations". In W. Charles Holland and Jorge Martinez (ed.). Ordered Algebraic Structures: Proceedings of the Curaçao Conference Sponsored by the Caribbean Mathematics Foundation, June 23–30, 1995. the Netherlands: Kluwer Academic Publishers. pp. 1–26. ISBN 0-7923-4377-8. 0-7923-4377-8 ↩

  13. Hager, Anthony W.; Jorge Martinez (2002). "Functorial rings of quotients—III: The maximum in Archimedean f-rings". Journal of Pure and Applied Algebra. 169: 51–69. doi:10.1016/S0022-4049(01)00060-3. https://doi.org/10.1016%2FS0022-4049%2801%2900060-3 ↩

  14. Johnson, D. G. (December 1960). "A structure theory for a class of lattice-ordered rings". Acta Mathematica. 104 (3–4): 163–215. doi:10.1007/BF02546389. https://doi.org/10.1007%2FBF02546389 ↩

  15. Henriksen, Melvin (1997). "A survey of f-rings and some of their generalizations". In W. Charles Holland and Jorge Martinez (ed.). Ordered Algebraic Structures: Proceedings of the Curaçao Conference Sponsored by the Caribbean Mathematics Foundation, June 23–30, 1995. the Netherlands: Kluwer Academic Publishers. pp. 1–26. ISBN 0-7923-4377-8. 0-7923-4377-8 ↩

  16. "IsarMathLib" (PDF). Retrieved 2009-03-31. http://www.nongnu.org/isarmathlib/IsarMathLib/document.pdf ↩