Show that an integral domain with every strictly decreasing chain of ideals $I_1 supset I_2supset cdots $...












3












$begingroup$



This question already has an answer here:




  • Commutative integral domain with d.c.c. is a field [duplicate]

    1 answer




Show that an integral domain with the property that every strictly decreasing chain of ideals $I_1 supset I_2supset cdots $ must be finite in length is a field.



Attempt: We need to show that every element in the integral domain $D$ is invertible. Let us suppose $exists~ a in D$ such that $a$ is not invertible.



Clearly, $ langle a rangle supset langle a^2 rangle supsetcdots supsetlangle a^n rangle $ where $langle a^{n } rangle $ is the last ideal in the chain.



Now, $langle a^{n+1} rangle $ should be equal to one of the $langle a^i rangle ;~ 1 leq i leq n$



But $langle a^{n+1} rangle $ also satisfies $langle a^n rangle supseteq langle a^{n+1} rangle $ and $langle a^i rangle supsetlangle a^n rangle $



$implies langle a^j rangle =langle a^n rangle ~~forall~~j geq n$



Now, since $a$ is not a unit, $langle a rangle $ does not contain the unity and hence, $langle a rangle neq D$



How do I move forward and have I interpreted the problem correctly?



Thank you for your help..










share|cite|improve this question











$endgroup$



