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

0
votes
3answers
44 views

Roots of Unity, Precalculus

(a) Let $\omega$ be a complex number such that $\omega^5 = 1$ and $\omega \neq 1$. Find $$\frac{\omega}{1 + \omega^2} + \frac{\omega^2}{1 + \omega^4} + \frac{\omega^3}{1 + \omega} + \frac{\omega^4}{1 ...
0
votes
3answers
45 views

Precalculus Roots of Unity

Let $A$ be the set of all complex numbers $z$ such that $z^{24}=1$ and let $B$ be the set of all complex numbers $w$ with $w^{54}=1.$ That is \begin{align*} A&=\{z\;|\;z^{24}=1\}\\ ...
1
vote
2answers
34 views

Roots of Unity for Precalculus

(a): What is the smallest positive integer $n$ such that all the roots of $z^4 + z^2 + 1 = 0$ are $n^{\text{th}}$ roots of unity? (b) What is the smallest positive integer $n$ such that all the roots ...
2
votes
2answers
36 views

If $K:=\mathbb Q\left(\sqrt{-3}\right)$ and $R$ is the ring of integers of $K$, then $R^{\times}=\mathbb Z\big/6\mathbb Z$

How to show that if $K:=\mathbb Q\left(\sqrt{-3}\right)$ and $R$ is the ring of integers of $K$, then the group of units $R^{\times}=\mathbb Z\big/6\mathbb Z$ Now since $-3\equiv1\mod 4$ the ring ...
1
vote
2answers
36 views

How many distinct elements are there in $C=\{zw\mid z∈A$,$w∈B\}, z^{24}=1$ and $w^{54}=1$.

Let $A$ be a set of all complex numbers $z$ such that $z^{24}=1$ and let $B$ be the set of all complex numbers $w$ such that $w^{54}=1$. That is: $A$={$z$|$z^{24}=1$} and $B$={$w$|$w^{54}=1$} ...
1
vote
1answer
34 views

number of roots of unity which satisfy a given polynomial

Let $A$ be a matrix over $\mathbb{R}$ and $p_A(x)$ its characteristic polynomial. Is there an easy way to find out how many of the roots of $p_A(x)$ are roots of unity? Fixing a positive integer $k$, ...
1
vote
1answer
51 views

Roots of unity of an odd degree number field

I want to show that a number field of odd degree contains only $2$ roots of unity. The only information I really have regarding this that I think is relevant is that the group of units ...
0
votes
2answers
61 views

Sum of roots of unity a root of unity

Question is to check if : $a_1,a_2$ are $n^{\rm{th}}$ roots of unity and $|a_1+a_2|=1$ imply $a_1+a_2$ is a root of unity... A more general question is asked Sums of roots of unity but they are ...
0
votes
0answers
77 views

Carmichael function and primitive roots of unity

I have been reading about the Carmichael function recently and I would like to ask about some elementary implication of its properties as I haven't found it stated explicitly. If I understand it ...
0
votes
0answers
31 views

Carmichael numbers and primitive roots of unity

Let $n$ be a Carmichael number. Is it possible for an integer ring $\mathbb{Z}_n$ to contain primitive $(n-1)^{th}$ roots of unity? Or do only only primitive roots of unity of degree $\quad k < ...
1
vote
1answer
25 views

Prove: there is a unique pair of integer roots of unity which differ in real part by $1$.

I saw the following lemma somewhere, and I hope I did not misread it: If $z_1$ and $z_2$ are $n$th and $m$th roots of unity respectively ($n,m$ positive integers possible equal), and the real part of ...
0
votes
0answers
17 views

Fast Fourier Transform: How is the roots of unity matrix divided?

For an example for input size N=8, how is the roots of unity matrix divided for a divide and conquer approach? My understanding is that it's divided into four quadrants, Ma with J&K evens; Mb ...
0
votes
3answers
66 views

Finding units in cyclotomic fields

I want to classify the six units in $\mathbb Z[\zeta_3]$, where $\zeta_3$ is a primitive cube root of unity. I know the basic idea of this is to show that the norm of $\alpha \in \mathbb Z[\zeta_3]$ ...
0
votes
2answers
45 views

Requirement on Norm for units in Cyclotomic Fields

Consider $\zeta_p$ a primitive $p^{th}$ root of unity. Prove that $\alpha \in \mathbb Z[\zeta_p]$ is a unit iff $N(\alpha)=\pm1$. I'm not even sure where to start with this. I know that ...
4
votes
5answers
118 views

Why is $\sqrt [n] 1$ not an expression “in radicals” of a root of unity?

In Edwards' Galois Theory, in the chapter on Cyclotomic polynomials, the author devotes a lot of effort to proving that prime order primitive roots of unity can be expressed "by radicals", and gives ...
0
votes
1answer
30 views

for $p$ given, $\zeta_p$ a primitive root of unity, fow which $d\in \mathbb{Z}$ does $\zeta_p \in \mathbb{Q}(\sqrt{d})$?

Here is a question that I am trying to answer: Let $p$ be a prime greater than $2$. For which $d \in \mathbb{Z}$ contains $\mathbb{Q}(\sqrt{d})$ a primitive root of power $p$? What I did If ...
3
votes
1answer
44 views

A Polygon is inscribed in a circle $\Gamma$

A regular polygon P is inscribed in a circle $\Gamma$. Let A, B, and C, be three consecutive vertices on the polygon P, and let M be a point on the arc AC of $\Gamma$ that does not contain B. Prove ...
0
votes
1answer
37 views

To prove: For $p$ prime, $\zeta \in \mathbb{C}*$ and $ord(\zeta) = p$, $(1-\zeta)$ is a prime ideal in $\mathbb{Z}[\zeta]$

I'm trying to solve the following: Let $p$ be a prime number and $\zeta \in \mathbb{C}^* $ such that $ord(\zeta) = p$. Show that $(1-\zeta)$ is a prime ideal in $\mathbb{Z}[\zeta]$ and that there is ...
3
votes
1answer
84 views

To prove: $ [K : \mathbb{Q}] = 2 \ \Longrightarrow \ \exists \zeta \text{ primitive root of unity}, \ \mathbb{Q}(\zeta) \ \supseteq \ K $

I have to show that the following statement is true: Let $K$ Be a field extending $\mathbb{Q}$ such that $[K: \mathbb{Q}] \ = \ 2$. Then there is a root of unity $\zeta$ such that $K \subseteq ...
0
votes
0answers
55 views

Roots of unit in a DVR

Let $A$ be a DVR such that its fraction field $K$ is complete w.r.t to the natural absolute value in $K$. I am trying to prove that the projection from $A$ to the residue class field, $F$, maps the ...
4
votes
0answers
27 views

Why is $F_5(\root{15}\of t)$ not normal over $F_5(t)$?

(I'm asking this to understand the solution of this question. My idea for a proof so far: $f:=X^{15}-t\in F_5(t)$ is the minimal polynomial of $\root{15}\of t$ in $F_5(t)$, so it suffices to show ...
1
vote
2answers
28 views

Are all roots of unity (solutions to $a^k \equiv 1$) for a prime modulo $p$, a multiple of $p-1$??

If $a$ is coprime to $p$, and $a \not \equiv 1,-1 \mod p $ then are there any solutions to $a^k \equiv 1 \mod p $ such that $0< k < p-1$? For any counterexample, it is obvious $GCD(p-1, k) \not ...
3
votes
2answers
59 views

Roots of $z^r=1,r\notin\mathbb{Q}$

If $a,b\in\mathbb{Z}$, and $\frac a b$ is in lowest terms, then $$z^{\frac a b}=1\\\implies z=\exp\left(\frac{2\pi in b}{a}\right)\forall n\in\mathbb{Z}$$ This means that $z$ has exactly $a$ distinct ...
0
votes
2answers
61 views

Find roots of polynomial

Let p be an odd prime number and $ζ =ζ_p = cos(2π/p)+isin(2π/p)$ How do you find all of the roots of the polynomial $f(x) = x^{p-1} +x^{p-2}+…+x+1$ How do you show that $p = (1-ζ)(1-ζ^2)…(1-ζ^{p-1}) ...
-2
votes
1answer
39 views

Finding the elements of a number C based off of 24th and 54th roots of unity

Let $A$ be a set of all complex numbers $z$ such that $z^24=1$ and let $B$ be the set of all complex numbers $w$ such that $w^54=1.$ That is: \begin{align*}A&=\{z\;|\;z^{24}=1\}\\ ...
1
vote
1answer
25 views

Rings and equations

Let $R$ be a commutative (non-zero) ring with identity, what are the solutions of $x^2-1=0$? Obviously, $x=\pm 1$ are solutions and if $R$ is an integral domain there aren't other solutions since ...
1
vote
1answer
28 views

Cyclic properties of multiplicative group G of all the complex $2^n$ roots of unity

Consider the multiplicative group G of all the complex $2^n$ roots of unity, $n=0,1,2,\ldots$ I am asked to verify whether $G$ is a cyclic group and whether it has a finite set of generators. The ...
1
vote
1answer
24 views

Rational number in $\mathbb{Z}[\omega]$ should be integer.

Let $\omega = \cos \frac{2\pi}{p} + i \sin \frac{2\pi}{p}$ for some prime number $p > 2$. Then how to prove that if $q \in \mathbb{Q} \cap \mathbb{Z}[\omega]$, $q$ must be integer.
1
vote
1answer
157 views

Roots of unity polynomial [duplicate]

Let $\omega=e^{\frac{2\pi i}{n}}$. Prove that $\Pi_{k=1}^{n-1} (1-\omega^k)=n.$ So far, I've tried brute-forcing it by expanding out the product, but it ended up getting too messy--and now I'm ...
1
vote
5answers
68 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 ...
2
votes
1answer
37 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 ...
0
votes
1answer
31 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
2answers
76 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 ...
1
vote
2answers
82 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 ...
4
votes
0answers
60 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 ...
2
votes
2answers
66 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.
0
votes
1answer
39 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 ...
4
votes
0answers
79 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 ...
2
votes
2answers
62 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
7
votes
1answer
184 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 = ...
-1
votes
3answers
56 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 ...
7
votes
1answer
187 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 ...
1
vote
1answer
27 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
32 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
50 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
vote
1answer
36 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
77 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 = ...
0
votes
1answer
66 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}} $$ ...
4
votes
1answer
99 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 ...