C X/Invariant unter n-ten Einheitswurzeln/Polynom in X^n/Aufgabe

Es sei  ${}n\in \mathbb {N} _{+}$  und es sei  ${}\mu _{n}\subseteq {\mathbb {C} }$  die Menge der ${}n$-ten komplexen Einheitswurzeln. Es sei  ${}F\in {\mathbb {C} }[X]$  ein Polynom. Zeige, dass  ${}F\in {\mathbb {C} }[X^{n}]$  (d.h., dass ${}F$ als Polynom in ${}X^{n}$ geschrieben werden kann) genau dann gilt, wenn für jedes  ${}z\in \mu _{n}$  die Gleichheit

${}F(zX)=F(X)\,$

gilt.

Zur Lösung, Alternative Lösung erstellen