Namespaces
Variants
Actions

Difference between revisions of "Ordered ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
o0701401.png
 +
$#A+1 = 62 n = 0
 +
$#C+1 = 62 : ~/encyclopedia/old_files/data/O070/O.0700140 Ordered ring,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''partially ordered ring''
 
''partially ordered ring''
  
A ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701401.png" /> (not necessarily associative) which is a [[Partially ordered group|partially ordered group]] under addition and in which for any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701402.png" /> the inequalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701403.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701404.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701405.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701406.png" />. Every ring is an ordered ring for the trivial order. As examples of ordered rings one may take an [[Ordered field|ordered field]]; the ring of real functions on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701407.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701408.png" /> means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o0701409.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014010.png" />; or a matrix ring over an ordered ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014011.png" />, where, by definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014012.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014013.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014014.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014015.png" /> is an ordered ring, then the set
+
A ring $  R $(
 +
not necessarily associative) which is a [[Partially ordered group|partially ordered group]] under addition and in which for any elements $  a , b , c \in R $
 +
the inequalities $  a \leq  b $
 +
and $  c \geq  0 $
 +
imply $  a c \leq  b c $
 +
and $  c a \leq  c b $.  
 +
Every ring is an ordered ring for the trivial order. As examples of ordered rings one may take an [[Ordered field|ordered field]]; the ring of real functions on a set $  X $,  
 +
where $  f \leq  g $
 +
means that $  f ( x) \leq  g ( x) $
 +
for all $  x \in X $;  
 +
or a matrix ring over an ordered ring $  R $,  
 +
where, by definition, $  \| a _ {ij} \| \leq  \| b _ {ij} \| $
 +
if $  a _ {ij} \leq  b _ {ij} $
 +
for all $  i , j $.  
 +
If $  R $
 +
is an ordered ring, then the set
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014016.png" /></td> </tr></table>
+
$$
 +
= \{ {x } : {x \in R , x \geq  0 } \}
 +
$$
  
is called its positive cone. The positive cone of an ordered ring completely defines the order: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014017.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014018.png" />. A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014019.png" /> of a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014020.png" /> can serve as the positive cone for some order if and only if
+
is called its positive cone. The positive cone of an ordered ring completely defines the order: $  x \leq  y $
 +
if and only if $  y - x \in P $.  
 +
A subset $  P $
 +
of a ring $  R $
 +
can serve as the positive cone for some order if and only if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014021.png" /></td> </tr></table>
+
$$
 +
P \cap ( - P )  = \{ 0 \} ,\ \
 +
P + P  \subseteq  P \  \textrm{ and } \ \
 +
P P  \subseteq  P .
 +
$$
  
The equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014022.png" /> is equivalent to the totality of the order (cf. [[Totally ordered set|Totally ordered set]]).
+
The equation $  P \cup ( - P ) = R $
 +
is equivalent to the totality of the order (cf. [[Totally ordered set|Totally ordered set]]).
  
An ordered ring that is totally ordered or lattice-ordered is accordingly called a totally ordered or lattice-ordered ring (cf. also [[Archimedean ring|Archimedean ring]]). Lattice-ordered rings turn out to be distributive lattices, and their additive groups are torsion-free (cf. [[Lattice-ordered group|Lattice-ordered group]]). Certain questions in the theory of associative rings and, in particular, in the theory of radicals have analogues in associative lattice-ordered rings. The class of rings which allow a lattice-ordered ring structure is not axiomatizable. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014023.png" /> are elements of a lattice-ordered ring and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014024.png" />, then the following relations hold:
+
An ordered ring that is totally ordered or lattice-ordered is accordingly called a totally ordered or lattice-ordered ring (cf. also [[Archimedean ring|Archimedean ring]]). Lattice-ordered rings turn out to be distributive lattices, and their additive groups are torsion-free (cf. [[Lattice-ordered group|Lattice-ordered group]]). Certain questions in the theory of associative rings and, in particular, in the theory of radicals have analogues in associative lattice-ordered rings. The class of rings which allow a lattice-ordered ring structure is not axiomatizable. If $  a , b , c $
 +
