Euclid's Theorem. There are infinitely many prime numbers.
Ostrowski's theorem. Every non-trivial valuation on the rational number field is equivalent to either the usual absolute value or a -adic valuation for some prime number .
By this beautiful theorem, we see that the infinitude of prime numbers is equivalent to the infinitude of non-trivial valuations on the rational number field. In this note, we give two valuation theoretic proofs of Euclid's theorem by the approximation theorem. Note that we don't use Ostrowski's theorem. On the other hand, we have to consider the infinite place.
From now on, we denote as a prime number or the symbol . Let be the -adic valuation normalized as for a prime number and the usual absolute value. Let .
First, we recall the following well-known facts:
Approximation Theorem. Let be pairwise inequivalent non-trivial valuations of the rational number field and let be given rational numbers. Then, for every , there exists a rational number such that
Product Formula. For every non-zero rational number , one has
Proposition. Let be the adele ring of the rational number field . Then, the subgroup under the diagonal embedding is discrete in .
Remark. We don't need the infinitude of prime numbers to prove the above facts. (But we use the notion of prime factorizations.)
The Proof by Product Formula
We assume that there are only finitely many prime numbers. For every , take a rational number such that . By the approximation theorem, we can take a rational number such that for every . Then, holds. This contradicts to the product formula. Q.E.D.
We assume that there are only finitely many prime numbers. Then, holds by definition and the topology coincides with the product topology. Since is dense in for each , is also dense in by the approximation theorem. Hence, we have by Proposition and a fact that every discrete subgroup of a Hausdorff topological group is closed*1. This is clearly impossible. Q.E.D.
This proof is also a topological proof*2.