Euler criterion for quadratic residues
For odd prime p and a not divisible by p, a^((p−1)/2) modulo p is the modulo-p representative of the Legendre symbol (a/p).
atlas-euler-criterion-quadratic-residue · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
For odd prime p and a not divisible by p, a^((p−1)/2) modulo p is the modulo-p representative of the Legendre symbol (a/p).
atlas-euler-criterion-quadratic-residue · canonical_mko