marked as duplicate by rschwieb abstract-algebra
Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Aug 1 '14 at 12:06


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.




















    3












    $begingroup$



    This question already has an answer here:




    • Commutative integral domain with d.c.c. is a field [duplicate]

      1 answer




    Show that an integral domain with the property that every strictly decreasing chain of ideals $I_1 supset I_2supset cdots $ must be finite in length is a field.



    Attempt: We need to show that every element in the integral domain $D$ is invertible. Let us suppose $exists~ a in D$ such that $a$ is not invertible.



    Clearly, $ langle a rangle supset langle a^2 rangle supsetcdots supsetlangle a^n rangle $ where $langle a^{n } rangle $ is the last ideal in the chain.



    Now, $langle a^{n+1} rangle $ should be equal to one of the $langle a^i rangle ;~ 1 leq i leq n$



    But $langle a^{n+1} rangle $ also satisfies $langle a^n rangle supseteq langle a^{n+1} rangle $ and $langle a^i rangle supsetlangle a^n rangle $



    $implies langle a^j rangle =langle a^n rangle ~~forall~~j geq n$



    Now, since $a$ is not a unit, $langle a rangle $ does not contain the unity and hence, $langle a rangle neq D$



    How do I move forward and have I interpreted the problem correctly?



    Thank you for your help..










    share|cite|improve this question











    $endgroup$



    marked as duplicate by rschwieb abstract-algebra
    Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

    StackExchange.ready(function() {
    if (StackExchange.options.isMobile) return;

    $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
    var $hover = $(this).addClass('hover-bound'),
    $msg = $hover.siblings('.dupe-hammer-message');

    $hover.hover(
    function() {
    $hover.showInfoMessage('', {
    messageElement: $msg.clone().show(),
    transient: false,
    position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
    dismissable: false,
    relativeToBody: true
    });
    },
    function() {
    StackExchange.helpers.removeMessages();
    }
    );
    });
    });
    Aug 1 '14 at 12:06


    This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















      3












      3








      3


      1



      $begingroup$



      This question already has an answer here:




      • Commutative integral domain with d.c.c. is a field [duplicate]

        1 answer




      Show that an integral domain with the property that every strictly decreasing chain of ideals $I_1 supset I_2supset cdots $ must be finite in length is a field.



      Attempt: We need to show that every element in the integral domain $D$ is invertible. Let us suppose $exists~ a in D$ such that $a$ is not invertible.



      Clearly, $ langle a rangle supset langle a^2 rangle supsetcdots supsetlangle a^n rangle $ where $langle a^{n } rangle $ is the last ideal in the chain.



      Now, $langle a^{n+1} rangle $ should be equal to one of the $langle a^i rangle ;~ 1 leq i leq n$



      But $langle a^{n+1} rangle $ also satisfies $langle a^n rangle supseteq langle a^{n+1} rangle $ and $langle a^i rangle supsetlangle a^n rangle $



      $implies langle a^j rangle =langle a^n rangle ~~forall~~j geq n$



      Now, since $a$ is not a unit, $langle a rangle $ does not contain the unity and hence, $langle a rangle neq D$



      How do I move forward and have I interpreted the problem correctly?



      Thank you for your help..










      share|cite|improve this question











      $endgroup$





      This question already has an answer here:




      • Commutative integral domain with d.c.c. is a field [duplicate]

        1 answer




      Show that an integral domain with the property that every strictly decreasing chain of ideals $I_1 supset I_2supset cdots $ must be finite in length is a field.



      Attempt: We need to show that every element in the integral domain $D$ is invertible. Let us suppose $exists~ a in D$ such that $a$ is not invertible.



      Clearly, $ langle a rangle supset langle a^2 rangle supsetcdots supsetlangle a^n rangle $ where $langle a^{n } rangle $ is the last ideal in the chain.



      Now, $langle a^{n+1} rangle $ should be equal to one of the $langle a^i rangle ;~ 1 leq i leq n$



      But $langle a^{n+1} rangle $ also satisfies $langle a^n rangle supseteq langle a^{n+1} rangle $ and $langle a^i rangle supsetlangle a^n rangle $



      $implies langle a^j rangle =langle a^n rangle ~~forall~~j geq n$



      Now, since $a$ is not a unit, $langle a rangle $ does not contain the unity and hence, $langle a rangle neq D$



      How do I move forward and have I interpreted the problem correctly?



      Thank you for your help..





      This question already has an answer here:




      • Commutative integral domain with d.c.c. is a field [duplicate]

        1 answer








      abstract-algebra ring-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 1 '14 at 9:57







      MathMan

















      asked Aug 1 '14 at 9:46









      MathManMathMan

      3,64841870




      3,64841870




      marked as duplicate by rschwieb abstract-algebra
      Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function() {
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function() {
      $hover.showInfoMessage('', {
      messageElement: $msg.clone().show(),
      transient: false,
      position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
      dismissable: false,
      relativeToBody: true
      });
      },
      function() {
      StackExchange.helpers.removeMessages();
      }
      );
      });
      });
      Aug 1 '14 at 12:06


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






      marked as duplicate by rschwieb abstract-algebra
      Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function() {
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function() {
      $hover.showInfoMessage('', {
      messageElement: $msg.clone().show(),
      transient: false,
      position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
      dismissable: false,
      relativeToBody: true
      });
      },
      function() {
      StackExchange.helpers.removeMessages();
      }
      );
      });
      });
      Aug 1 '14 at 12:06


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
























          2 Answers
          2






          active

          oldest

          votes


















          5












          $begingroup$

          If $a$ is not a unit, then $langle a^{n+1} rangle ne langle a^n rangle$ because if $a^n in langle a^{n+1} rangle$, i.e., $a^n = r a^{n+1}$ for some $r in D$, then $a^n(1 - ra) = 0$, and that implies $1 = ra$ (because $D$ is a domain), contradicting the assumption that $a$ is not a unit.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:03










          • $begingroup$
            @Tunococ:What is the example of such Integral domain??
            $endgroup$
            – P.Styles
            Dec 30 '17 at 17:06



















          2












          $begingroup$

          Hint: $langle a^nrangle=langle a^{n+1}rangleimplies a^{n+1}inlangle a^nrangleimplies ??$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for your answer. I get this. I was indeed very close :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:04


















          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          5












          $begingroup$

          If $a$ is not a unit, then $langle a^{n+1} rangle ne langle a^n rangle$ because if $a^n in langle a^{n+1} rangle$, i.e., $a^n = r a^{n+1}$ for some $r in D$, then $a^n(1 - ra) = 0$, and that implies $1 = ra$ (because $D$ is a domain), contradicting the assumption that $a$ is not a unit.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:03










          • $begingroup$
            @Tunococ:What is the example of such Integral domain??
            $endgroup$
            – P.Styles
            Dec 30 '17 at 17:06
















          5












          $begingroup$

          If $a$ is not a unit, then $langle a^{n+1} rangle ne langle a^n rangle$ because if $a^n in langle a^{n+1} rangle$, i.e., $a^n = r a^{n+1}$ for some $r in D$, then $a^n(1 - ra) = 0$, and that implies $1 = ra$ (because $D$ is a domain), contradicting the assumption that $a$ is not a unit.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:03










          • $begingroup$
            @Tunococ:What is the example of such Integral domain??
            $endgroup$
            – P.Styles
            Dec 30 '17 at 17:06














          5












          5








          5





          $begingroup$

          If $a$ is not a unit, then $langle a^{n+1} rangle ne langle a^n rangle$ because if $a^n in langle a^{n+1} rangle$, i.e., $a^n = r a^{n+1}$ for some $r in D$, then $a^n(1 - ra) = 0$, and that implies $1 = ra$ (because $D$ is a domain), contradicting the assumption that $a$ is not a unit.






          share|cite|improve this answer









          $endgroup$



          If $a$ is not a unit, then $langle a^{n+1} rangle ne langle a^n rangle$ because if $a^n in langle a^{n+1} rangle$, i.e., $a^n = r a^{n+1}$ for some $r in D$, then $a^n(1 - ra) = 0$, and that implies $1 = ra$ (because $D$ is a domain), contradicting the assumption that $a$ is not a unit.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 1 '14 at 10:01









          TunococTunococ

          8,1661931




          8,1661931












          • $begingroup$
            Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:03










          • $begingroup$
            @Tunococ:What is the example of such Integral domain??
            $endgroup$
            – P.Styles
            Dec 30 '17 at 17:06


















          • $begingroup$
            Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:03










          • $begingroup$
            @Tunococ:What is the example of such Integral domain??
            $endgroup$
            – P.Styles
            Dec 30 '17 at 17:06
















          $begingroup$
          Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
          $endgroup$
          – MathMan
          Aug 1 '14 at 10:03




          $begingroup$
          Wow. Thank you. Makes me happy that I was indeed very close. I should have thought about this as well. :-)
          $endgroup$
          – MathMan
          Aug 1 '14 at 10:03












          $begingroup$
          @Tunococ:What is the example of such Integral domain??
          $endgroup$
          – P.Styles
          Dec 30 '17 at 17:06




          $begingroup$
          @Tunococ:What is the example of such Integral domain??
          $endgroup$
          – P.Styles
          Dec 30 '17 at 17:06











          2












          $begingroup$

          Hint: $langle a^nrangle=langle a^{n+1}rangleimplies a^{n+1}inlangle a^nrangleimplies ??$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for your answer. I get this. I was indeed very close :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:04
















          2












          $begingroup$

          Hint: $langle a^nrangle=langle a^{n+1}rangleimplies a^{n+1}inlangle a^nrangleimplies ??$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for your answer. I get this. I was indeed very close :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:04














          2












          2








          2





          $begingroup$

          Hint: $langle a^nrangle=langle a^{n+1}rangleimplies a^{n+1}inlangle a^nrangleimplies ??$






          share|cite|improve this answer









          $endgroup$



          Hint: $langle a^nrangle=langle a^{n+1}rangleimplies a^{n+1}inlangle a^nrangleimplies ??$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 1 '14 at 10:00









          blueblue

          13.1k2544




          13.1k2544












          • $begingroup$
            Thank you for your answer. I get this. I was indeed very close :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:04


















          • $begingroup$
            Thank you for your answer. I get this. I was indeed very close :-)
            $endgroup$
            – MathMan
            Aug 1 '14 at 10:04
















          $begingroup$
          Thank you for your answer. I get this. I was indeed very close :-)
          $endgroup$
          – MathMan
          Aug 1 '14 at 10:04




          $begingroup$
          Thank you for your answer. I get this. I was indeed very close :-)
          $endgroup$
          – MathMan
          Aug 1 '14 at 10:04



          Popular posts from this blog

          Plaza Victoria

          Puebla de Zaragoza

          Musa