$I$-torsion functor and $sqrt{I}$











up vote
1
down vote

favorite
1













Let $R$ be a Noetherian ring and $I,Jsubseteq R$ ideals. For any $R$-module $M$, define $Gamma_I(M)={xin Mmid I^n x=0text{ for some }ninmathbb{N}}$. Suppose that $Gamma_I=Gamma_J$. I want to show that $sqrt{I}=sqrt{J}$.




My issue is that I don't know which $R$-module to consider. Picking any $rin sqrt{I}$, I think I want some quotient $R/A$ (where $A$ is an ideal involving $I$, or maybe $r$) such that $rinGamma_I(R/A)=Gamma_J(R/A)$, i.e. such that $(r+A)J^esubseteq A$ for some $e$.










share|cite|improve this question









New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
    – Badam Baplan
    Nov 29 at 23:08










  • @BadamBaplan Yes.
    – user234988
    Nov 29 at 23:46












  • Sorry that should have been obvious :)
    – Badam Baplan
    Nov 29 at 23:51















up vote
1
down vote

favorite
1













Let $R$ be a Noetherian ring and $I,Jsubseteq R$ ideals. For any $R$-module $M$, define $Gamma_I(M)={xin Mmid I^n x=0text{ for some }ninmathbb{N}}$. Suppose that $Gamma_I=Gamma_J$. I want to show that $sqrt{I}=sqrt{J}$.




My issue is that I don't know which $R$-module to consider. Picking any $rin sqrt{I}$, I think I want some quotient $R/A$ (where $A$ is an ideal involving $I$, or maybe $r$) such that $rinGamma_I(R/A)=Gamma_J(R/A)$, i.e. such that $(r+A)J^esubseteq A$ for some $e$.










share|cite|improve this question









New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
    – Badam Baplan
    Nov 29 at 23:08










  • @BadamBaplan Yes.
    – user234988
    Nov 29 at 23:46












  • Sorry that should have been obvious :)
    – Badam Baplan
    Nov 29 at 23:51













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1






Let $R$ be a Noetherian ring and $I,Jsubseteq R$ ideals. For any $R$-module $M$, define $Gamma_I(M)={xin Mmid I^n x=0text{ for some }ninmathbb{N}}$. Suppose that $Gamma_I=Gamma_J$. I want to show that $sqrt{I}=sqrt{J}$.




My issue is that I don't know which $R$-module to consider. Picking any $rin sqrt{I}$, I think I want some quotient $R/A$ (where $A$ is an ideal involving $I$, or maybe $r$) such that $rinGamma_I(R/A)=Gamma_J(R/A)$, i.e. such that $(r+A)J^esubseteq A$ for some $e$.










share|cite|improve this question









New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












Let $R$ be a Noetherian ring and $I,Jsubseteq R$ ideals. For any $R$-module $M$, define $Gamma_I(M)={xin Mmid I^n x=0text{ for some }ninmathbb{N}}$. Suppose that $Gamma_I=Gamma_J$. I want to show that $sqrt{I}=sqrt{J}$.




My issue is that I don't know which $R$-module to consider. Picking any $rin sqrt{I}$, I think I want some quotient $R/A$ (where $A$ is an ideal involving $I$, or maybe $r$) such that $rinGamma_I(R/A)=Gamma_J(R/A)$, i.e. such that $(r+A)J^esubseteq A$ for some $e$.







abstract-algebra ring-theory commutative-algebra modules local-cohomology






share|cite|improve this question









New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 2 days ago









user26857

39.1k123882




39.1k123882






New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Nov 29 at 21:39









user234988

62




62




New contributor




user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






user234988 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
    – Badam Baplan
    Nov 29 at 23:08










  • @BadamBaplan Yes.
    – user234988
    Nov 29 at 23:46












  • Sorry that should have been obvious :)
    – Badam Baplan
    Nov 29 at 23:51


















  • When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
    – Badam Baplan
    Nov 29 at 23:08










  • @BadamBaplan Yes.
    – user234988
    Nov 29 at 23:46












  • Sorry that should have been obvious :)
    – Badam Baplan
    Nov 29 at 23:51
















When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
– Badam Baplan
Nov 29 at 23:08




When you say $Gamma_I = Gamma_J$, do you mean that for all $R$-modules $M$, $Gamma_I(M) = Gamma_J(M)$?
– Badam Baplan
Nov 29 at 23:08












@BadamBaplan Yes.
– user234988
Nov 29 at 23:46






@BadamBaplan Yes.
– user234988
Nov 29 at 23:46














Sorry that should have been obvious :)
– Badam Baplan
Nov 29 at 23:51




Sorry that should have been obvious :)
– Badam Baplan
Nov 29 at 23:51










1 Answer
1






active

oldest

votes

















up vote
2
down vote













First check that we can use the Noetherian hypothesis to rewrite the definition of the $I$-torsion functor as $Gamma_I(M) = {m in M mid I subseteq sqrt{text{Ann}_R(m)} }$. I think this well illuminates an approach to the problem by associated primes.



Hint about what module to apply the functor to:




I would look at $Gamma_I(R/I) = Gamma_J(R/I)$.




More details, if it's helpful:




