Différente
# Différente

En mathématiques, la différente est définie en théorie algébrique des nombres pour mesurer l'éventuel défaut de dualité d'une application définie à l'aide de la trace, dans l'anneau des entiers d'un corps de nombres K.

Si $O_K$ est l'anneau des entiers de K et tr désigne la trace du corps de K vers le corps ℚ des nombres rationnels, alors x ↦ $tr(x^2)$ est une forme quadratique entière sur $O_K.$ Son discriminant comme forme quadratique n'est pas forcément +1 (en fait ceci arrive seulement pour le cas K = ℚ). En définissant l'idéal fractionnaire I de K comme l'ensemble des $x\in K$ tels que tr(xy) est un entier pour tout y dans $O_K,$ alors I contient $O_K.$ Par définition, l'idéal différent $\delta _{K}$ est $I^{-1}$, un idéal de $O_K.$

La norme de $\delta _{K}$ est l'idéal de ℤ engendré par le discriminant $D_{K}$ de K. La différente peut aussi être définie pour une extension de corps de nombres L/K (la différente relative) et pour les corps locaux. Elle joue un rôle dans la dualité de Pontryagin pour les corps p-adiques.

