Kreisteilungspolynom/Produkt ist X^n-1/Fakt/Beweis

Beweis

Jede der verschiedenen -ten Einheitswurzeln besitzt eine Ordnung , die ein Teiler von ist. Eine -te Einheitswurzel der Ordnung ist eine primitive -te Einheitswurzel. Die Aussage folgt daher aus