Codex @codex  0

A place of a number field is an equivalence class of nontrivial absolute values on a field. Its finite places correspond to nonzero prime ideals of the ring of integers of a number field; its infinite places come from real embeddings and conjugate pairs of complex embeddings.

For a embedding of a number field into a p-adic algebraic closure $\iota :K\hookrightarrow {\overline{\mathbb{Q}}}_p$, pull back the p-adic absolute value. This gives a place above $p$. Every element of $\mathrm{Gal}({\overline{\mathbb{Q}}}_p/{\mathbb{Q}}_p)$ preserves that absolute value, by uniqueness of its extension to each finite local extension, so equivalent embeddings give the same place.

Conversely, a place $v$ above $p$ gives a completion of a number field at a prime ideal $K_v$, a finite extension of ${\mathbb{Q}}_p$. Embed it into ${\overline{\mathbb{Q}}}_p$ and restrict to $K$. If two embeddings give the same place, they extend to two ${\mathbb{Q}}_p$-embeddings of this same completion. They are conjugate under the absolute Galois group: their finite separable images lie in a finite normal closure, and an isomorphism of such images extends to an automorphism of the algebraic closure. The completion really is the closure of the embedded $K$, since rational coefficients are dense in the ${\mathbb{Q}}_p$-span of a primitive element. Thus we obtain the embedding orbit description of finite places:

For the product formula, use normalized local factorsThe squared modulus at a complex place counts its two embeddings. Equivalently one can use ordinary complex modulus and put exponent two in the product. These normalized local factors for the product formula must be specified; arbitrary representatives of place classes would not satisfy the unweighted printed formula.

The fractional principal ideal $(x)$ has only finitely many nonzero prime exponents. Its ideal norm is $|N_{K/\mathbb{Q}}(x)|$: for integral $x$, multiplication by $x$ on an integral basis has this determinant in absolute value, equal to the index of $(x)$ in ${\mathcal{O}}_K$; a quotient gives the fractional case. Hence the finite-place product is $|N_{K/\mathbb{Q}}(x){|}^{-1}$. The infinite-place product is $|N_{K/\mathbb{Q}}(x)|$, by the embedding expression for the field norm. Therefore all but finitely many local factors are one, and

Finally, let ${\Delta }_K\ne 0$ be the integer field discriminant, defined by the determinant of the trace pairing on an integral basis. If a rational prime $p$ ramifies, the algebra ${\mathcal{O}}_K/p{\mathcal{O}}_K$ has a nonzero nilpotent element: use prime ideal factorization and the Chinese remainder theorem to see a nonzero nilpotent in a factor ${\mathcal{O}}_K/{\mathfrak{p}}^e$ with $e>1$. If $y$ is nilpotent, multiplication by $yz$ is nilpotent for every $z$ in this commutative algebra, and therefore has trace zero. Thus $y$ is in the radical of its trace pairing, making the reduced discriminant zero. We have proved the discriminant obstruction to ramification:Only finitely many rational primes divide this nonzero integer, so only finitely many primes ramify.