Restklassenringe (Z)/Legendre Symbol/Definition

Legendre-Symbol

Für eine ungerade Primzahl ${}p$ und eine zu ${}p$ teilerfremde Zahl ${}k\in \mathbb {Z}$ definiert man das Legendre-Symbol, geschrieben ${}\left({\frac {k}{p}}\right)$ (sprich „${}k$ nach ${}p$“), durch

$\left({\frac {k}{p}}\right):={\begin{cases}1,{\text{ falls }}k{\text{ quadratischer Rest modulo }}p{\text{ ist}},\\-1,{\text{ falls }}k{\text{ kein quadratischer Rest modulo }}p{\text{ ist}}.\end{cases}}\,$