Results 1 to 4 of 4

Math Help - Ordered Domains

  1. #1
    Junior Member hercules's Avatar
    Joined
    Sep 2007
    From
    Earth
    Posts
    62

    Ordered Domains

    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.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by hercules View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member hercules's Avatar
    Joined
    Sep 2007
    From
    Earth
    Posts
    62
    Quote Originally Posted by ThePerfectHacker View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by hercules View Post
    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.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prufer Domains and Valuation Domains
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: November 27th 2009, 07:15 AM
  2. Domains
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 22nd 2009, 07:39 AM
  3. Domains
    Posted in the Calculus Forum
    Replies: 3
    Last Post: September 9th 2009, 08:27 PM
  4. Domains
    Posted in the Pre-Calculus Forum
    Replies: 5
    Last Post: March 28th 2009, 08:56 AM
  5. domains...
    Posted in the Trigonometry Forum
    Replies: 4
    Last Post: April 3rd 2007, 08:08 PM

Search Tags


/mathhelpforum @mathhelpforum