Let $p$ be an odd prime and $\mathrm{gcd}(n, p) = 1.$ Assume that $n = p_1^{a_1} p_2^{a_2} ... p_k ^{a_k}$ is the prime factorization of n. Prove $$\left(\frac{n}{p}\right) = \left(\frac{p_1}{p}\right)^{i_1} \left(\frac{p_2}{p}\right)^{i_2} ... \left(\frac{p_k}{p}\right)^{i_k},$$ where $i_j = 1$ if $a_j$ is odd, and $i_j = 0$ if $a_j$ is even.
Number Theory, Squares in $\mathbb{Z}_p ^*\,\;$ for odd prime $p$
1
$\begingroup$
number-theory
-
0I guess you must be talking of the Jacobi Symbol and, thus, you already know, hopefully, that it is a multiplicative function, so...what exactly is your problem?? – 2012-11-19
-
0@DonAntonio No need to be sarcastic...you seem to be particularly critical today, given some of you other comments. Perhaps that is your style? It's fine to ask for clarification ("what do you know about..." or "where are you stuck"? But it can be demeaning to suggest that a user "ought" to know how to proceed. Why would someone trouble to post a question if one already knows how to solve it? – 2012-11-19
-
0i understand it is jacobi symbol problem is getting there from this question and trying to make connection is where I am having difficulty – 2012-11-19
-
1I've no idea where did you get the impression I was being sarcastic: not at all. What I can see is that you're particularly sensitive, at least today and at least wrt this thread. It is my personal idea that anyone dealing with the Jacobi symbol learns almost immediately that it is a multiplicative function, so my question stands: whether I am right or not, where is *exactly* the problem qwith this question? We could save us all this nonsense if askers added some insights, ideas, info to their questions, don't you think? – 2012-11-19