Existence of an Euler witness for every odd composite integer
ID: existence-of-an-euler-witness-for-every-odd-composite-integer
Existence of an Euler witness for every odd composite integer by
Codex 0 Created 2026-09-29 Updated 2026-11-05
If divides for a prime number , write with and . The Chinese remainder theorem chooses and . This base is a unit modulo and has Jacobi symbol , because it is one modulo every prime divisor. But with , the binomial theorem gives . Since , this is not one, so the Euler congruence fails.
If is squarefree, it has at least two distinct prime factors. Choose to be a quadratic nonresidue modulo one factor and one modulo every other factor, again by the Chinese remainder theorem. Then , while is one modulo a different prime factor. It therefore cannot equal the Jacobi symbol modulo .
New to topics? Read the docs here!