Restklassenringe (Z)/Quadratreste/Legendre ist multiplikativ/Fakt mit Beweisklappe

SatzBearbeiten

Es sei   eine ungerade Primzahl. Dann ist die Abbildung

 

ein Gruppenhomomorphismus.