Skip to main content

All Questions

1 vote
0 answers
37 views

Inclusion of field extensions $\mathbb{Q}(\omega_p)$ and $\mathbb{Q}(\omega_{2p})$

Could you help me clear up a confusion? Either my following reasoning is wrong, or I should be able to show that $\omega_{2p} \in \mathbb{Q}(\omega_p)$, which does not seem correct. Degree of Field ...
lkksn's user avatar
  • 131
2 votes
0 answers
42 views

Quadratic number fields that contain primitive root of unity

Find all quadratic fields $\mathbb{Q}[\sqrt{d}]$ that contain some $p$-th primitive root of unity, where $p>2$ is a prime. Now, my reasoning was: if $\mathbb{Q}[\sqrt{d}]$ contains one $p$-th root ...
blue's user avatar
  • 816
2 votes
1 answer
48 views

Minimal extension field of $\mathbb{F}_2$ such that

Find the minimal extension field of $\mathbb{F}_2$ such that this extension contains an element of order $21$? Attempt: I know that such an extension of $\mathbb{F}_2$ is like $\mathbb{F}_{2^s}$ and $...
lukk's user avatar
  • 166
3 votes
1 answer
220 views

Why is $[\mathbb{Q}(\zeta):\mathbb{Q}] = 8$ and not $14$? (Where $\zeta$ is a primitive $15^{th}$ root of unity)

I have a field extension $\mathbb{Q}(\zeta)/\mathbb{Q}$, where $\zeta$ is a primitive $15^{th}$ root of unity. So, since $x^{15}-1 = \phi_{1}(x)\phi_{3}(x)\phi_{5}(x)\phi_{15}(x)$, where $\phi_{n}(x)$...
ponky's user avatar
  • 443
0 votes
1 answer
45 views

How to Simplify $\mathbb{Q}(\zeta_4,\zeta_8 , \zeta_{12},\zeta_6 )$

If $mdc(m,n)=1$ then $\mathbb{Q}(\zeta_m,\zeta_n )=\mathbb{Q}(\zeta_{mn} )$,but what if the degree of the roots are divisors and multiples of each other? I guess that $\mathbb{Q}(\zeta_4,\zeta_6, \...
Eduardo Silva's user avatar
0 votes
0 answers
36 views

Subfields of Galois Extensions and association with Galois Groups

Let $\mathbb{K}\subseteq \mathbb{L}$ be a Galois extension with order $n$. If $p$ is a prime divisor of $n$, show that exists a subfield $\mathbb{M}$ of $\mathbb{L}$ such that $[\mathbb{L},\mathbb{M}]...
Eduardo Silva's user avatar
2 votes
0 answers
2k views

Primitive $p$-th root of unity with characteristic $p$

I struggle on this since two days, and still found no answer. My course states the following: If the characteristic of $K \neq p$, then they are exactly $p-1$ different $p$-th roots of unity in the ...
hdeplaen's user avatar
1 vote
1 answer
292 views

degree of extension of Q with primitive roots of unity

Question Show that $[\mathbb{Q}(\zeta+\zeta^{-1}):\mathbb{Q}]=\phi(n)/2$, where $\zeta$ is a primitive $n$-th root of unity. Attempt Let $\sigma: z\mapsto \bar{z}$,$\sigma(\zeta)=\zeta^{-1}$.Since $...
1123581321's user avatar
  • 5,153
2 votes
0 answers
304 views

Primitive elements of finite fields

Let $p$ be a prime number and $q=p^n$ for some positive integer $n$. $F_q[x]$ is the polynomial ring with coefficients in $F_q$. For any $M(x)\in F_q[x]$, define $\mathcal{R}(M(x))\subset F_q[x]$ to ...
David  Lee's user avatar
  • 1,082
0 votes
1 answer
34 views

Generators of $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q})$ - what is $\tau(\zeta_n)$?

I am trying to understand the structure of $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q})\simeq Z_n^*$ for $n \in \mathbb{Z}$ - it would be great if someone could me understand the generators in this group so ...
maths2332's user avatar
2 votes
2 answers
343 views

Irreducibility of $X^5-7$ over $\mathbb{Q}(\sqrt[7]{2})[X]$ and degree of spitting field

I have worked through these two questions but am unsure if I got the right idea, please may you help me? Prove that $X^5-7$ is irreducible over $\mathbb{Q}(\sqrt[7]{2})[X]$ Can we say that $f(X)=X^5-...
amiz9's user avatar
  • 713
1 vote
1 answer
511 views

Number of fields between $\mathbb{Q}$ and $\mathbb{Q}(\zeta_n)$

If $\zeta_n$ is the $n$-th primitive root of unity then $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \simeq Z_n^*$ due to the following map $$\tau(\zeta_n)=\zeta^n$$ I was wondering if we could use this and ...
amiz9's user avatar
  • 713