are elements of a lattice-ordered ring and $  c \geq  0 $,  
 +
then the following relations hold:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014025.png" /></td> </tr></table>
+
$$
 +
( a \lor b ) c  \geq  a c \lor b c ,\ \
 +
c ( a \lor b )  \geq  c a \lor c b ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014026.png" /></td> </tr></table>
+
$$
 +
( a \wedge b ) c  \leq  a c \wedge b c ,\  c ( a \wedge b )  \leq  c a \wedge c b .
 +
$$
  
Ideals in lattice-ordered rings which are convex subgroups (cf. [[Convex subgroup|Convex subgroup]]) of the additive group are called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014028.png" />-ideals. The quotient ring by an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014029.png" />-ideal can be made into a lattice-ordered ring in a natural way. The homomorphism theorem holds.
+
Ideals in lattice-ordered rings which are convex subgroups (cf. [[Convex subgroup|Convex subgroup]]) of the additive group are called $  l $-
 +
ideals. The quotient ring by an $  l $-
 +
ideal can be made into a lattice-ordered ring in a natural way. The homomorphism theorem holds.
  
A lattice-ordered ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014030.png" /> is called a functional ring or an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014032.png" />-ring if it satisfies any of the following equivalent conditions: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014033.png" /> is isomorphic to a lattice-ordered subring of a direct product of totally ordered rings; 2) for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014034.png" /> one has the implication
+
A lattice-ordered ring $  R $
 +
is called a functional ring or an $  f $-
 +
ring if it satisfies any of the following equivalent conditions: 1) $  R $
 +
is isomorphic to a lattice-ordered subring of a direct product of totally ordered rings; 2) for any $  a , b , x \in R $
 +
one has the implication
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014035.png" /></td> </tr></table>
+
$$
 +
( a \wedge b = 0  \textrm{ and }  x \geq  0 )  \Rightarrow  ( a \wedge b x = a \wedge x b = 0 ) ;
 +
$$
  
3) for any subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014036.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014037.png" /> the set
+
3) for any subset $  X $
 +
of $  R $
 +
the set
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014038.png" /></td> </tr></table>
+
$$
 +
\{ {y } : {y \in R , \forall x \in X  x \wedge y = 0 } \}
 +
$$
  
is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014039.png" />-ideal; and 4) for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014040.png" />,
+
is an $  l $-
 +
ideal; and 4) for any $  a , b \in R $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014041.png" /></td> </tr></table>
+
$$
 +
( a \lor 0 ) ( b \lor 0 ) \wedge ( - a \lor 0 )  = ( b \lor 0 )
 +
( a \lor 0 ) \wedge ( - a \lor 0 )  = 0 .
 +
$$
  
Condition 4) shows that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014042.png" />-rings form a variety of signature <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014043.png" />. Neither of the equations in this condition is a consequence of the other. Not every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014044.png" />-ring can be imbedded in an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014045.png" />-ring with a unit element. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014046.png" /> are elements of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014047.png" />-ring and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014048.png" />, then one has
+
Condition 4) shows that $  f $-
 +
rings form a variety of signature $  \{ + , - , 0 , \cdot , \lor , \wedge \} $.  
 +
Neither of the equations in this condition is a consequence of the other. Not every $  f $-
 +
ring can be imbedded in an $  f $-
 +
ring with a unit element. If $  a , b , c $
 +
are elements of an $  f $-
 +
ring and $  c > 0 $,  
 +
then one has
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014049.png" /></td> </tr></table>
+
$$
 +
( a \lor b ) c  = a c \lor b c ,\  c ( a \lor b )  = c a \lor c b ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014050.png" /></td> </tr></table>
+
$$
 +
( a \wedge b ) c  = a c \wedge b c ,\  c ( a \wedge b )  = c a \wedge c b ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014051.png" /></td> </tr></table>
+
$$
 +
( a \lor ( - a ) ) ( b \lor ( - b ) )  = a b \lor ( - a b ) ,\  a  ^ {2}  \geq  0 ,
 +
