Results 1 to 8 of 8

Math Help - Decending chain condition and Integral Domain

  1. #1
    ynj
    ynj is offline
    Senior Member
    Joined
    Jul 2009
    Posts
    254

    Decending chain condition and Integral Domain

    Does every Integral Domain satisfy Decending chain condition? Or there should be a stronger restriction?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ynj View Post
    Does every Integral Domain satisfy Decending chain condition? Or there should be a stronger restriction?
    you mean descending chain conditions on its ideals?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    ynj
    ynj is offline
    Senior Member
    Joined
    Jul 2009
    Posts
    254
    yes
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ynj View Post
    yes
    the answer is no and an example is \mathbb{Z}: \ <2> \supset <4> \supset <8> \supset \cdots
    Follow Math Help Forum on Facebook and Google+

  5. #5
    ynj
    ynj is offline
    Senior Member
    Joined
    Jul 2009
    Posts
    254
    well..then something wrong with my text..
    Can any one give a sufficiency condition about DCC on ideals??
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    actually an integral domain satisfies the descending chain condition if and only if it's a field. the proof is very easy! one side is clear. now suppose an integral domain D satisfies the descending

    chain condition and let x \neq 0 be in D. consider the chain <x> \supseteq <x^2> \supseteq <x^3> \supseteq \cdots . so there exists an n > 0 such that <x^n>=<x^{n+1}> and hence x^n=dx^{n+1}, for some d in D. but then

    x^n(dx -1)=0 and thus dx=1 because x \neq 0 and D is a domain. so every non-zero element of D is invertible, i.e. D is a field.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    ynj
    ynj is offline
    Senior Member
    Joined
    Jul 2009
    Posts
    254
    Quote Originally Posted by NonCommAlg View Post
    actually an integral domain satisfies the descending chain condition if and only if it's a field. the proof is very easy! one side is clear. now suppose an integral domain D satisfies the descending

    chain condition and let x \neq 0 be in D. consider the chain <x> \supseteq <x^2> \supseteq <x^3> \supseteq \cdots . so there exists an n > 0 such that <x^n>=<x^{n+1}> and hence x^n=dx^{n+1}, for some d in D. but then

    x^n(dx -1)=0 and thus dx=1 because x \neq 0 and D is a domain. so every non-zero element of D is invertible, i.e. D is a field.
    emm..I think so...but every field have no nontrivial ideal...so I think this problem may not be discussed in integral domain and then become complex......
    Thank you for your solution
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ynj View Post
    emm..I think so...but every field have no nontrivial ideal...so I think this problem may not be discussed in integral domain and then become complex......
    Thank you for your solution
    descending chain condition is for all ideals, proper or not proper. so, you can say this: an integral domain satisfies the descending chain condition if and only if it's a field.

    by the way rings satisfying the descending chain condition (on their ideals) have a name. they're called Artinian.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Integral domain
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 15th 2009, 09:32 AM
  2. ascending chain condition
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 16th 2009, 02:01 PM
  3. Integral Domain
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 2nd 2008, 10:54 AM
  4. integral domain?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 23rd 2008, 09:03 AM
  5. Replies: 5
    Last Post: July 16th 2008, 11:53 AM

Search Tags


/mathhelpforum @mathhelpforum