For odd positive coprime integers, quadratic reciprocity for the Jacobi symbol is
If the integers are not coprime, both symbols vanish; equivalently the usual signed reciprocity identity still holds. To deduce it from quadratic reciprocity for the Legendre symbol, factor and . Multiplication of the prime reciprocity identities gives the sign exponent
Modulo two, each bracket is respectively and : for odd , . This proves the composite-denominator law, including repeated prime factors.
Now , and 9 contributes a square factor. Since , reciprocity and reduction of the numerator give
A second reciprocity step gives . Thus the requested Jacobi symbol is .

Articles by others on the same topic (0)

There are currently no matching articles.