$$
  
as well as the implication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014052.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014053.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014054.png" />.
+
as well as the implication $  ( a \wedge b = 0 ) $
 +
$  \Rightarrow $
 +
$  ( a b = 0 ) $.
  
An order of an ordered ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014055.png" /> with a positive cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014056.png" /> can be extended to a total order such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014057.png" /> becomes a totally ordered ring if and only if for any finite set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014058.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014059.png" /> one can choose <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014060.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014061.png" /> such that in the semi-ring generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014062.png" /> and the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014063.png" /> the sum of any two non-zero elements is non-zero. With <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070140/o07014064.png" /> one obtains a criterion for the possibility of having a total order on the ring.
+
An order of an ordered ring $  R $
 +
with a positive cone $  P $
 +
can be extended to a total order such that $  R $
 +
becomes a totally ordered ring if and only if for any finite set $  a _ {1} \dots a _ {n} $
 +
in $  R $
 +
one can choose $  \epsilon _ {i} = 1 $
 +
or $  - 1 $
 +
such that in the semi-ring generated by $  P $
 +
and the elements $  \epsilon _ {1} a _ {1} \dots \epsilon _ {n} a _ {n} $
 +
the sum of any two non-zero elements is non-zero. With $  P = \{ 0 \} $
 +
one obtains a criterion for the possibility of having a total order on the ring.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> G. Birkhoff, "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc. (1973) {{MR|1366860}} {{MR|0751233}} {{MR|1567177}} {{MR|0598630}} {{MR|0227053}} {{MR|0123490}} {{MR|0095754}} {{MR|0046339}} {{MR|0029876}} {{MR|0001959}} {{MR|1562917}} {{ZBL|0537.06001}} {{ZBL|0505.06001}} {{ZBL|0198.33603}} {{ZBL|0153.02501}} {{ZBL|0126.03801}} {{ZBL|0080.00412}} {{ZBL|0049.01602}} {{ZBL|0033.10103}} {{ZBL|0063.00402}} {{ZBL|0009.39402}} {{ZBL|66.0100.04}} {{ZBL|61.0997.10}} {{ZBL|61.0127.03}} {{ZBL|60.0113.10}} {{ZBL|60.0093.01}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.A. Vinogradov, "The non-axiomatizability of lattice-ordered rings" ''Math. Notes'' , '''21''' (1977) pp. 253–254 ''Mat. Zametki'' , '''21''' : 4 (1977) pp. 449–452</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963) {{MR|0171864}} {{ZBL|0137.02001}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> A. Bigard, K. Keimel, S. Wolfenstein, "Groupes et anneaux reticulés" , Springer (1977) {{MR|0552653}} {{ZBL|0384.06022}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> G.W. Brumfiel, "Partially ordered rings and semi-algebraic geometry" , Cambridge Univ. Press (1979) {{MR|0553280}} {{ZBL|0415.13015}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> S.A. Steinberg, "Radical theory in lattice-ordered rings" ''Symp. Mat. Ist. Naz. Alta Mat.'' , '''21''' (1977) pp. 379–400 {{MR|0472639}} {{ZBL|0374.06012}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> S.A. Steinberg, "Examples of lattice-ordered rings" ''J. of Algebra'' , '''72''' : 1 (1981) pp. 223–236 {{MR|0634624}} {{ZBL|0485.06004}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> G. Birkhoff, "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc. (1973) {{MR|1366860}} {{MR|0751233}} {{MR|1567177}} {{MR|0598630}} {{MR|0227053}} {{MR|0123490}} {{MR|0095754}} {{MR|0046339}} {{MR|0029876}} {{MR|0001959}} {{MR|1562917}} {{ZBL|0537.06001}} {{ZBL|0505.06001}} {{ZBL|0198.33603}} {{ZBL|0153.02501}} {{ZBL|0126.03801}} {{ZBL|0080.00412}} {{ZBL|0049.01602}} {{ZBL|0033.10103}} {{ZBL|0063.00402}} {{ZBL|0009.39402}} {{ZBL|66.0100.04}} {{ZBL|61.0997.10}} {{ZBL|61.0127.03}} {{ZBL|60.0113.10}} {{ZBL|60.0093.01}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.A. Vinogradov, "The non-axiomatizability of lattice-ordered rings" ''Math. Notes'' , '''21''' (1977) pp. 253–254 ''Mat. Zametki'' , '''21''' : 4 (1977) pp. 449–452</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963) {{MR|0171864}} {{ZBL|0137.02001}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> A. Bigard, K. Keimel, S. Wolfenstein, "Groupes et anneaux reticulés" , Springer (1977) {{MR|0552653}} {{ZBL|0384.06022}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> G.W. Brumfiel, "Partially ordered rings and semi-algebraic geometry" , Cambridge Univ. Press (1979) {{MR|0553280}} {{ZBL|0415.13015}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> S.A. Steinberg, "Radical theory in lattice-ordered rings" ''Symp. Mat. Ist. Naz. Alta Mat.'' , '''21''' (1977) pp. 379–400 {{MR|0472639}} {{ZBL|0374.06012}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> S.A. Steinberg, "Examples of lattice-ordered rings" ''J. of Algebra'' , '''72''' : 1 (1981) pp. 223–236 {{MR|0634624}} {{ZBL|0485.06004}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 08:04, 6 June 2020


partially ordered ring

A ring $ R $( not necessarily associative) which is a partially ordered group under addition and in which for any elements $ a , b , c \in R $ the inequalities $ a \leq b $ and $ c \geq 0 $ imply $ a c \leq b c $ and $ c a \leq c b $. Every ring is an ordered ring for the trivial order. As examples of ordered rings one may take an ordered field; the ring of real functions on a set $ X $, where $ f \leq g $ means that $ f ( x) \leq g ( x) $ for all $ x \in X $; or a matrix ring over an ordered ring $ R $, where, by definition, $ \| a _ {ij} \| \leq \| b _ {ij} \| $ if $ a _ {ij} \leq b _ {ij} $ for all $ i , j $. If $ R $ is an ordered ring, then the set

$$ P = \{ {x } : {x \in R , x \geq 0 } \} $$

is called its positive cone. The positive cone of an ordered ring completely defines the order: $ x \leq y $ if and only if $ y - x \in P $. A subset $ P $ of a ring $ R $ can serve as the positive cone for some order if and only if

$$ P \cap ( - P ) = \{ 0 \} ,\ \ P + P \subseteq P \ \textrm{ and } \ \ P P \subseteq P . $$

The equation $ P \cup ( - P ) = R $ is equivalent to the totality of the order (cf. Totally ordered set).

An ordered ring that is totally ordered or lattice-ordered is accordingly called a totally ordered or lattice-ordered ring (cf. also Archimedean ring). Lattice-ordered rings turn out to be distributive lattices, and their additive groups are torsion-free (cf. Lattice-ordered group). Certain questions in the theory of associative rings and, in particular, in the theory of radicals have analogues in associative lattice-ordered rings. The class of rings which allow a lattice-ordered ring structure is not axiomatizable. If $ a , b , c $ are elements of a lattice-ordered ring and $ c \geq 0 $, then the following relations hold:

$$ ( a \lor b ) c \geq a c \lor b c ,\ \ c ( a \lor b ) \geq c a \lor c b , $$

$$ ( a \wedge b ) c \leq a c \wedge b c ,\ c ( a \wedge b ) \leq c a \wedge c b . $$

Ideals in lattice-ordered rings which are convex subgroups (cf. Convex subgroup) of the additive group are called $ l $- ideals. The quotient ring by an $ l $- ideal can be made into a lattice-ordered ring in a natural way. The homomorphism theorem holds.

A lattice-ordered ring $ R $ is called a functional ring or an $ f $- ring if it satisfies any of the following equivalent conditions: 1) $ R $ is isomorphic to a lattice-ordered subring of a direct product of totally ordered rings; 2) for any $ a , b , x \in R $ one has the implication

$$ ( a \wedge b = 0 \textrm{ and } x \geq 0 ) \Rightarrow ( a \wedge b x = a \wedge x b = 0 ) ; $$

3) for any subset $ X $ of $ R $ the set

$$ \{ {y } : {y \in R , \forall x \in X x \wedge y = 0 } \} $$

is an $ l $- ideal; and 4) for any $ a , b \in R $,

$$ ( a \lor 0 ) ( b \lor 0 ) \wedge ( - a \lor 0 ) = ( b \lor 0 ) ( a \lor 0 ) \wedge ( - a \lor 0 ) = 0 . $$

Condition 4) shows that $ f $- rings form a variety of signature $ \{ + , - , 0 , \cdot , \lor , \wedge \} $. Neither of the equations in this condition is a consequence of the other. Not every $ f $- ring can be imbedded in an $ f $- ring with a unit element. If $ a , b , c $ are elements of an $ f $- ring and $ c > 0 $, then one has

