Difference between revisions of "Ordered ring"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 44: | Line 44: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <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> |
Line 52: | Line 52: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Martinez (ed.) , ''Ordered algebraic structures'' , Kluwer (1989) {{MR|1094821}} {{ZBL|0699.00020}} </TD></TR></table> |
Revision as of 21:54, 30 March 2012
partially ordered ring
A ring (not necessarily associative) which is a partially ordered group under addition and in which for any elements
the inequalities
and
imply
and
. 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
, where
means that
for all
; or a matrix ring over an ordered ring
, where, by definition,
if
for all
. If
is an ordered ring, then the set
![]() |
is called its positive cone. The positive cone of an ordered ring completely defines the order: if and only if
. A subset
of a ring
can serve as the positive cone for some order if and only if
![]() |
The equation 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 are elements of a lattice-ordered ring and
, then the following relations hold:
![]() |
![]() |
Ideals in lattice-ordered rings which are convex subgroups (cf. Convex subgroup) of the additive group are called -ideals. The quotient ring by an
-ideal can be made into a lattice-ordered ring in a natural way. The homomorphism theorem holds.
A lattice-ordered ring is called a functional ring or an
-ring if it satisfies any of the following equivalent conditions: 1)
is isomorphic to a lattice-ordered subring of a direct product of totally ordered rings; 2) for any
one has the implication
![]() |
3) for any subset of
the set
![]() |
is an -ideal; and 4) for any
,
![]() |
Condition 4) shows that -rings form a variety of signature
. Neither of the equations in this condition is a consequence of the other. Not every
-ring can be imbedded in an
-ring with a unit element. If
are elements of an
-ring and
, then one has
![]() |
![]() |
![]() |
as well as the implication
.
An order of an ordered ring with a positive cone
can be extended to a total order such that
becomes a totally ordered ring if and only if for any finite set
in
one can choose
or
such that in the semi-ring generated by
and the elements
the sum of any two non-zero elements is non-zero. With
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 |
Ordered ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ordered_ring&oldid=23919