For an odd prime , the Legendre symbol is
Euler criterion states that
If , both sides vanish. Otherwise choose a primitive root and write . Since ,
The power is a square exactly when is even, proving the criterion. Taking gives the first supplementary law for quadratic reciprocity
Because and commute, the matrix binomial theorem gives
For prime , every intermediate coefficient is divisible by , proving the prime-power binomial congruence for a matrix
For
one has and . If , then
so . If , then and
so .
By Euler criterion, . In either case the preceding congruence gives . Since has the same parity as for , this is the second supplementary law for quadratic reciprocity
Write . When , the first supplementary law for quadratic reciprocity gives , so . Pairing with gives
The sum of the nontrivial character over all nonzero residue classes is zero. Because its two half-sums are equal when ,
Hence
By Euler criterion,
Choose a primitive root . For any integer not divisible by ,
For , the exponent satisfies . Therefore
Together with part (i), this is the weighted complete Legendre-symbol sum.
Put . Because , the supplementary laws give
Let and be the quadratic residues and nonresidues, respectively, among , and put
Since is a nonresidue, the complete set of least positive quadratic residues is
If , its sum is
Since is a residue, multiplication by two permutes modulo . Exactly the upper-half residues cross when doubled. Equality of the sums before and after reduction therefore gives
Comparing the two formulas yields
As ,
This is the lower-half quadratic-residue sum for primes congruent to seven modulo eight.

Articles by others on the same topic (0)

There are currently no matching articles.