Théorème de Brauer-Siegel

En mathématiques, le théorème de Brauer-Siegel, du nom de Richard Brauer et Carl Ludwig Siegel, est un résultat asymptotique sur le comportement des corps de nombres, obtenu par Richard Brauer et Carl Ludwig Siegel. Il tente de généraliser les résultats connus sur les nombres de classes des corps quadratiques imaginaires, à une suite plus générale de corps de nombres

$K_1,K_2,\dots .$

Dans tous les cas autres que le corps Q des rationnels et les corps quadratiques imaginaires, le régulateur R_i de K_i doit être pris en compte, car K_i a alors des unités d'ordre infini par le théorème des unités de Dirichlet. L'hypothèse quantitative du théorème de Brauer-Siegel standard est que si D_i est le discriminant de K_i, alors

$\frac{[K_i:𝐐]}{\log |D_i|}\to 0\text{ quand }i\to \mathrm{\infty }.$

En supposant de plus que K_i est une extension galoisienne de Q, la conclusion est que

$\frac{\log (h_i{R}_i)}{\log \sqrt{|D_i|}}\to 1\text{ quand }i\to \mathrm{\infty }$

où h_i est le nombre de classes de K_i. Si l'on suppose que tous les degrés $[K_i:𝐐]$ sont majorés par une même constante N, alors on peut se passer de l'hypothèse de normalité — c'est ce qui est en fait prouvé dans l'article de Brauer.

Ce résultat est ineffectif, comme l'était d'ailleurs le résultat sur les corps quadratiques sur lesquels il s'est construit. Des résultats effectifs dans le même sens ont été initiés dans les travaux de Harold Stark à partir du début des années 1970.

Références

• Modèle:Article.