$$ ( a \lor b ) c = a c \lor b c ,\ c ( a \lor b ) = c a \lor c b , $$

$$ ( a \wedge b ) c = a c \wedge b c ,\ c ( a \wedge b ) = c a \wedge c b , $$

$$ ( a \lor ( - a ) ) ( b \lor ( - b ) ) = a b \lor ( - a b ) ,\ a ^ {2} \geq 0 , $$

as well as the implication $ ( a \wedge b = 0 ) $ $ \Rightarrow $ $ ( a b = 0 ) $.

An order of an ordered ring $ R $ with a positive cone $ P $ can be extended to a total order such that $ R $ becomes a totally ordered ring if and only if for any finite set $ a _ {1} \dots a _ {n} $ in $ R $ one can choose $ \epsilon _ {i} = 1 $ or $ - 1 $ such that in the semi-ring generated by $ P $ and the elements $ \epsilon _ {1} a _ {1} \dots \epsilon _ {n} a _ {n} $ the sum of any two non-zero elements is non-zero. With $ P = \{ 0 \} $ one obtains a criterion for the possibility of having a total order on the ring.

References

[1] G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1973) MR1366860 MR0751233 MR1567177 MR0598630 MR0227053 MR0123490 MR0095754 MR0046339 MR0029876 MR0001959 MR1562917 Zbl 0537.06001 Zbl 0505.06001 Zbl 0198.33603 Zbl 0153.02501 Zbl 0126.03801 Zbl 0080.00412 Zbl 0049.01602 Zbl 0033.10103 Zbl 0063.00402 Zbl 0009.39402 Zbl 66.0100.04 Zbl 61.0997.10 Zbl 61.0127.03 Zbl 60.0113.10 Zbl 60.0093.01
[2] A.A. Vinogradov, "The non-axiomatizability of lattice-ordered rings" Math. Notes , 21 (1977) pp. 253–254 Mat. Zametki , 21 : 4 (1977) pp. 449–452
[3] L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963) MR0171864 Zbl 0137.02001
[4] A. Bigard, K. Keimel, S. Wolfenstein, "Groupes et anneaux reticulés" , Springer (1977) MR0552653 Zbl 0384.06022
[5] G.W. Brumfiel, "Partially ordered rings and semi-algebraic geometry" , Cambridge Univ. Press (1979) MR0553280 Zbl 0415.13015
[6] S.A. Steinberg, "Radical theory in lattice-ordered rings" Symp. Mat. Ist. Naz. Alta Mat. , 21 (1977) pp. 379–400 MR0472639 Zbl 0374.06012
[7] S.A. Steinberg, "Examples of lattice-ordered rings" J. of Algebra , 72 : 1 (1981) pp. 223–236 MR0634624 Zbl 0485.06004

Comments

For a survey of the current state-of-the-art in the field see the second part of [a1].

References

[a1] J. Martinez (ed.) , Ordered algebraic structures , Kluwer (1989) MR1094821 Zbl 0699.00020
How to Cite This Entry:
Ordered ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ordered_ring&oldid=48068
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article