Brauer-Siegel theorem

From Wikipedia, the free encyclopedia

In mathematics, the Brauer-Siegel theorem is an asymptotic result on the behaviour of algebraic number fields, obtained by Richard Brauer and Carl Ludwig Siegel. It attempts to generalise the results known on the class numbers of imaginary quadratic fields, to a more general sequence of number fields

K₁, K₂, ... .

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

[K_i:Q]/log |D_i| → 0 as i → ∞.

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

log (h_iR_i)/log √|D_i|) → 1 as i → ∞

where h_i is the class number of K_i.

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.

[edit] Reference

• Richard Brauer, On the Zeta-Function of Algebraic Number Fields, Amer. J. Math. 69 (1947), 243-250.