- #1
alexfloo
- 192
- 0
"Positive Set" in an Ordered Integral Domain
I'm currently reading Durbin's Modern Algebra, and I have a question about the positive set in ordered integral domains.
Durbin characterizes an ordere integral domain as one with a subset which is closed to addition and multiplication, and satisfies trichotomy (exactly one of a=0, a[itex]\in[/itex]D, or -a[itex]\in[/itex]D holds for each a).
One of the exercises asked me to prove that in the case of the integers, this "positive set" is unique (and in particular that it is the natural numbers). Is it the case that the positive set is always unique, or are there ordered integral domains whose order can be characterized in multiple ways?
I'm currently reading Durbin's Modern Algebra, and I have a question about the positive set in ordered integral domains.
Durbin characterizes an ordere integral domain as one with a subset which is closed to addition and multiplication, and satisfies trichotomy (exactly one of a=0, a[itex]\in[/itex]D, or -a[itex]\in[/itex]D holds for each a).
One of the exercises asked me to prove that in the case of the integers, this "positive set" is unique (and in particular that it is the natural numbers). Is it the case that the positive set is always unique, or are there ordered integral domains whose order can be characterized in multiple ways?