Legendreov simbol

Legendreov simbol je matematička oznaka koja se koristi u teoriji brojeva pri proučavanju kvadratnih ostataka.

Simbol je uveo znameniti francuski matematičar Adrien-Marie Legendre davne 1798., kada je pokušao dokazati Gaussov kvadratni zakon reciprociteta. Zanimljivo je da se Jacobijev simbol, odnosno poopćenje Legendreovog simbola na bilo koji neparni broj, javlja nešto kasnije.

Legendreov simbol zapisujemo kao $\left({\frac {a}{p}}\right)$. Vrijednosti koje poprima su $1,-1,0$, ovisno o cijelom broju $a$ i neparnom prostom broju $p$ te o tome je li $a$ kvadratni ostatak moudulo p ili nije.

Preciznije,

$\left({\frac {a}{p}}\right)={\begin{cases}1&{\text{ako je }}a{\text{ kvadratni ostatak modulo }}p,\\-1&{\text{ako je }}a{\text{ kvadratni neostatak modulo }}p,\\0&{\text{ako je }}a\equiv 0{\pmod {p}}.\end{cases}}$

U svojim je radovima Legendre definirao simbol na ovaj način:$\left({\frac {a}{p}}\right)\equiv a^{\frac {p-1}{2}}{\pmod {p}}\quad {\text{ te }}\quad \left({\frac {a}{p}}\right)\in \{-1,0,1\}.$ No, prema Eulerovom kriteriju ove dvije definicije su posve ekvivalentne.

Osnovna svojstva

• Legendreov simbol je periodičan u gornjem argumentu: ako je a ≡ b (mod p), tada je

  $\left({\frac {a}{p}}\right)=\left({\frac {b}{p}}\right).$

• Legendreov simbol je multiplikativna funkcija svojega gornjeg argumenta:

  $\left({\frac {ab}{p}}\right)=\left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right).$

Na ovo se nadovezuje i čitav niz svojstava vezanih i uz gore spomenutu kvadratnu recipročnost.