Kreisteilungskörper/Q/Minimalpolynom/Fakt/Beweis

Beweis

Es ist , wobei eine primitive -te Einheitswurzel ist. Nach Definition des Kreisteilungspolynoms ist und nach Fakt ist das Kreisteilungspolynom irreduzibel, so dass es sich um das Minimalpolynom von handeln muss. Also ist nach Fakt .