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

Es sei eine ungerade Primzahl.

Dann ist die Abbildung

ein Gruppenhomomorphismus.