In particular, pick a prime $mathfrak{p}$ minimal over $I$, so that $mathfrak{p}$ is an associate prime of $R/I$. There exists an element $m in R / I$ such that $text{Ann}_R(m) = mathfrak{p}$, hence $I subseteq mathfrak{p} = sqrt{text{Ann}_R(m)}$ and $m in Gamma_I(R/I)$. By assumption, $m in Gamma_J(R/I)$, too. Thus $J subseteq mathfrak{p}$ as well. It follows easily that $V(I) subseteq V(J)$. A symmetric argument shows the opposite inclusion.







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
    });


    }
    });






    user234988 is a new contributor. Be nice, and check out our Code of Conduct.










    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3019255%2fi-torsion-functor-and-sqrti%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
    2
    down vote













    First check that we can use the Noetherian hypothesis to rewrite the definition of the $I$-torsion functor as $Gamma_I(M) = {m in M mid I subseteq sqrt{text{Ann}_R(m)} }$. I think this well illuminates an approach to the problem by associated primes.



    Hint about what module to apply the functor to:




    I would look at $Gamma_I(R/I) = Gamma_J(R/I)$.




    More details, if it's helpful:




    In particular, pick a prime $mathfrak{p}$ minimal over $I$, so that $mathfrak{p}$ is an associate prime of $R/I$. There exists an element $m in R / I$ such that $text{Ann}_R(m) = mathfrak{p}$, hence $I subseteq mathfrak{p} = sqrt{text{Ann}_R(m)}$ and $m in Gamma_I(R/I)$. By assumption, $m in Gamma_J(R/I)$, too. Thus $J subseteq mathfrak{p}$ as well. It follows easily that $V(I) subseteq V(J)$. A symmetric argument shows the opposite inclusion.







    share|cite|improve this answer

























      up vote
      2
      down vote













      First check that we can use the Noetherian hypothesis to rewrite the definition of the $I$-torsion functor as $Gamma_I(M) = {m in M mid I subseteq sqrt{text{Ann}_R(m)} }$. I think this well illuminates an approach to the problem by associated primes.



      Hint about what module to apply the functor to:




      I would look at $Gamma_I(R/I) = Gamma_J(R/I)$.




      More details, if it's helpful:




      In particular, pick a prime $mathfrak{p}$ minimal over $I$, so that $mathfrak{p}$ is an associate prime of $R/I$. There exists an element $m in R / I$ such that $text{Ann}_R(m) = mathfrak{p}$, hence $I subseteq mathfrak{p} = sqrt{text{Ann}_R(m)}$ and $m in Gamma_I(R/I)$. By assumption, $m in Gamma_J(R/I)$, too. Thus $J subseteq mathfrak{p}$ as well. It follows easily that $V(I) subseteq V(J)$. A symmetric argument shows the opposite inclusion.







      share|cite|improve this answer























        up vote
        2
        down vote










        up vote
        2
        down vote









        First check that we can use the Noetherian hypothesis to rewrite the definition of the $I$-torsion functor as $Gamma_I(M) = {m in M mid I subseteq sqrt{text{Ann}_R(m)} }$. I think this well illuminates an approach to the problem by associated primes.



        Hint about what module to apply the functor to:




        I would look at $Gamma_I(R/I) = Gamma_J(R/I)$.




        More details, if it's helpful:




        In particular, pick a prime $mathfrak{p}$ minimal over $I$, so that $mathfrak{p}$ is an associate prime of $R/I$. There exists an element $m in R / I$ such that $text{Ann}_R(m) = mathfrak{p}$, hence $I subseteq mathfrak{p} = sqrt{text{Ann}_R(m)}$ and $m in Gamma_I(R/I)$. By assumption, $m in Gamma_J(R/I)$, too. Thus $J subseteq mathfrak{p}$ as well. It follows easily that $V(I) subseteq V(J)$. A symmetric argument shows the opposite inclusion.







        share|cite|improve this answer












        First check that we can use the Noetherian hypothesis to rewrite the definition of the $I$-torsion functor as $Gamma_I(M) = {m in M mid I subseteq sqrt{text{Ann}_R(m)} }$. I think this well illuminates an approach to the problem by associated primes.



        Hint about what module to apply the functor to:




        I would look at $Gamma_I(R/I) = Gamma_J(R/I)$.




        More details, if it's helpful:




        In particular, pick a prime $mathfrak{p}$ minimal over $I$, so that $mathfrak{p}$ is an associate prime of $R/I$. There exists an element $m in R / I$ such that $text{Ann}_R(m) = mathfrak{p}$, hence $I subseteq mathfrak{p} = sqrt{text{Ann}_R(m)}$ and $m in Gamma_I(R/I)$. By assumption, $m in Gamma_J(R/I)$, too. Thus $J subseteq mathfrak{p}$ as well. It follows easily that $V(I) subseteq V(J)$. A symmetric argument shows the opposite inclusion.








        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 30 at 0:44









        Badam Baplan

        4,151722




        4,151722






















            user234988 is a new contributor. Be nice, and check out our Code of Conduct.










            draft saved

            draft discarded


















            user234988 is a new contributor. Be nice, and check out our Code of Conduct.













            user234988 is a new contributor. Be nice, and check out our Code of Conduct.












            user234988 is a new contributor. Be nice, and check out our Code of Conduct.
















            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3019255%2fi-torsion-functor-and-sqrti%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

            Bressuire

            Cabo Verde

            Gyllenstierna