Brauer–Siegel theorem

In

imaginary quadratic fields

, to a more general sequence of number fields

K_{1},K_{2},\ldots .\

In all cases other than the rational field Q and imaginary quadratic fields, the

regulator R_i of K_i must be taken into account, because K_i then has units of infinite order by Dirichlet's unit theorem. The quantitative hypothesis of the standard Brauer–Siegel theorem is that if D_i is the discriminant

of K_i, then

{\frac {[K_{i}:\mathbf {Q} ]}{\log |D_{i}|}}\to 0{\text{ as }}i\to \infty .

Assuming that, and the algebraic hypothesis that K_i is a Galois extension of Q, the conclusion is that

{\frac {\log(h_{i}R_{i})}{\log {\sqrt {|D_{i}|}}}}\to 1{\text{ as }}i\to \infty

where h_i is the class number of K_i. If one assumes that all the degrees $[K_{i}:\mathbf {Q} ]$ are bounded above by a uniform constant N, then one may drop the assumption of normality - this is what is actually proved in Brauer's paper.

This result is ineffective, as indeed was the result on quadratic fields on which it built. Effective results in the same direction were initiated in work of Harold Stark from the early 1970s.

References

Richard Brauer, On the Zeta-Function of Algebraic Number Fields, American Journal of Mathematics 69 (1947), 243–250.

This number theory-related article is a stub. You can help Wikipedia by expanding it.