Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I was trying to follow a sentence in a paper, which says that:


$|\mathbb{Q}(e^{2\pi i/n}) : \mathbb{Q}(\cos(2\pi/n)| = 1 \text{ or } 2$

because $e^{2\pi i/n}$ is a root of $x^2 - 2\cos(2\pi/n) + 1$.


I know that, for a simple extension $F \subseteq F(a)$, $|F(a) : F| = $ degree of minimal polynomial of a over F.

I also know that, because $|\mathbb{Q}(e^{2\pi i/p}) : \mathbb{Q}(\cos(2\pi/p)|$ is finite, $\mathbb{Q}(e^{i2\pi/n})$ is a simple extension of $\mathbb{Q}(\cos(2\pi i/n))$.

i.e. $\mathbb{Q}(e^{i2\pi/n}) = \mathbb{Q}(a,\;\cos(2\pi i/n))$ for some $a \in \mathbb{Q}(e^{i2\pi/n})$.

However, to find the possible degrees of the extension, you'd have to find a polynomial satisfied by $a$, rather than by $e^{2i\pi/n}$, so I don't think the statement follows immediately?

Any help on understanding this is appreciated.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Simply let $a=e^{i2\pi/n}$. Then $\frac{a+a^{-1}}2=\cos(2\pi/n)$ implies $\mathbb Q(a, \cos(2\pi/n))=\mathbb Q(e^{i2\pi/n})$.

In general if $L,M$ are extensions of $K$ and $M\subseteq L$ and $L=K(\alpha)$, then also $L=M(\alpha)$.

share|improve this answer
    
Thanks. Gosh, don't know how I missed that...I already had that $cos(2i\pi/n) = (e^{2i\pi/n} + e^{2i\pi/n})/2$ but somehow didn't piece it together. I was anticipating that it'd be hard to find such an $a$ to make it a simple extension. Thanks! –  maliky0_o Nov 17 '12 at 16:28

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.