Un idèle es un elemento invertible del anillo de adeles de un cuerpo global: un n-pla (x_v) de elementos no nulos x_v en cada completado local tal que x_v es una unidad para todas las plazas salvo un número finito. Los idèles forman un grupo multiplicativo topológico empleado en la teoría de cuerpos de clases globales.

Principio

Codificar la información aritmética multiplicativa global mediante el producto restringido de los grupos multiplicativos de los completados locales, imponiendo la condición de unidad en casi todas las plazas para obtener una topología y una estructura aritmética manejables.

Demostración

Para Q, un idèle consiste en una entrada real no nula en la plaza infinita y entradas p-ádicas en cada primo p que son unidades para casi todos los p; por ejemplo (2,1,1,1,...) con 2 en la plaza real y 1 en todas las plazas p-ádicas es un idèle.

Aplicación incorrecta

Tratar una adèle con una componente cero como un idèle, o ignorar la exigencia ‘unidad en casi todas las plazas’ y por tanto no restringirse al subgrupo multiplicativo, lo que rompe la estructura topológica y la teoría de cuerpos de clases.

Consecuencia

El grupo de idèles modulo el grupo multiplicativo del cuerpo global produce el grupo de clases de idèles; este cociente es central para describir extensiones abelianas y aplicaciones de reciprocidad en la teoría de cuerpos de clases.

Inversión

La inversión es una adèle considerada como objeto aditivo: las adèles pueden tener componentes cero y forman un anillo topológico aditivo, careciendo así de la condición de unidad y de las consecuencias algebraicas del grupo de idèles.

Límite

Se aplica a cuerpos globales (cuerpos de números y cuerpos de funciones) con completados locales y valuaciones bien definidos; la noción no se generaliza directamente a anillos arbitrarios sin completados locales o sin la noción de ‘casi todas las plazas’.

Tensión semántica

Estrechamente relacionado con 'adèle' (producto restringido aditivo); la confusión surge porque ambos son tuplas indexadas por plazas, pero los idèles requieren invertibilidad multiplicativa y la condición de unidad en casi todas las plazas.

Síntesis

Un idèle es el producto restringido de elementos no nulos de los completados locales que forma un grupo multiplicativo topológico que empaqueta la información multiplicativa global y sustenta los grupos de clases de idèles y la reciprocidad en la teoría de cuerpos de clases.