Show that the natural density is $1/2$.











up vote
0
down vote

favorite
1












Let $$A_b= leftlbrace{p in mathbb{P}| left(frac{b}{p}right)=1 } rightrbrace $$ and $$ nu(A_b)=limlimits_{x to infty} frac{#lbrace {p in A_b|ple x}rbrace}{pi(x)}$$ the natural density.
For $b in mathbb{Z}$ square-free, prove that $$nu(A_b)=frac{1}{2}. $$
I do not have really an idea, but I know that $$ left(frac{b}{p}right)$$ is a Dirichlet-character modulo $4|b|$.
Can someone give me a hint ? Thanks for helping .










share|cite|improve this question
























  • Does quadratic reciprocity help?
    – Richard Martin
    Nov 15 at 15:16










  • not really , do I have to use the Dirichlet prime number theorem ?
    – Matillo
    Nov 15 at 15:24










  • Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
    – Richard Martin
    Nov 15 at 15:26










  • @Matillo is my answer below helpful?
    – mathworker21
    Nov 16 at 1:04










  • Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
    – Matillo
    Nov 16 at 16:23















up vote
0
down vote

favorite
1












Let $$A_b= leftlbrace{p in mathbb{P}| left(frac{b}{p}right)=1 } rightrbrace $$ and $$ nu(A_b)=limlimits_{x to infty} frac{#lbrace {p in A_b|ple x}rbrace}{pi(x)}$$ the natural density.
For $b in mathbb{Z}$ square-free, prove that $$nu(A_b)=frac{1}{2}. $$
I do not have really an idea, but I know that $$ left(frac{b}{p}right)$$ is a Dirichlet-character modulo $4|b|$.
Can someone give me a hint ? Thanks for helping .










share|cite|improve this question
























  • Does quadratic reciprocity help?
    – Richard Martin
    Nov 15 at 15:16










  • not really , do I have to use the Dirichlet prime number theorem ?
    – Matillo
    Nov 15 at 15:24










  • Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
    – Richard Martin
    Nov 15 at 15:26










  • @Matillo is my answer below helpful?
    – mathworker21
    Nov 16 at 1:04










  • Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
    – Matillo
    Nov 16 at 16:23













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





Let $$A_b= leftlbrace{p in mathbb{P}| left(frac{b}{p}right)=1 } rightrbrace $$ and $$ nu(A_b)=limlimits_{x to infty} frac{#lbrace {p in A_b|ple x}rbrace}{pi(x)}$$ the natural density.
For $b in mathbb{Z}$ square-free, prove that $$nu(A_b)=frac{1}{2}. $$
I do not have really an idea, but I know that $$ left(frac{b}{p}right)$$ is a Dirichlet-character modulo $4|b|$.
Can someone give me a hint ? Thanks for helping .










share|cite|improve this question















Let $$A_b= leftlbrace{p in mathbb{P}| left(frac{b}{p}right)=1 } rightrbrace $$ and $$ nu(A_b)=limlimits_{x to infty} frac{#lbrace {p in A_b|ple x}rbrace}{pi(x)}$$ the natural density.
For $b in mathbb{Z}$ square-free, prove that $$nu(A_b)=frac{1}{2}. $$
I do not have really an idea, but I know that $$ left(frac{b}{p}right)$$ is a Dirichlet-character modulo $4|b|$.
Can someone give me a hint ? Thanks for helping .







number-theory limits prime-numbers analytic-number-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 15 at 15:57









Zvi

3,165221




3,165221










asked Nov 15 at 14:26









Matillo

196




196












  • Does quadratic reciprocity help?
    – Richard Martin
    Nov 15 at 15:16










  • not really , do I have to use the Dirichlet prime number theorem ?
    – Matillo
    Nov 15 at 15:24










  • Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
    – Richard Martin
    Nov 15 at 15:26










  • @Matillo is my answer below helpful?
    – mathworker21
    Nov 16 at 1:04










  • Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
    – Matillo
    Nov 16 at 16:23


















  • Does quadratic reciprocity help?
    – Richard Martin
    Nov 15 at 15:16










  • not really , do I have to use the Dirichlet prime number theorem ?
    – Matillo
    Nov 15 at 15:24










  • Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
    – Richard Martin
    Nov 15 at 15:26










  • @Matillo is my answer below helpful?
    – mathworker21
    Nov 16 at 1:04










  • Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
    – Matillo
    Nov 16 at 16:23
















Does quadratic reciprocity help?
– Richard Martin
Nov 15 at 15:16




Does quadratic reciprocity help?
– Richard Martin
Nov 15 at 15:16












not really , do I have to use the Dirichlet prime number theorem ?
– Matillo
Nov 15 at 15:24




not really , do I have to use the Dirichlet prime number theorem ?
– Matillo
Nov 15 at 15:24












Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
– Richard Martin
Nov 15 at 15:26




Well I was thinking that mod $b$, $p$ is half the time a quadratic residue and half the time not. But then again, I'm not sure how to prove that either. So my next guess is something on $L$ functions ...
– Richard Martin
Nov 15 at 15:26












@Matillo is my answer below helpful?
– mathworker21
Nov 16 at 1:04




@Matillo is my answer below helpful?
– mathworker21
Nov 16 at 1:04












Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
– Matillo
Nov 16 at 16:23




Yes , but I am trying to understand why $$ left(frac{p}{p_{n_j}}right) $$ is +1 for 1/2 of nonzero residues mod p_j . I know this is +1 if p is a quadratic residue mod p_nj .
– Matillo
Nov 16 at 16:23










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Write $b =p_{n_1}dots p_{n_k}$ a product of distinct primes. First assume each $p_{n_i}$ is odd. Then for $p not = p_{n_1},dots,p_{n_k}$, by quadratic reciprocity, $$(frac{b}{p}) = (frac{p_{n_1}}{p})dots(frac{p_{n_k}}{p}) = (frac{p}{p_{n_1}})dots (frac{p}{p_{n_k}})(-1)^{epsilon_p}$$ where $epsilon_p$ depends (at most) on the residue of $p$ mod $4$. By Dirichlet's theorem on primes in arithmetic progression, $p$ is equidistributed mod $4p_{n_1}dots p_{n_k}$ and thus, since $(frac{p}{p_{n_j}})$ is $+1$ for $frac{1}{2}$ of the nonzero residues mod $p_j$ and $-1$ for the others, we conclude that $(frac{b}{p})$ is $+1$ half of the time and $-1$ half of the time.



If some $p_{n_j} = 2$... (try to finish this case).






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%2f2999771%2fshow-that-the-natural-density-is-1-2%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
    1
    down vote













    Write $b =p_{n_1}dots p_{n_k}$ a product of distinct primes. First assume each $p_{n_i}$ is odd. Then for $p not = p_{n_1},dots,p_{n_k}$, by quadratic reciprocity, $$(frac{b}{p}) = (frac{p_{n_1}}{p})dots(frac{p_{n_k}}{p}) = (frac{p}{p_{n_1}})dots (frac{p}{p_{n_k}})(-1)^{epsilon_p}$$ where $epsilon_p$ depends (at most) on the residue of $p$ mod $4$. By Dirichlet's theorem on primes in arithmetic progression, $p$ is equidistributed mod $4p_{n_1}dots p_{n_k}$ and thus, since $(frac{p}{p_{n_j}})$ is $+1$ for $frac{1}{2}$ of the nonzero residues mod $p_j$ and $-1$ for the others, we conclude that $(frac{b}{p})$ is $+1$ half of the time and $-1$ half of the time.



    If some $p_{n_j} = 2$... (try to finish this case).






    share|cite|improve this answer

























      up vote
      1
      down vote













      Write $b =p_{n_1}dots p_{n_k}$ a product of distinct primes. First assume each $p_{n_i}$ is odd. Then for $p not = p_{n_1},dots,p_{n_k}$, by quadratic reciprocity, $$(frac{b}{p}) = (frac{p_{n_1}}{p})dots(frac{p_{n_k}}{p}) = (frac{p}{p_{n_1}})dots (frac{p}{p_{n_k}})(-1)^{epsilon_p}$$ where $epsilon_p$ depends (at most) on the residue of $p$ mod $4$. By Dirichlet's theorem on primes in arithmetic progression, $p$ is equidistributed mod $4p_{n_1}dots p_{n_k}$ and thus, since $(frac{p}{p_{n_j}})$ is $+1$ for $frac{1}{2}$ of the nonzero residues mod $p_j$ and $-1$ for the others, we conclude that $(frac{b}{p})$ is $+1$ half of the time and $-1$ half of the time.



      If some $p_{n_j} = 2$... (try to finish this case).






      share|cite|improve this answer























        up vote
        1
        down vote










        up vote
        1
        down vote









        Write $b =p_{n_1}dots p_{n_k}$ a product of distinct primes. First assume each $p_{n_i}$ is odd. Then for $p not = p_{n_1},dots,p_{n_k}$, by quadratic reciprocity, $$(frac{b}{p}) = (frac{p_{n_1}}{p})dots(frac{p_{n_k}}{p}) = (frac{p}{p_{n_1}})dots (frac{p}{p_{n_k}})(-1)^{epsilon_p}$$ where $epsilon_p$ depends (at most) on the residue of $p$ mod $4$. By Dirichlet's theorem on primes in arithmetic progression, $p$ is equidistributed mod $4p_{n_1}dots p_{n_k}$ and thus, since $(frac{p}{p_{n_j}})$ is $+1$ for $frac{1}{2}$ of the nonzero residues mod $p_j$ and $-1$ for the others, we conclude that $(frac{b}{p})$ is $+1$ half of the time and $-1$ half of the time.



        If some $p_{n_j} = 2$... (try to finish this case).






        share|cite|improve this answer












        Write $b =p_{n_1}dots p_{n_k}$ a product of distinct primes. First assume each $p_{n_i}$ is odd. Then for $p not = p_{n_1},dots,p_{n_k}$, by quadratic reciprocity, $$(frac{b}{p}) = (frac{p_{n_1}}{p})dots(frac{p_{n_k}}{p}) = (frac{p}{p_{n_1}})dots (frac{p}{p_{n_k}})(-1)^{epsilon_p}$$ where $epsilon_p$ depends (at most) on the residue of $p$ mod $4$. By Dirichlet's theorem on primes in arithmetic progression, $p$ is equidistributed mod $4p_{n_1}dots p_{n_k}$ and thus, since $(frac{p}{p_{n_j}})$ is $+1$ for $frac{1}{2}$ of the nonzero residues mod $p_j$ and $-1$ for the others, we conclude that $(frac{b}{p})$ is $+1$ half of the time and $-1$ half of the time.



        If some $p_{n_j} = 2$... (try to finish this case).







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 15 at 16:09









        mathworker21

        7,9281827




        7,9281827






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999771%2fshow-that-the-natural-density-is-1-2%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

            Ellipse (mathématiques)

            Quarter-circle Tiles

            Mont Emei