1
$\begingroup$

(I'm inspired by this question.)


Is there a [not-necessarily-commutative non-simple ordered ring with a 1 that's not equal to 0]
which is not isomorphic to the integers but is such that

for all positive elements m, for all elements x, there is a least
non-negative y such that x-y is in the (two-sided) ideal generated by m

?


(An isomorphism between an ordered ring and the integers is automatically order-preserving.)

$\endgroup$

1 Answer 1

1
$\begingroup$

I think the ring of rational polynomials with integer constant coefficient should do. (Ordered in the natural way by the sign of the leading coefficient).

$\endgroup$

You must log in to answer this question.