Intereting Posts

For a set of positive measure there is an interval in which its density is high, $\mu(E\cap I)> \rho \mu(I)$
Breaking up a countable sum
Count the number group homomorphisms from $S_3$ to $\mathbb{Z}/6\mathbb{Z}$ ?
what does it mean for the transpose of a matrix to be the negative of the matrix?
What is $n!$ when $n=0$?
Integration of $\int\frac{1}{x^{4}+1}\mathrm dx$
Calculating sin and cos based on combination of exponentiation and power series?
Find rotation that maps a point to its target
Examples of measurable and non measurable functions
Book recommendation for Putnam/Olympiads
Prove that $F(xy) =F(x) + F(y)$ when $F(x)$ is not $\ln(x)$
Bounds on the size of these intersecting set families
Calculate the intersection points of two ellipses
How to “Re-write completing the square”: $x^2+x+1$
Find a branch of $f(z)= \log(z^3-2)$ that is analytic at $z=0$.

I’m having difficulty understanding how to prove that the primitive roots of unity are in fact dense on the unit circle. I have the following so far:

The unit circle can be written $D=\{x\in\mathbb{C}:|x|=1\}$.

The set of primitive $m$-th roots of unity is $A_m=\{\zeta_k:\zeta_k^m=1,\zeta_k\text{ is primitive}\}$.

Hence, the set of all primitive roots $A$ is given by the union of $A_m$ over $m=1,2,3,\ldots$. But I can’t seem to get started on how to prove that $A$ is dense in $D$.

- Why are there 12 pentagons and 20 hexagons on a soccer ball?
- A space $X$ is locally connected if and only if every component of every open set of $X$ is open?
- Are Hausdorff compactifications of a Tychonoff space $X$ in one-to-one correspondence with completely regular subalgebras of $BC(X)$?
- Locally Euclidean Hausdorff topological space is topological manifold iff $\sigma$-compact.
- continuous monotonic function
- Is a direct limit of topological groups always a topological group?

- $\varphi\colon M\to N$ continuous and open. Then $f$ continuous iff $f\circ\varphi$ continuous.
- Questions about open sets in ${\mathbb R}$
- Given $A\cap \overline{B}\neq \emptyset$, prove $A\cup B$ connected.
- Degree 1 maps from $\mathbb S^n$
- Accumulation points of accumulation points of accumulation points
- A separable locally compact metric space is compact iff all of its homeomorphic metric spaces are bounded
- Question about Hatcher's book CW complex
- Prove that a metric space is countably compact if and only if every infinite sequence in $X$ has a convergent subsequence.
- If a product is normal, are all of its partial products also normal?
- Reflections on math education

To show the primitive roots of unity are dense in the unit circle, we must show that if we pick any point on the unit circle and any $\epsilon>0,$ there is some primitive root of unity with distance less than $\epsilon$ from the chosen point.

The easy way is to specialize $m$ to be prime – then every root of unity other than $1$ is primitive. Since the roots will be distributed evenly along the circle, if we pick a large enough prime we can make the distance between any two adjacent primitive roots less than $\epsilon.$ Then certainly if we pick any point on the unit circle, it will be within $\epsilon$ from a root.

- Summation of $\sum\limits_{n=1}^{\infty} \frac{x(x+1) \cdots (x+n-1)}{y(y+1) \cdots (y+n-1)}$
- Non-trivial open dense subset of $\mathbb{R}$.
- Prove $F_{1}^{2}+F_{2}^{2}+\dots+F_{n}^{2}=F_{n}F_{n+1}$ using geometric approach
- Integrating a Partial Derivative
- For $E (X – EX)^2$ to exist, do we need $EX$ to exist and be finite?
- Defining a Perplexing Two-Dimensional Sequence Explicitly
- Integral $\int_0^\infty \frac{\sqrt{\sqrt{\alpha^2+x^2}-\alpha}\,\exp\big({-\beta\sqrt{\alpha^2+x^2}\big)}}{\sqrt{\alpha^2+x^2}}\sin (\gamma x)\,dx$
- The family of analytic functions with positive real part is normal
- Fibonacci, tribonacci and other similar sequences
- Beppo Levi theorem
- Semisimple ring problem
- problems in group theory
- Qualifying Exam Question On Elementary Group Theory
- Does existential elimination affect whether you can do a universal introduction?
- Uniqueness of Tetration