The Chinese remainder theorem says that for pairwise coprime positive moduli , arbitrary residue classes modulo each specify one residue class modulo . For an odd positive integer , the Jacobi symbol is , where each factor is a Legendre symbol; for the empty product is one. The Jacobi symbol is multiplicative in , and is zero exactly when and have a common prime factor.
False. The Jacobi symbol , yet is not a quadratic residue modulo three. A solution modulo fifteen would give one modulo three, which is impossible. A positive Jacobi symbol need not indicate a square modulo a composite modulus.
True. Since is not a square, some exponent is odd. Choose a quadratic nonresidue modulo that and choose residue one at every other prime. The Chinese remainder theorem produces a unit modulo with . Multiplication by permutes the residue classes modulo . Thus, by multiplicativity of the Jacobi symbol,
The sum is therefore . Nonunits contribute zero, so the permutation argument covers every term.
False. The Carmichael number supplies a counterexample. For every coprime to , the Fermat little theorem gives modulo each of these primes, since all divide . The Chinese remainder theorem then gives . Thus the proposed Fermat primality test can fail to detect a composite for every coprime base.
True. First suppose with maximal. By the Chinese remainder theorem, choose and modulo all other prime-power factors. This is a unit, with Jacobi symbol one, because it is one modulo every prime. For , the binomial theorem gives
because and all higher terms contain . It is therefore a witness to the desired failure.
If is square-free and composite, it has at least two prime factors. Choose to be a quadratic nonresidue at one prime and one at every other prime, again using the Chinese remainder theorem. Then . At a different odd prime , however, . These two cases prove that every odd composite has an Euler-Jacobi witness, unlike the situation for the ordinary Fermat primality test.

Articles by others on the same topic (0)

There are currently no matching articles.