Körper/Charakteristik 0/Einheitswurzeln/Kreisteilungskörper/Fakt/Beweis

Beweis

Die eine Richtung ist klar. Für die Rückrichtung sei eine primitive -te Einheitswurzel. Dies definiert einen Einsetzungshomomorphismus

Somit gibt es nach Fakt einen induzierten Ringhomomorphismus

mit einem Teiler von . Doch dann gibt es auch einen Ringhomomorphismus

Bei ist dies ein Widerspruch zur Ordnung von . Also ist und es gibt einen Ringhomomorphismus