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. La norme de est l'idéal de ℤ engendré par le discriminant 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.

Property Value
dbo:abstract
  • 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 OK 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(x2) est une forme quadratique entière sur OK. 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 tels que tr(xy) est un entier pour tout y dans OK, alors I contient OK. Par définition, l'idéal différent est , un idéal de OK. La norme de est l'idéal de ℤ engendré par le discriminant 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). * Portail des mathématiques (fr)
  • 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 OK 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(x2) est une forme quadratique entière sur OK. 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 tels que tr(xy) est un entier pour tout y dans OK, alors I contient OK. Par définition, l'idéal différent est , un idéal de OK. La norme de est l'idéal de ℤ engendré par le discriminant 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). * Portail des mathématiques (fr)
dbo:wikiPageID
  • 1065264 (xsd:integer)
dbo:wikiPageLength
  • 1641 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 178973601 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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. La norme de est l'idéal de ℤ engendré par le discriminant 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. (fr)
  • 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. La norme de est l'idéal de ℤ engendré par le discriminant 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. (fr)
rdfs:label
  • Différente (fr)
  • Different ideal (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of