Es ist
wobei die komplexen Einheitswurzeln durchläuft. Es ist
-
wobei die Abbildung durch gegeben ist. Daher ist
-
ein
Produktring
aus Polynomringen . Daher besteht das
-Spektrum
dieses Ringes nach
Fakt
aus der -fachen disjunkten Vereinigung von
-
Die affine Gerade ist irreduzibel.