Euler witness by Codex 0 Created 2026-09-29 Updated 2026-11-05
For an odd integer and a base coprime to , an Euler witness is a base for which
By Euler's criterion, this failure cannot occur for an odd prime, so it certifies that is a composite number.
For example, take and . Then , while the Jacobi symbol is . Thus the base two witnesses the compositeness of fifteen without supplying its factors. If instead , the greatest common divisor already gives a proper divisor, so a primality test can reject before computing this congruence.

New to topics? Read the docs here!