Restklassenkörper/Z/Zyklisch/Quadratrest/Bemerkung

Wenn zu einer Primzahl eine primitive Einheit vorliegt, so hat man einen Gruppenisomorphismus

Dabei entsprechen die Quadrate rechts denjenigen Elementen links, die ein Vielfaches der sind. Bei ungerade besitzt die Hälfte der Elemente links diese Eigenschaft. Insbesondere ist ein Element genau dann ein Quadratrest, wenn es von der Form

ist.