Ordered Domains

**hercules** · April 22nd, 2008, 03:49 PM

Prove or disprove: If E is a subring of an ordered integral domain D, and E is also an integral domain, then E is ordered.

Trying to satisfy the ordered integral domain definiton:
since E is a ring ...it is closed under addition..then it's positive elements certainly are.
also E's nonzero elements are closed under multiplication because it is an integral domain.

help ...i don't know how to complete and write a proper proof for this.

**ThePerfectHacker** · April 22nd, 2008, 07:02 PM

Originally Posted by hercules

Prove or disprove: If E is a subring of an ordered integral domain D, and E is also an integral domain, then E is ordered.

Since $D$ is ordered it means there is a subset $P$ so that:

Exactly one holds: $a\in P,0\in P,-a\in P$ for any $a\in D$
If $a,b\in P$ then $a+b\in P$
If $a,b\in P$ then $ab\in P$

Note this same definition applies to $E$ as well because it is a subset.

**hercules** · April 23rd, 2008, 06:09 AM

Originally Posted by ThePerfectHacker

Since $D$ is ordered it means there is a subset $P$ so that:

Exactly one holds: $a\in P,0\in P,-a\in P$ for any $a\in D$
If $a,b\in P$ then $a+b\in P$
If $a,b\in P$ then $ab\in P$

Note this same definition applies to $E$ as well because it is a subset.

What you posted is exactly what i had in mind.
i thought i needed to show also that E has positive elements inside. Identity is in E+ but what else is guaranteed. Or am i thinking needlessly and overlooking an easy definition.

**ThePerfectHacker** · April 23rd, 2008, 09:35 AM

Originally Posted by hercules

What you posted is exactly what i had in mind.
i thought i needed to show also that E has positive elements inside. Identity is in E+ but what else is guaranteed. Or am i thinking needlessly and overlooking an easy definition.

We need to show there is a subset $P'$ of $E$ having those conditions. We cannot simply choose $P' = P$ because it is not necessarily a subset. But if we choose $P' = P\cap E$ then $P'\subseteq E$ and the three conditions will follow.

Math Help Forum: Ordered Domains

LinkBack

Thread Tools

Display

Ordered Domains

Similar Math Help Forum Discussions

Prufer Domains and Valuation Domains

Domains

Domains

Domains

domains...