Talk:Properties of Ordered Ring

Many of these properties apply to ordered groups. I would suggest making a separate page for those and linking from here to there. Dfeuer (talk) 22:24, 3 January 2013 (UTC)


 * Sure. I'm quite convinced many of them will apply to monoids as well... The list goes on and on. Someone with enough spare time may pay attention to this, some day. Perhaps. --Lord_Farin (talk) 22:28, 3 January 2013 (UTC)


 * There is particular significance for these results being specifically applied to an ordered ring - it's part of the basis for one of the axiomatic derivations of the integers, which themselves form an ordered ring (yes I know: ordered integral domain, but let's not get ahead of ourselves).


 * Well worth extracting the individual statements in this page (it was written very early on in the life of PW, before it had properly taken shape and the "one page per result" rule had been shaken down). Thus the individual results would of course be established in the context of group / monoid, which would in turn then be transferred to the ring context, and thence to ordered fields.


 * If anyone actually does refactor this in the context described above, my advice would be to keep this particular page and transclude each of the individual results so as to keep the existing citation and its linear flow intact. --prime mover (talk) 22:40, 3 January 2013 (UTC)