Un adèle de un cuerpo global K es un elemento del producto restringido de las completaciones K_v en todas las lugares v de K, donde para todos los lugares no archimedianos salvo un número finito la componente pertenece al anillo local de enteros O_v. El anillo de adèles combina simultáneamente las completaciones locales con una condición de 'casi integridad'.

Principio

Las adèles empaquetan datos locales en cada lugar en un único objeto global al exigir integridad en casi todos los lugares finitos; esta topología del producto restringido y la estructura de anillo permiten argumentos global-a-local y análisis armónico.

Demostración

Para K = Q un adèle es una tupla (x_infty, x_2, x_3, x_5, ... ) con x_infty en R y x_p en Q_p para cada primo p, sujeta a x_p en Z_p para casi todos los p. Los racionales se insertan diagonalmente en el anillo de adèles.

Aplicación incorrecta

Confundir adèles con el producto no restringido de completaciones (que carece de la condición casi integral), o confundir adèles con idèles (el subgrupo multiplicativo de adèles invertibles) cuando importa la estructura multiplicativa.

Consecuencia

Las adèles proporcionan un anillo topológico natural en el que los cuerpos globales se sitúan diagonalmente y permiten formulaciones uniformes de dualidad, suma de Poisson y el lenguaje de formas automorfas; permiten traducir problemas aritméticos en análisis sobre grupos localmente compactos.

Inversión

La noción dual enfatiza a los idèles (el grupo multiplicativo de adèles invertibles) o el anillo de adèles finitas por separado; eliminar la condición 'casi integral' conduce al producto completo que es demasiado grande para muchas aplicaciones aritméticas.

Límite

Las adèles se definen para cuerpos globales (cuerpos de números y cuerpos de funciones de curvas sobre un cuerpo finito) y dependen del conjunto de lugares; construcciones tipo adèle para anillos arbitrarios requieren cuidado y pueden no compartir la estructura de producto restringido ni la compacidad local.

Tensión semántica

Adèle versus producto de las completaciones: el producto restringido impone una condición de finitud/integridad ausente en el producto no restringido; adèle versus idèle: las adèles forman un anillo topológico aditivo, los idèles el grupo multiplicativo, y ambos desempeñan papeles distintos.

Síntesis

Un adèle es una tupla global de coordenadas locales, una por cada lugar, restringida a ser íntegra en casi todos los lugares finitos; este producto restringido da un anillo topológico localmente compacto que unifica la aritmética local y global y facilita técnicas de análisis armónico.