Sei im folgenden K=Q und F=Q(ζ_5)
Warum es über K irreduzibel ist, sollte klar sein, da kann man ein Standardkriterium verwenden.
Zeige nun:
Ist z eine Nullstelle von f in einem algebraischen Abschluss. Dann gilt einerseits
4 | [F(z) : K]
Tipp:
[Q(ζ_5) : Q] = 4
5 | [F(z) : K]
und
[F(z) : K] ≤ 20.
Folgere, dass [F(z) : F] = 5, insbesondere muss f irreduzibel über F sein.