How to formally conclude that $ x^2-(\zeta_9+\zeta^{-1}_9)x+1 $ is irreducible over $\Bbb Q(\zeta_9+\zeta^{-1}_9)$

96 Views Asked by At

To find the degree of extension $[\Bbb Q(\zeta_9):\Bbb Q(\zeta_9+\zeta^{-1}_9)]$, I need to formally conclude that $ x^2-(\zeta_9+\zeta^{-1}_9)x+1 $ is irreducible over $\Bbb Q(\zeta_9+\zeta^{-1}_9)$. And then I got stucked. Could someone please help? Thanks in advance!

1

There are 1 best solutions below

4
On BEST ANSWER

$\zeta$ is not real. (Nor is $\zeta^{-1}$.)