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

Sei eine ungerade Primzahl. Dann ist die Abbildung

ein Gruppenhomomorphismus.