Teorema de las unidades de Dirichlet
# Teorema de las unidades de Dirichlet

En matemáticas, el teorema de las unidades de Dirichlet es un resultado básico en teoría de números algebraicos formalizado por el matemático alemán a Peter Gustav Lejeune Dirichlet. Determina el rango del grupo de unidades en el anillo O$_K$ de los números enteros algebraicos de un cuerpo numérico K. El regulador es un número real positivo que determina la densidad de las unidades.

# Teorema de las unidades de Dirichlet
## Enunciado

El teorema afirma que el grupo de unidades se genera de forma finita y tiene rango (número máximo de elementos multiplicativamente independientes) igual a:
    r = r$_1$ + r$_2$ − 1
donde r$_1$ es el número de incrustaciones reales y r$_2$ el número de pares conjugados de incrustaciones complejas de K. Esta caracterización de r$_1$ y r$_2$ se basa en la idea de que habrá tantas formas de incrustar K en el campo de los números complejos como el grado n = [K : ℚ]; estos estarán en los números reales, o serán pares de incrustaciones relacionadas por sus conjugados, de modo que
    n = r$_1$ + 2r$_2$.
Se debe tener en cuenta que si K es galoisiano sobre ℚ, entonces r$_1$ = 0 o r$_2$ = 0.
Otras formas de determinar r$_1$ y r$_2$ son
* Usando el teorema del elemento primitivo para explicitar que K = ℚ(α), y entonces r$_1$ es el número de conjugados de α que son reales, y 2r$_2$ es el número de los que son complejos; en otras palabras, si f es el polinomio mínimo de α sobre ℚ, entonces r$_1$ es el número de raíces reales y 2r$_2$ es el número de raíces complejas no reales de f (que vienen en pares conjugados complejos);
* Partiendo del producto tensorial K ⊗$_ℚ$ ℝ como un producto de cuerpos, habiendo r$_1$ copias de ℝ y r$_2$ copias de ℂ.
Por ejemplo, si K es un cuerpo cuadrático, el rango es 1 si es un campo cuadrático real y 0 si es un campo cuadrático imaginario. La teoría de los campos cuadráticos reales es esencialmente la teoría de la ecuación de Pell.
El rango es positivo para todos los campos numéricos además de ℚ y los campos cuadráticos imaginarios, que tienen rango 0. El tamaño de las unidades se mide en general mediante un determinante denominado regulador. En principio, la base de las unidades puede calcularse de forma eficiente; aunque en la práctica los cálculos son bastante complicados cuando n es grande.
La torsión en el grupo de unidades es el conjunto de todas las raíces de la unidad de K, que forman un grupo cíclico finito. Para un campo numérico con al menos una incrustación real, la torsión debe ser solo {1,−1}. Hay campos numéricos, por ejemplo, la mayoría de los cuerpos cuadráticos imaginarios, que no tienen incrustaciones reales, también poseen {1,−1} para la torsión de su grupo de unidades.
Los campos totalmente reales son especiales con respecto a las unidades. Si L/K es una extensión finita de campos numéricos con grado mayor que 1 y los grupos de unidades para los números enteros de L y K tienen el mismo rango, entonces K es totalmente real y L es una extensión cuadrática totalmente compleja. Lo contrario también se mantiene (un ejemplo es K igual a los racionales y L igual a un campo cuadrático imaginario; ambos tienen rango de unidad 0).
El teorema no solo se aplica al orden máximo O$_K$ sino a cualquier orden O ⊂ O$_K$.
Existe una generalización del teorema de la unidad por Helmut Hasse (y más tarde por Claude Chevalley) para describir la estructura del grupo de unidades S, determinando el rango del grupo unitario en localizaciones de anillos de números enteros. Además, se ha determinado la estructura del módulo de Galois de ℚ ⊕ O$_{K,S}$ ⊗$_ℤ$ ℚ.

# Teorema de las unidades de Dirichlet
## Regulador

