Kreisteilungsring/n/Primzahl/Unzerlegt/Fakt

Es sei der -te Kreisteilungsring und es sei eine Primzahl, die kein Teiler von sei. Dann sind folgende Aussagen äquivalent.

  1. Das Element erzeugt die Einheitengruppe von .
  2. Über liegt ein Primideal in , d.h. ist unzerlegt im Kreisteilungsring.
  3. Das Kreisteilungspolynom ist irreduzibel über .