0
votes
1answer
38 views

Sum of roots of unity an algebraic integer proof

Let S be the sum of a finite number of nth roots of unity (where n is fixed, and the sum is non-zero). How do I go about showing that S is an algebraic integer in the cyclotomic field of order n ?
1
vote
1answer
54 views

Proof Check: automorphism sends primitive root to primitive root

I was just wondering if this is a valid proof. I am assuming knowledge that if $\phi$ is an automorphism of a numeric field the $\phi$ fixes $\mathbb{Q}$. Also, if $\phi \in$ ...
3
votes
3answers
78 views

$\mathbb{Q}(\sqrt[3]{2}, \zeta_{9})$ Galois group

How do I calculate the degree of $\mathbb{Q}(\sqrt[3]{2}, \zeta_{9})$ over $\mathbb{Q}$. Should it be 18, as $[\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}] = 3$, and $[\mathbb{Q}(\zeta_{9}):\mathbb{Q}] = 6$? ...
2
votes
1answer
46 views

Splitting field of $f=X^p -a \in \mathbb{Q}[X]$.

Let $p$ be a prime number, and $a \in \mathbb{Q}$, a number such that there is no integer $k$ satisfying $p^k=a$. Write $f= X^p -a \in \mathbb{Q}[X]$. I have to prove the following statements: The ...
0
votes
0answers
39 views

Isomorphism betwixt a Galois Group and the set of $n$th roots of unity

Let $p \in \mathbb{P}$ and $n \in \mathbb{N}: p \nmid n$; the set of $n$th roots of unity be $W_n$; $\mathbb{F}$ be a field$: char(\mathbb{F}) \in \left\{ {0,p}\right\}, \mathbb{F} \supseteq W_n$ (set ...
6
votes
1answer
110 views

What does root of unity in $\mathbb{Z}_p$ look like?

Let $p$ be an odd prime. Then by Hensel's lemma it's clear that $\mathbb{Z}_p $ contains all $p-1$th root of unity which reduces to $1$, $2$, ... , $p-1$ in $\mathbb{F}_p$. My question is do we know ...
1
vote
1answer
67 views

Galois Group of $x^n - a$

Homework problem: If the field F contains a primitive nth root of unity, prove that the Galois group of $x^n - a$, for $a \in F$, is abelian. I'm not really sure where to start here and I'm ...
2
votes
0answers
32 views

What primes can ramify and decompose in $k(\mu_{p^m}) \mid k$?

Let $k$ be a number field and $p$ be a rational prime. Then consider the extension $k(\mu_{p^m}) \mid k$ of adjoining all roots of unity of degree $p^m$ to $k$. Assuming that $\mu_{p^m} \cap k$ is ...
6
votes
3answers
97 views

Showing that $\mathbb{Q}(\zeta_p, \sqrt[p]{\ell}) = \mathbb{Q}(\zeta_p + \sqrt[p]{\ell})$ for $p,\ell$ primes.

We consider the polynomial $x^p - \ell$, where $p,\ell$ are both prime numbers. Let $\zeta_p$ be a $p$-th root of unity. We wish to show that $L = \mathbb{Q}(\zeta_p, \sqrt[p]{\ell})$ is the same as ...
1
vote
1answer
38 views

Problem with the proof that galois extension of $x^n-1$ over $\mathbb{Q}$ is isomorphic to $(\mathbb{Z}_n)^\times$

I'm trying to understand a proof that galois extension of $x^n-1$ over $\mathbb{Q}$ is isomorphic to $(\mathbb{Z}_n)^\times$. I can see why there is an injection of $\text{Gal}(x^n-1)$ in ...
3
votes
1answer
104 views

Looking at the intermediate fields of $\Bbb{Q}_7 = \Bbb{Q}(\omega)/\Bbb{Q}$ where $\omega = e^{i2\pi/7}$ .

From Basic Abstract Algebra (Robert Ash): The question that I'm concerned with is number 3, but I will write problems 1 and 2 as well, since they are all related... We now do a detailed analysis ...
4
votes
3answers
948 views

Quadratic subfield of cyclotomic field

Let $p$ be prime and let $\zeta_p$ be a primitive $p$th root of unity. Consider the quadratic subfield of $\mathbb{Q}(\zeta_p)$. For instance, for $p=5$ we get the quadratic subfield to be ...
1
vote
0answers
89 views

Why is the intersection of Q($\sqrt[n]{a}$) and Q(nth root of unity) Galois? (a>0, n an integer)

With this, I can show the intersection is either Q or Q($\sqrt{a}$). All I have is that their intersection must be real and all subfields of Q($\sqrt[n]{a}$) are of the form Q($\sqrt[d]{a}$) where ...
0
votes
1answer
236 views

A radical extension with a non-radical subextension

For a Galois Theory class I've been asked to find a radical extension with a non-radical subextension (all over $\mathbb{Q}$). So, I'm looking at the splitting field of $x^7 - 1$, namely ...
5
votes
2answers
332 views

Radical extension

Let $K=\mathbb{Q}(\sqrt[n]a)$ where $a\in\mathbb{Q}$, $a>0$ and suppose $[K:\mathbb{Q}]=n$. Let $E$ be any subfield of $K$ and let $[E:\mathbb{Q}]=d.$ Prove that $E=\mathbb{Q}(\sqrt[d]a)$. It's ...
1
vote
0answers
161 views

How does trigonometry in a Galois field work?

This is a follow-up to this question. I'm interested in doing trigonometry in finite fields on a computer. I do not understand precisely how trigonometric functions are supposed to work in a finite ...
6
votes
1answer
123 views

Inverse Limits: Isomorphism between Gal$(\mathbb{Q}(\cup_{n \geq 1}\mu_n)/\mathbb{Q})$ and $\varprojlim (\mathbb{Z}/n\mathbb{Z})^\times$

I'm trying to prove that $\operatorname{Gal}(\mathbb{Q}(\cup_{n \geq 1}\mu_n)/\mathbb{Q}) \cong \widehat{\mathbb{Z}}^\times = (\varprojlim (\mathbb{Z}/n\mathbb{Z}))^\times$, where $\varprojlim$ ...