Kreisteilungsring/5/Faktorialitätsschranke/Beispiel
Erscheinungsbild
Wir wollen zeigen, dass der fünfte Kreisteilungsring
faktoriell ist. Es gibt vier komplexe Einbettungen und die Diskriminante ist nach Fakt gleich . Wegen
ist nach Fakt nur zu überprüfen, ob die Primzahlen in eine Primfaktorzerlegung besitzen. Da und Körper sind (vergleiche Fakt), sind und sogar Primelemente in .