Un idèle est un élément inversible de l'anneau des adèles d'un corps global : un tuple (x_v) d'éléments non nuls x_v dans chaque complété local tel que x_v soit une unité pour toutes les places sauf un nombre fini. Les idèles forment un groupe multiplicatif topologique utilisé en théorie du corps de classes globale.

Principe

Encoder l'information arithmétique multiplicative globale en prenant le produit restreint des groupes multiplicatifs des complétés locaux, en imposant la condition d'unité en presque toutes les places pour obtenir une topologie et une structure arithmétique maniables.

Démonstration

Pour le corps des rationnels Q, un idèle consiste en une composante réelle non nulle à la place infinie et en composantes p-adiques pour chaque premier p, qui sont des unités pour presque tous les p ; par exemple (2,1,1,1,...) avec 2 à la place réelle et 1 à toutes les places p-adiques est un idèle.

Mauvaise application

Considérer une adèle ayant une composante nulle comme un idèle, ou ignorer l'obligation « unité en presque toutes les places », ce qui empêche de se restreindre au sous-groupe multiplicatif et brise les structures topologiques et de corps de classes.

Conséquence

Le groupe des idèles modulo le groupe multiplicatif du corps global donne le groupe des classes d'idèles ; ce quotient est central pour décrire les extensions abéliennes et les applications de réciprocité en théorie du corps de classes.

Inversion

Le renversement est une adèle considérée comme objet additif : les adèles peuvent avoir des composantes nulles et forment un anneau topologique additif, elles n'ont pas la condition d'unité et les conséquences algébriques du groupe des idèles font défaut.

Limite

S'applique aux corps globaux (corps de nombres et corps de fonctions) avec complétés locaux et valuations bien définis ; la notion ne se généralise pas directement aux anneaux arbitraires dépourvus de complétés locaux ou de notion de « presque toutes les places ».

Tension sémantique

Étroitement lié au terme « adèle » (produit restreint additif) ; la confusion vient du fait que les deux sont des tuples indexés par les places, mais les idèles exigent l'inversibilité multiplicative et la condition d'unité en presque toutes les places.

Synthèse

Un idèle est le produit restreint d'éléments non nuls des complétés locaux formant un groupe multiplicatif topologique qui condense l'information multiplicative globale et sous-tend les groupes de classes d'idèles et la réciprocité en théorie du corps de classes.