For odd positive coprime integers, quadratic reciprocity for the Jacobi symbol isIf 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 exponentModulo 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 giveA second reciprocity step gives . Thus the requested Jacobi symbol is .
Articles by others on the same topic
There are currently no matching articles.