En matemáticas , el teorema de Brauer-Siegel , llamado así en honor a Richard Brauer y Carl Ludwig Siegel , es un resultado asintótico sobre el comportamiento de los cuerpos numéricos algebraicos , obtenido por Richard Brauer y Carl Ludwig Siegel . Intenta generalizar los resultados conocidos sobre los números de clase de cuerpos cuadráticos imaginarios a una secuencia más general de cuerpos numéricos.
En todos los casos, excepto en el caso del cuerpo racional Q y de los cuerpos cuadráticos imaginarios, debe tenerse en cuenta el regulador R i de K i , porque K i tiene entonces unidades de orden infinito según el teorema de la unidad de Dirichlet . La hipótesis cuantitativa del teorema estándar de Brauer-Siegel es que si D i es el discriminante de K i , entonces
Suponiendo eso, y la hipótesis algebraica de que K i es una extensión de Galois de Q , la conclusión es que
donde h i es el número de clase de K i . Si se supone que todos los grados están acotados por encima por una constante uniforme N , entonces se puede descartar el supuesto de normalidad - esto es lo que se demuestra realmente en el artículo de Brauer.
Este resultado es ineficaz , como lo fue también el resultado obtenido en los campos cuadráticos en los que se basó. Los resultados eficaces en la misma dirección se iniciaron en el trabajo de Harold Stark a principios de los años 1970.
![{\displaystyle {\frac {[K_{i}:\mathbf {Q} ]}{\log |D_{i}|}}\to 0{\text{ como }}i\to \infty .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c639b8f9d1605076cb35f9453230453763c971d3)
![{\displaystyle [K_{i}:\mathbf {Q} ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83bad5ddcb70c1d2c4a5a53ca005402a83c70d5c)