Supóngase que K es un campo numérico y $u_{1},\dots ,u_{r}$ son un conjunto de generadores para el grupo unitario de K raíces módulo de la unidad. Habrá r + 1 lugares arquimedianos de K, ya sean reales o complejos. Para $u\in K$, se escribe $u^{(1)},\dots ,u^{(r+1)}$ para las diferentes incrustaciones en ℝ o ℂ y se establece N$_j$ en 1 o 2 si la incrustación correspondiente es real o compleja, respectivamente. Entonces, la matriz r × (r + 1)
$\left(N_{j}\log \left|u_{i}^{(j)}\right|\right)_{i=1,\dots ,r,\;j=1,\dots ,r+1}$
tiene la propiedad de que la suma de cualquier fila es cero (porque todas las unidades tienen la norma 1 y el logaritmo de la norma es la suma de las entradas en una fila). Esto implica que el valor absoluto R del determinante de la submatriz formado al eliminar una columna es independiente de la columna. El número R se denomina regulador del campo numérico algebraico (no depende de la elección de los generadores u$_i$). Mide la densidad de las unidades: si el regulador es pequeño, significa que hay muchas unidades.
El regulador tiene la siguiente interpretación geométrica. La aplicación que relaciona una unidad u al vector con entradas $N_{j}\log \left|u^{(j)}\right|$ tiene una imagen en el subespacio dimensional r de ℝ$^{r+1}$ que consta de todos los vectores cuyas entradas tienen una suma 0 y, según el teorema de la unidad de Dirichlet, la imagen es una red en este subespacio. El volumen de un dominio fundamental de esta red es R√r + 1.
El regulador de un campo numérico algebraico de grado superior a 2 suele ser bastante complicado de calcular, aunque ahora existen paquetes de álgebra informática que pueden hacerlo en muchos casos. Por lo general, es mucho más fácil calcular el producto hR del número de clase h y el regulador usando la fórmula del número de clase, y la principal dificultad para calcular el número de clase de un campo numérico algebraico suele ser el cálculo del regulador.

# Teorema de las unidades de Dirichlet
## Regulador
### Ejemplos

* El regulador de un cuerpo cuadrático, o de los enteros racionales, es 1 (ya que el determinante de una matriz 0 × 0 es 1).
* El regulador de un cuerpo cuadrático es el logaritmo de su unidad fundamental: por ejemplo, el de
    ℚ(√5) es log √5 + 1/2.
    Esto se puede ver de la siguiente manera. Una unidad fundamental es √5 + 1/2, y sus imágenes según las dos incrustaciones en ℝ son √5 + 1/2 y −√5 + 1/2. Entonces, la matriz r × (r + 1) es
       $\left[1\times \log \left|{\frac {{\sqrt {5}}+1}{2}}\right|,\quad 1\times \log \left|{\frac {-{\sqrt {5}}+1}{2}}\right|\ \right].$
* El regulador de un cuerpo cúbico cíclico ℚ(α), donde α es una raíz de x$^3$ + x$^2$ − 2x − 1, es aproximadamente 0.5255. Una base del grupo de unidades modulares raíces de la unidad es {ε$_1$, ε$_2$} donde ε$_1$ = α$^2$ + α − 1 y ε$_2$ = 2 − α$^2$.

# Teorema de las unidades de Dirichlet
## Reguladores superiores

Un regulador superior se refiere a la construcción de una función en un K-grupo algebraico con índice n > 1 que desempeña el mismo papel que el regulador clásico para el grupo de unidades, que es un grupo K$_1$. Se ha estado desarrollando una teoría de tales reguladores, con el trabajo de Armand Borel y otros. Tales reguladores superiores juegan un papel, por ejemplo, en las conjeturas de Beilinson, y se espera que intervengan en las evaluaciones de ciertas funciones L en valores enteros del argumento. Véase también regulador de Beilinson.

# Teorema de las unidades de Dirichlet
## Regulador de Stark

La formulación de las conjeturas de Stark llevó a Harold Stark a definir lo que ahora se llama el regulador de Stark, similar al regulador clásico como determinante de logaritmos de unidades, adjunto a cualquier representación de Artin.

# Teorema de las unidades de Dirichlet
## Regulador p-ádico

Sea K un cuerpo de números algebraicos y para cada primo P de K por encima de algún primo racional fijo p, se denomina U$_P$ a las unidades locales en P; y sea U$_{1,P}$ el subgrupo de unidades principales en U$_P$. Estableciendo que
    $U_{1}=\prod _{P|p}U_{1,P}.$
Entonces, se denomina E$_1$ al conjunto de unidades globales ε que se asignan a U$_1$ a través de la incrustación diagonal de las unidades globales en E.
Dado que E$_1$ es un subgrupo de índice finito de las unidades globales, es un grupo abeliano de rango r$_1$ + r$_2$ − 1. El regulador p-ádico es el determinante de la matriz formada por los logaritmos p-ádicos de los generadores de este grupo. La conjetura de Leopoldt establece que este determinante es distinto de cero.