Restklassenringe (Z)/Quadratreste/Ungerade Primzahlpotenz/Reduktion/Fakt

Es sei eine ungerade Primzahl und sei .

  1. Ist teilerfremd zu (also kein Vielfaches von ), dann ist genau dann ein Quadratrest modulo , wenn ein Quadratrest modulo ist.
  2. Ist mit teilerfremd zu und , so ist genau dann ein Quadratrest modulo , wenn gerade und wenn ein Quadratrest modulo ist.