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²) 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.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Different ideal » (voir la liste des auteurs).