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

SatzBearbeiten

Sei   eine ungerade Primzahl. Dann ist die Abbildung

 

ein Gruppenhomomorphismus.