Legendre symbol identity: $sum_{a=1}^{p-1}a cdot (frac{a}{p} )$ and $sum_{a=1}^{p-1}2^a cdot (frac{a}{p} )$











up vote
3
down vote

favorite












I am trying to solve the following problems ($p$ is an odd prime).





  1. Find the sum $$sum_{a=1}^{p-1}a cdot left (frac{a}{p} right),$$

  2. Find the sum $$sum_{a=1}^{p-1} 2^a cdot left (frac{a}{p} right).$$




Some thoughts :




  1. I reduced the sum to $2S_P-frac{p(p-1)}{2}$ where $S_p$ is the sum of the quadratic residues modulo $p$ but I don't know how to evaluate it .

  2. Nothing so far but more generally what can we say about the polynomial :


$$f(x)=sum_{a=1}^{p-1} x^a cdot left (frac{a}{p} right)$$



Is this polynomial interesting in any way ?



Thanks for all the help .










share|cite|improve this question
























  • How did you reduce such sum?
    – Paolo Leonetti
    Aug 24 '15 at 21:47






  • 1




    Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
    – Jack D'Aurizio
    Aug 24 '15 at 21:56










  • For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
    – user252450
    Aug 24 '15 at 21:57










  • @ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
    – user252450
    Aug 24 '15 at 22:01












  • and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
    – reuns
    Mar 31 '16 at 16:57















up vote
3
down vote

favorite












I am trying to solve the following problems ($p$ is an odd prime).





  1. Find the sum $$sum_{a=1}^{p-1}a cdot left (frac{a}{p} right),$$

  2. Find the sum $$sum_{a=1}^{p-1} 2^a cdot left (frac{a}{p} right).$$




Some thoughts :




  1. I reduced the sum to $2S_P-frac{p(p-1)}{2}$ where $S_p$ is the sum of the quadratic residues modulo $p$ but I don't know how to evaluate it .

  2. Nothing so far but more generally what can we say about the polynomial :


$$f(x)=sum_{a=1}^{p-1} x^a cdot left (frac{a}{p} right)$$



Is this polynomial interesting in any way ?



Thanks for all the help .










share|cite|improve this question
























  • How did you reduce such sum?
    – Paolo Leonetti
    Aug 24 '15 at 21:47






  • 1




    Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
    – Jack D'Aurizio
    Aug 24 '15 at 21:56










  • For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
    – user252450
    Aug 24 '15 at 21:57










  • @ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
    – user252450
    Aug 24 '15 at 22:01












  • and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
    – reuns
    Mar 31 '16 at 16:57













up vote
3
down vote

favorite









up vote
3
down vote

favorite











I am trying to solve the following problems ($p$ is an odd prime).





  1. Find the sum $$sum_{a=1}^{p-1}a cdot left (frac{a}{p} right),$$

  2. Find the sum $$sum_{a=1}^{p-1} 2^a cdot left (frac{a}{p} right).$$




Some thoughts :




  1. I reduced the sum to $2S_P-frac{p(p-1)}{2}$ where $S_p$ is the sum of the quadratic residues modulo $p$ but I don't know how to evaluate it .

  2. Nothing so far but more generally what can we say about the polynomial :


$$f(x)=sum_{a=1}^{p-1} x^a cdot left (frac{a}{p} right)$$



Is this polynomial interesting in any way ?



Thanks for all the help .










share|cite|improve this question















I am trying to solve the following problems ($p$ is an odd prime).





  1. Find the sum $$sum_{a=1}^{p-1}a cdot left (frac{a}{p} right),$$

  2. Find the sum $$sum_{a=1}^{p-1} 2^a cdot left (frac{a}{p} right).$$




Some thoughts :




  1. I reduced the sum to $2S_P-frac{p(p-1)}{2}$ where $S_p$ is the sum of the quadratic residues modulo $p$ but I don't know how to evaluate it .

  2. Nothing so far but more generally what can we say about the polynomial :


$$f(x)=sum_{a=1}^{p-1} x^a cdot left (frac{a}{p} right)$$



Is this polynomial interesting in any way ?



Thanks for all the help .







number-theory elementary-number-theory polynomials prime-numbers legendre-symbol






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 21 at 11:59









amWhy

191k27223438




191k27223438










asked Aug 24 '15 at 21:41







user252450



















  • How did you reduce such sum?
    – Paolo Leonetti
    Aug 24 '15 at 21:47






  • 1




    Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
    – Jack D'Aurizio
    Aug 24 '15 at 21:56










  • For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
    – user252450
    Aug 24 '15 at 21:57










  • @ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
    – user252450
    Aug 24 '15 at 22:01












  • and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
    – reuns
    Mar 31 '16 at 16:57


















  • How did you reduce such sum?
    – Paolo Leonetti
    Aug 24 '15 at 21:47






  • 1




    Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
    – Jack D'Aurizio
    Aug 24 '15 at 21:56










  • For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
    – user252450
    Aug 24 '15 at 21:57










  • @ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
    – user252450
    Aug 24 '15 at 22:01












  • and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
    – reuns
    Mar 31 '16 at 16:57
















How did you reduce such sum?
– Paolo Leonetti
Aug 24 '15 at 21:47




How did you reduce such sum?
– Paolo Leonetti
Aug 24 '15 at 21:47




1




1




Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
– Jack D'Aurizio
Aug 24 '15 at 21:56




Are you interested in computing the sums $pmod{p}$ or in finding their exact values? In the first case, notice that $$sum aleft(frac{a}{p}right) = sum a^{frac{p+1}{2}}.$$
– Jack D'Aurizio
Aug 24 '15 at 21:56












For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
– user252450
Aug 24 '15 at 21:57




For the case when $p equiv 1 pmod{4}$ it's easy to get (using a little symmetry) $S_p=frac{p(p-1)}{4}$ so the sum is $0$ but I can't find a nice answer for $p equiv 3 pmod{4} $ .
– user252450
Aug 24 '15 at 21:57












@ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
– user252450
Aug 24 '15 at 22:01






@ Jack D'Aurizio I am asking for the exact values . As for number $2$ I think I am too optimistic to think there is a nice closed form . The polynomial looks interesting and maybe has some general nice properties . What do you think ?
– user252450
Aug 24 '15 at 22:01














and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
– reuns
Mar 31 '16 at 16:57




and you should look at en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity
– reuns
Mar 31 '16 at 16:57















active

oldest

votes











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%2f1408460%2flegendre-symbol-identity-sum-a-1p-1a-cdot-fracap-and-sum-a%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1408460%2flegendre-symbol-identity-sum-a-1p-1a-cdot-fracap-and-sum-a%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

Wiesbaden

Marschland

Dieringhausen