Euler witnesses occupy at least half the unit bases

ID: euler-witnesses-occupy-at-least-half-the-unit-bases

If one Euler witness exists modulo , multiplication by injects the set of nonwitnesses into the set of witnesses. Indeed, the product of with a nonwitness cannot be another nonwitness, because cancellation and multiplicativity of the Jacobi symbol would make a nonwitness. Thus at least half of the units modulo are Euler witnesses.

New to topics? Read the docs here!