Artin-Rees property in commutative Noetherian rings with unit











up vote
2
down vote

favorite












I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.



I have tried to go in this direction, but I have not obtained it:



Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.



Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.



Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.



This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?










share|cite|improve this question


























    up vote
    2
    down vote

    favorite












    I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.



    I have tried to go in this direction, but I have not obtained it:



    Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.



    Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.



    Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.



    This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?










    share|cite|improve this question
























      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.



      I have tried to go in this direction, but I have not obtained it:



      Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.



      Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.



      Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.



      This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?










      share|cite|improve this question













      I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.



      I have tried to go in this direction, but I have not obtained it:



      Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.



      Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.



      Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.



      This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?







      ring-theory commutative-algebra noetherian primary-decomposition






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 4 at 17:11









      Karen

      304




      304






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote



          accepted










          Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.



          Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.



          Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.



          Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,



          $E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.






          share|cite|improve this answer





















            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














             

            draft saved


            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2984513%2fartin-rees-property-in-commutative-noetherian-rings-with-unit%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            0
            down vote



            accepted










            Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.



            Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.



            Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.



            Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,



            $E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.






            share|cite|improve this answer

























              up vote
              0
              down vote



              accepted










              Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.



              Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.



              Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.



              Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,



              $E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.






              share|cite|improve this answer























                up vote
                0
                down vote



                accepted







                up vote
                0
                down vote



                accepted






                Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.



                Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.



                Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.



                Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,



                $E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.






                share|cite|improve this answer












                Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.



                Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.



                Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.



                Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,



                $E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 12 at 16:41









                Karen

                304




                304






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2984513%2fartin-rees-property-in-commutative-noetherian-rings-with-unit%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                    ComboBox Display Member on multiple fields

                    Is it possible to collect Nectar points via Trainline?