 Product formula

For a nonzero element $x$ of a number field $L$, normalized absolute values satisfyFor an algebraic integer $x$, factor the principal ideal $(x)$ into prime ideals. Its ideal norm is both the product of the finite-place contributions with inverse exponent and the absolute value of the product of its Archimedean conjugates. Equating the two expressions proves the formula for algebraic integers, and writing an arbitrary $x\in L^{\times }$ as a quotient proves the general case.