Find the degree of extension $\Bbb Q(ζ_9 + ζ^{−1}_ 9 )$ over $\Bbb Q$

610 Views Asked by At

I am trying to find the degree of extension $\Bbb Q(ζ_9 + ζ^{−1}_ 9 )$ over $\Bbb Q$. I know that for a prime number $p$, we always have $[\Bbb Q(ζ_p):\Bbb Q]=p-1$, so we can use the tower of extension to find the degree $\Bbb Q(ζ_p + ζ^{−1}_ p )$ over $\Bbb Q$. But now I am wondering how to deal with a composite number? Could someone please help? Thanks in advance!

NOTE:I have never learnt about Galois theory so far. So please avoid the usage of the Galois theory. But I have learnt about the tower of extension and the minimal polynomial. Thanks!

2

There are 2 best solutions below

6
On BEST ANSWER

In greater generality to what you've written, we have $[ \mathbb{Q}( \zeta_n) : \mathbb{Q}] = \varphi(n)$, where $\varphi$ is the totient function. This is because the minimal polynomial is going to be $\Phi_n(x) = \displaystyle \prod_{ \ \ \ 1 \leq k \leq n \\ \gcd(k, n) = 1} \left( x - \zeta_n^k \right)$. This is a difficult thing to prove in general, but we are in luck: the special case where $n$ is a power of a prime is proven in Problem 3 here.

To begin, we can consider a tower of fields $\mathbb{Q} \subset \mathbb{Q}( \zeta_9 + \zeta_9^{-1} ) \subset \mathbb{Q}( \zeta_9)$, and since $[ \mathbb{Q}(\zeta_9): \mathbb{Q}] = \varphi(9) = 6$, the multiplicativity formula implies that $[\mathbb{Q}( \zeta_9 + \zeta_9^{-1}):\mathbb{Q}] = 2, 3$, or $6$.

You can check that we have $\zeta_9^{-1} = \zeta_9^8$. Computing this or looking at it in the complex plane, you'll find that $\zeta_9 + \zeta_9^{-1}$ has no imaginary part, implying that $\mathbb{Q}(\zeta_9 + \zeta_9^{-1}) \subset \mathbb{Q}(\zeta_9)$ is a strict inclusion. Thus, we can eliminate $6$.

From Euler's formula, you'll notice further that $\zeta_9 + \zeta_9^{-1} = 2\cos(2 \pi/9)$, which reveals that $\mathbb{Q}( \zeta_9 + \zeta_9^{-1}) = \mathbb{Q}( \cos(2 \pi/9))$. Using our knowledge of trig identities and the fact that cosine evaluates to rational numbers at some integer multiples of $\pi/9$, maybe we can find the minimal polynomial of this thing? Indeed! After some thought, I've found that one can use De Moivre's theorem to prove that $\cos(3 \theta) = 4 \cos^3(\theta) - 3 \cos(\theta)$, which yields a rational number when evaluated at $2\pi/9$.




Alternate method for future reference once you've been exposed to some Galois theory:

Lemma: If $K/F$ is a Galois extension, then the minimal polynomial for any $a \in K$ has as its roots the elements in the orbit of $a$ under the action of $\text{Gal}(K/F)$. That is, if $S = \{ \phi(a) \ | \ \phi \in \text{Gal}(K/F) \}$, then $\displaystyle \min_a(x) = \prod_{u_k \in S} (x-u_k)$.

Proof: This is a consequence of the fact that a separable polynomial is irreducible $\iff$ its Galois group acts transitively on its roots. For a proof of this fact, see Theorem 2.9(b) here. Notice that $\displaystyle \min_a(x)$ will be an irreducible polynomial (by definition), and its Galois group will be a subgroup of $\text{Gal}(K/F)$. This latter fact is because, if $L \subseteq K$ is the splitting field of $\displaystyle \min_a(x)$, every $F$-automorphism of $L$ extends to an $F$-automorphism of $K$. $\qquad \blacksquare$


Note that $\mathbb{Q}( \zeta_9)/\mathbb{Q}$ is a Galois extension (finite extensions of $\mathbb{Q}$ are separable and this is the splitting field for $f(x) = x^9 - 1$). First, compute the Galois group of this field. Next, find the number of elements in the orbit of $\zeta_9 + \zeta_9^{-1}$ under the action of $ \text{Gal}( \mathbb{Q}(\zeta_9)/ \mathbb{Q})$; this will be the degree of the minimal polynomial of $\zeta_9 + \zeta_9^{-1}$ per the above lemma. This, of course, will be equal to $[\mathbb{Q}(\zeta_9 + \zeta_9^{-1}): \mathbb{Q}]$.


If you have access to Artin's Algebra (second edition), there is (if I recall correctly) a paragraph or two in the Galois theory chapter discussing the above technique of using Galois groups to find minimal polynomials. It should fill in any missing details or context.

5
On

Let me simply write $\zeta$. Consider $K=\mathbf{Q}[\zeta +\bar\zeta]$. I'll prove that $\zeta$ is a root of quadratic polynomial over $K$ hence of degree 2 over $K$. Then by tower theorem the degree of $K$ over the rationals follows.

$f(X) = X^2 -(\zeta +\bar \zeta)X + 1$ (note that $\zeta\bar\zeta=1$).

This polynomial has coefficients in $K$ and has $\zeta$ and $\bar\zeta$ as its roots. Note that elements of $K$ are all real and so $\zeta$ is not in $K$. SO its degree over $K$ is 2.

No Galois theory is needed.