I have a somewhat unconventional view of the Prime Number Theorem as a "quantification" of the infinitude of primes. Here I recall the argument of [Furstenberg](https://en.wikipedia.org/wiki/Furstenberg%27s_proof_of_the_infinitude_of_primes). Define a topology $\mathcal{X}$ on $\mathbb{Z}$. 


* $\varnothing \in \mathcal{X}$
* $a \, \mathbb{Z} + b \in \mathcal{X}$


By unique factorization, there is a finite set that is the complement of these open set:


$$ \mathbb{Z} \backslash \{ -1, 1 \} = \bigcup\_p S(p,0) $$


This could probably work for any number field. Let's see if I write it correctly. Is it clear?


$$ K \backslash \{ \text{units} \} = \bigcup\_p S(p,0) $$


There's few literature I could find on the Furstenberg Topology itself [[1](http://www.idmercer.com/monthly355-356-mercer.pdf)] Perhaps it has a generalization that is more commonly discussed? Does the Furstenberg topology have any deeper meaning that we know about? 


Later in his life he should prove Szemeredi Theorem which is entirely also about arithemetic sequences.


About two years ago, I asked for infinite Gaussian primes in segments. In standard algebraic number theory these are all merged into questions about Dirichlet and Hecke characters. One person responded that we could use **sieves**. and filter out the primes that we need.


[Elementary Proof of Infinitely many primes $\mathfrak{p} \in \mathbb{Z}[i]$ in the sector $\theta < \arg \mathfrak{p} <\phi $](https://mathoverflow.net/questions/212297/elementary-proof-of-infinitely-many-primes-mathfrakp-in-mathbbzi-in-t)


.



Could Furstenberg's Argument Prove the Infinitude of Primes in Number Fields?
Yes. Just replace arithmetic progressions by translations of a nonzero (integral) ideal. The same argument shows that the union on the RHS is closed, so the set of units $K^\times$ has to be open. Since $1$ is a unit, $K^\times$ must contain $1+\frak a$ for some nonzero (integral) ideal $\frak a$. Take a nonzero element $a\in\frak a$. Then $1+na\in K^\times$ for all integer $n$. But $N(1+na)$ is a degree $d=[K:\mathbb Q]$ polynomial in $n$ with leading coefficient $N(a)\neq 0$, so it cannot be $\pm1$ for all integer $n$.


