Restklassenringe (Z)/Quadratreste/Ungerade Primzahlpotenz/Reduktion/Fakt
Es sei eine ungerade Primzahl und sei .
- Ist teilerfremd zu (also kein Vielfaches von ), dann ist genau dann ein Quadratrest modulo , wenn ein Quadratrest modulo ist.
- Ist mit teilerfremd zu und , so ist genau dann ein Quadratrest modulo , wenn gerade und wenn ein Quadratrest modulo ist.