numbers $z$ such that $z^n=1$ for some natural number $n$; here usually $z$ is in $\mathbb C$ or some other field

learn more… | top users | synonyms

1
vote
1answer
61 views

typo in ireland and rosen? primitive $m$th roots of unity that are primitive $2m$th roots of unity

In the proof of proposition 13.2.8 of Ireland and rosen they consider some $m$ and $m_0$ such that $m=2m_0$ and $m_0$ is odd. They then state that a primitive $m_0$th root of unity is a primitive ...
2
votes
1answer
137 views

Show that the minimal polynomial of every element in $K=\mathbb{Q}(\zeta)$ is solvable by radicals, where $\zeta$ is a primitive 9th root of unity.

I have found the minimal polynomial if $\zeta$ over $\mathbb{Q}$ is $x^{6}+x^{3}+1$. $\mathbb{Q}(\zeta)\colon\mathbb{Q}$ is a normal and separable extension so ...
1
vote
1answer
57 views

How to show that $w$ is a $N$th primitive root of unity?

I am studying the discrete Fourier transform. For sequence $x_{0}, \dots, x_{N-1}$ it is defined as $$X_{k} = \sum_{n=0}^{N-1} x_{n}e^{-2\pi ikn/N} \quad 0 \leq k \leq N-1$$ according to Wikipedia. ...
2
votes
1answer
457 views

Complex Numbers and Primitive Roots of Unity

I'm not super familiar with primitive roots of unity and I am not quite sure how to express the following problem in algebraic form. Help is appreciated, thanks :D Let R be the set of primitive ...
1
vote
0answers
87 views

A question on primitive root of unity

Let n be a positive integer and let $\alpha$ , $\beta$ be primitive n-th roots of unity. a) Show that $\frac{1-\alpha}{1-\beta}$ is an algebraic integer. b) If $n\geq 6$ is divisible by at least two ...
4
votes
3answers
293 views

Question on primitive roots of unity

Let $p$ be an odd prime and $\omega$ be a primitive $p$th root of unity. The question is to prove that: $$(1-\omega)(1-\omega^2) \cdots (1-\omega^{p-1})=p$$ What I have done so far is: I can see ...
4
votes
0answers
55 views

is $\sqrt p$ in $\mathbb Q(\zeta_{4p})$?

i think for every prime $p$ we have $\sqrt p \in \mathbb Q(\zeta_{4p})$ when $\zeta_{4p}$ is a primitive 4p-th root of unity.but i have no idea to prove it. is it true? can any one help me with a ...
1
vote
2answers
69 views

Degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$

Question is to compute the degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$. We have ...
6
votes
1answer
255 views

Relation that holds for the Legendre symbol of an integer but not for the Jacobi symbol?

Let $p$ be a prime number and $\big(\frac{a}{p} \big)$ the Legendre symbol. Then we have the equality $$\sum_{a=1}^{p-1} \big(\frac{a}{p} \big) \zeta^a =\sum_{t=0}^{p-1} \zeta^{t^2},$$ where $\zeta$ ...
1
vote
5answers
55 views

How do you call this fact about sum of powers of n-th unity root?

I often see identity $$\sum_{k=0}^{n-1}e^{\tau ika/n} = \cases {n \quad \text{ if }n | a\\0\quad \text{ otherwise}}$$ in the context of generating functions. It allows to zero out all members of ...
0
votes
1answer
27 views

How are sinusoids and roots of unity related to each other?

The discrete Fourier transform (DFT) is often teached as being a transform that decomposes a given signal or sequence of numbers into sinusoids with frequencies $\large\frac{k}{N}$ where $k \in [0, ...
2
votes
1answer
27 views

Sum of a proper subset of the $p^\text{th}$ roots of unity

I know, because I have read it, that if $p$ is prime, no sum of a proper subset of the $p^{\text{th}}$ roots of unity (in $\mathbb{C}$) is zero. I thought I knew how to prove this, but found to my ...
2
votes
2answers
68 views

An $n \times n$ matrix with rational entries such that $A^{n+1}=I$

I'm working on finding $A \in M_n(\mathbb{Q})$ such that $A^{n+1}=I$. If $n$ is odd, $A=-I$ satisfies the condition. When $n$ is even, clearly it should have eigenvalues $e^{2 \pi ik/(n+1)}(k=1,\cdots ...
1
vote
0answers
58 views

Why $\sqrt{5}$ doesn't lie in $\mathbb{Q(\eta_{5})}$?

In Lorenz's Galois Theory book, there's a problem : Why $\sqrt{15} \notin \mathbb{Q(\eta_{15})}$, where $\eta_{15}$ is a $15$-th primitive root of unity ? But My question is about what it's ...
2
votes
2answers
63 views

Rationalizing the denominator in general

How do you rationalize the denominator of something like $$\frac{1}{\sqrt[n]{a_1}+\sqrt[n]{a_2}+...+\sqrt[n]{a_n}}$$? I'm thinking roots of unity.
4
votes
0answers
78 views

More on primes $p=u^2+27v^2$ and roots of unity

Given, $$p=u^2+27v^2=3m+1\tag1$$ and the cubic, $$x^3+x^2-mx+N=0\tag2$$ with its constant expressed in terms of $(1)$ as, $$N = \frac{1}{27}(1-3p\pm2pu)\tag3$$ and the sign $\pm u$ chosen ...
0
votes
1answer
29 views

Primitive root of unity in finite fields

To find a primitive $n$-th root of unity in a field $F_q$ of size $q$, one takes the smallest positive integer $m$ such that $q^m \equiv 1 \bmod n$ and finds a primitive $n$-th root of unity in ...
7
votes
1answer
182 views

What's so special about primes $x^2+27y^2 = 31,43, 109, 157,\dots$ for cubics?

While trying to find a closed-form solution for particular cubics as sums of cosines (related to this question), I came across this family with all roots real, $$F(x) = x^3+x^2-mx+N = ...
7
votes
1answer
172 views

A little more on $\sqrt[3]{\cos\bigl(\tfrac{2\pi}7\bigr)}+\sqrt[3]{\cos\bigl(\tfrac{4\pi}7\bigr)}+\sqrt[3]{\cos\bigl(\tfrac{8\pi}7\bigr)}$

Using a special case of an identity by Ramanujan, we find that given the roots $x_i$ of $$x^3 + x^2 - (3 n^2 + n)x + n^3=0\tag1$$ which, since its discriminant is negative, always has three real ...
2
votes
2answers
50 views

Polynomial with positive coefficients

Consider a polynomial $P(x) = \sum_{i=1}^{n}{a_ix^{i-1}}$ in $\mathbb{C}$. Is it true that if $\{a_i\}$ are positive and not all equal, then $P(\exp(\frac{2i\pi}{n})) \neq 0$ ? Thanks
1
vote
1answer
48 views

Given three vectors involving trigonometric functions, how many $\theta$ satisfy a particular box product relation?

If $$\vec a =(1+\sin \theta )\hat i+\cos \theta \hat{ j}+\sin2\theta\hat k\\ \vec b =(\sin( \theta +2\pi/3))\hat i+\cos ( \theta +2\pi/3) \hat{ j}+\sin( 2\theta +4\pi/3)\hat k\\ \vec c =(\sin ( \theta ...
-1
votes
3answers
55 views

Describe the solutions of the equation in terms of roots of unity?

I want to find the solutions of the equation $$\left[z- \left( 4+\frac{1}{2}i\right)\right]^k = 1 $$ in terms of roots of unity. When I try to solve this, I get \begin{align*}z - 4 - \dfrac i2 ...
1
vote
1answer
23 views

Cyclotomic polynomial,

Show that $\displaystyle X^n-1=\prod_{d\mid n}\Phi_d(X)$. We have that $$\Phi_n(X)=\prod_{\underset{\gcd(i,n)=1}{1\leq i\leq n}}(X-\zeta_n^i)$$ where $\zeta_n=e^{\frac{2i\pi}{n}}$ therefore, we ...
0
votes
0answers
28 views

Arithematicogeometric-progression involving imaginary fifteenth root of unity and concept of number of divisors of a number.

Consider $$f(x)=x^{13}+2x^{12}+3x^{11}+...+13x+14\\\alpha=\cos\frac{2\pi}{15}+i\sin\frac{2\pi}{15}\quad i^2+1=0\\N=f(\alpha)f(\alpha^2)...f(\alpha^{14})$$ Then number of divisors of N are? I did ...
1
vote
1answer
26 views

Radical expression for roots of unity

Can somebody point out a reference to the nested radical formula of the complex roots of unity when $n = 2^N$, i.e. in solving $x^n=1$ ?
3
votes
2answers
76 views

Determine whether ${\dfrac{2+i}{2-i}}$ is a root of unity

I need to determine whether ${\dfrac{2+i}{2-i}}$ is a root of unity. At first, I expressed this number as ${\dfrac{3}{5}+\dfrac{4}{5}i}$. Then I tried to use a formula for $\sin{nx}$, where x = ...
1
vote
1answer
31 views

If $r$ a primitive root of unity then $\frac{r-1}{r^k- 1}$ is an algebraic integer in $\mathbb Q(r)$

I left out some hypotheses in the title to keep things short, so here is the full form: Let $r$ be a primitive $m$th root of unity for $m>1$ and let $k$ be a positive integer such that ...
4
votes
1answer
93 views

$\sum_{\zeta^p=1}(\zeta-1)^n$

Given $n\geq0$ let $$ z_n=\sum_{\zeta^p=1}(\zeta-1)^n $$ where $p$ is an odd prime number (summation extended to all $p$-th roots of 1). It is clear that: $z_n\in\Bbb Z$ (it's a Galois invariant sum ...
21
votes
2answers
3k views

Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$

Using n_th root of unity $$\Large\left(e^{\frac{2ki\pi}{n}}\right)^{n} = 1$$ Prove that $$\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$$
0
votes
2answers
651 views

Proving equations involving the powers of a complex cube root of unity ω

The question in this homework problem is to show $ω^4 + ω^5 = -ω^6$ given that $ω$ is a complex cube root of unity. I am also required to show that $(1 - ω)^2 = -3ω$, but if I am assisted with ...
0
votes
1answer
62 views

Find all the roots of this complex equation

Let $C$ be the set of complex numbers and $j$ the imaginary unit. Find all the roots(in $z$ $\in$ $C$) of the following equation: $$ 2z^7 + 6z^4 = z^3e^{-j{\frac π7}} + 3e^{-j{\frac π7}} $$ ...
3
votes
0answers
74 views

Automorphism(Galois groups) and galois theory

I've been stuck on two last parts for two different questions, can someone please help me with these. The first question is: Let $\sigma\in Aut(L/\mathbb{Q})$, where $L$ is some subfield of ...
3
votes
1answer
63 views

Finding the Extension Degree of a Cyclotomic Field

Greetings Mathematics Community. I am having much difficulty in solving the following problem: If $m\equiv 2$ (mod 4), show that $\mathbb{Q(\zeta_m)}=\mathbb{Q(\zeta_{\frac{m}{2}})}$ where $\zeta$ ...
0
votes
1answer
45 views

Approximating a power of a root of unity to within $\delta$

I have an estimate of $\omega$, a root of unity. I'm really wondering how small the error (in the estimate), which I give as $\epsilon$, has to be, so that when I take my estimate of omega to the ...
2
votes
0answers
43 views

The sum of finite exponential series with a quadratic phase

How can I prove that: $$ \sqrt \frac K2 + i \sqrt \frac K2=\sum^K_{m=1}\exp\left(i\frac \pi Km^2\right) $$ When $K$ is even.
3
votes
4answers
109 views

Norm of an element in cyclotomic extension (Exercises VI.19 Lang's Algebra)

Let $\zeta$ be a primitive $n^{\rm{th}}$ root of unity. Let $K=\mathbb{Q}(\zeta)$. If $n=p^r (r\geq 1)$ is a prime power, show that $N_{K/F}(1-\zeta)=p$ If $n$ is divisible by at least two distinct ...
0
votes
0answers
21 views

Quantum Fourier transform $F_N^2$

What is the square of the quantum Fourier transform? I get $1$ for the first entry in the matrix and $0$ for all other entries.
4
votes
2answers
96 views

Nth root of Unity

Hi all I am in higher level mathematics and I am taking the IB. We started doing problems associated with nth root of unity. I understand how to find the roots of for example: $$Z^3 - 1 =0$$ and ...
0
votes
2answers
57 views

Show that complex numbers are vertices of equilateral triangle

1)Show if $|z_1|=|z_2|=|z_3|=1$ and $z_1+z_2+z_3=0$ then $z_1,z_2,z_3$ are vertices of equilateral triangle inscribed in a circle of radius. I thought I can take use from roots of unity here, since ...
0
votes
3answers
26 views

Are conditions equaivalent that they are roots of unity?

If I have conditions that $|z_1|=|z_2|=|z_3|=|z_4|=1$ and $z_1+z_2+z_3+z_4=0$ Is it suffice to state they are roots of unity ?
-1
votes
2answers
67 views

How can I find fifth root of unity?

I have no idea to do this question, how can I find the fifth root of unity? Question : Find all the distinct fifth root of unity. Let $\alpha$ be a fifth root of unity such that $\alpha \ne 1$. ...
2
votes
3answers
223 views

Eigenvalues and roots of unity

Let $A \in \mathcal{M}_{n}(\mathbb{C})$ such that $A^{n} = \mathrm{I}_{n}$ and the family $(\mathrm{I}_{n},\ldots,A^{n-1})$ is linearly independent. I would like to prove that $\mathrm{Tr}(A) = 0$. ...
2
votes
0answers
58 views

For which $m$ is this sum of roots of unity $0$?

A professor at my university gave me the following problem: For what real values of $m$ do we have $$L=\lim_{N\to\infty}\frac{1}{N}\sum_{k=1}^Ne^{2\pi ik^3m}=0$$ If $m$ is rational, expressed ...
1
vote
3answers
36 views

summation and product of sin and cos

I wonder how to find summation for $\displaystyle \sum_{k=0}^{n-1}(\cos{\frac{2\pi k}{n}+i \sin\frac{2\pi k}{n}})$ and the same for product $\displaystyle \prod_{k=0}^{n-1}(cos{\frac{2\pi k}{n}+i ...
0
votes
1answer
87 views

Product of roots of unity

Does somebody have a nice proof of the following? $$\prod_{m=1}^{n-1} \frac{e^{2\pi i k m/n} - 1}{e^{2 \pi i m / n} - 1} = \begin{cases} 1 & \text{ if $\gcd(k, n) = 1$} \\ 0 & ...
8
votes
2answers
131 views

What is the value of $\sum_{m=1}^{19} \frac{1}{\zeta^{3m}+\zeta^{2m}+\zeta^{m}+1}$ with $\zeta=e^{2\pi i/19}$?

Given that $\zeta=e^{2\pi i/19}$, how to find the value of $$S=\sum_{m=1}^{19} \dfrac{1}{\zeta^{3m}+\zeta^{2m}+\zeta^{m}+1}$$? All I could think of was to somehow factorize the denominator and apply ...
1
vote
1answer
51 views

Question Primitive Roots of Unity

I am learning about primitive $n$-th roots of unity. I came across this statements while reading and was wondering why these were true: If $z$ is a primitive $n$-th root of unity and $n$ is even, ...
3
votes
5answers
84 views

How to solve $z^6+i=0$

I'm trying to solve $z^6+i=0$. I would have say that it's equivalent to $$z^6=-i\iff |z|^6e^{i6\arg(z)}=e^{i\frac{3\pi}{2}}\iff|z|^6=e^{i\left(\frac{3\pi}{2}-6\arg(z)\right)}$$ But I'm not able to ...
1
vote
0answers
63 views

$p$-adic $n$-th root of unity and $\exp(2\pi i /n)$

Let $n\geq 3$, and let $p$ be a prime number $\equiv 1 $ mod $n$. In complex numbers, we can write a primitive $n$-th root of unity as $\exp(2\pi i/n)$. Also, by Hensel's lemma, we see that $n$-th ...
2
votes
2answers
53 views

When is a sum of consecutive roots of unity an integer

Let $\xi \neq 1$ be an $n$th root of unity. When is a sum of the form $$ 1+\xi+\xi^2+\ldots+\xi^r, \quad 1 \leq r \leq n-1, $$ an integer? What are the possible integers? I suspect that the answers ...