Corps local

Corps local

En mathématiques, un corps local est un corps commutatif complet pour une valuation discrète. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres.

  • Si K est un corps commutatif, le corps K((X)) des séries de Laurent à coefficients dans K est un corps local.
  • Si K est une extension finie du corps des nombres rationnels et si v est une valuation non triviale de K, le complété de K relativement à v est un corps local.

Si K est un corps local, ses éléments de valuation positive en constituent un sous-anneau, qu'on appelle l'anneau des entiers de K. C'est un anneau de valuation discrète dont l'idéal maximal est constitué de ses éléments de valuation strictement positive. Le corps résiduel de K est le quotient de son anneau d'entiers par son idéal maximal. La caractéristique résiduelle de K est la caractéristique de son corps résiduel.

Corps locaux de corps résiduel fini

Un corps local a un corps résiduel fini si, et seulement s'il est localement compact.

Inversement, un corps commutatif K localement compact non discret est canoniquement munie d'une valeur absolue appelée module.

  • Si cette valeur absolue est archimédienne, alors K est isomorphe soit au corps des nombres réels, soit au corps des nombres complexes.
  • Sinon, la valuation qui lui correspond est discrète et fait de K un corps local de corps résiduel fini. Dans ce cas, la caractéristique résiduelle de K est un nombre premier. Deux cas de figure se présentent, selon que la caractéristique de K est ou non égale à sa caractéristique résiduelle :
    • En cas d'inégale caractéristique, le corps K est nécessairement de caractéristique nulle, et il est isomorphe à une extension finie du corps des nombres p-adiques, où p désigne la caractéristique résiduelle de K ; un tel corps est appelé corps de nombres p-adiques.
    • En cas d'égale caractéristique, le corps K est isomorphe au corps des séries formelles à coefficients dans son corps résiduel.

Les corps locaux dont le corps résiduel est fini (ou, plus généralement, parfait) sont soumis à la théorie du corps de classes local.

Corps locaux non commutatifs

Il est possible d'élargir la définition d'un corps local en autorisant les corps non commutatifs (on parle aussi d'algèbres de division). Les notions d'anneau d'entiers, de corps résiduel et de caractéristique résiduelle s'étendent sans difficulté à ce cadre. Le centre d'un corps local non commutatif est un corps local.

Un corps local non commutatif est localement compact si et seulement si son centre l'est, et si et seulement s'il a un corps résiduel fini. Dans ce cas, il est de dimension finie sur son centre.

Inversement, les corps non commutatifs localement compacts non discrets sont classés comme suit.

  • Si leur valeur absolue est archimédienne, ils sont isomorphes au corps des quaternions de Hamilton.
  • Sinon, ce sont des algèbres cycliques sur leur centre, paramétrées par un élément a de \mathbb{Q}/\mathbb{Z}.

Références

Jean-Pierre Serre, Corps locaux [détail des éditions]


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corps local de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Corps Local — En mathématiques, un corps local est un corps commutatif complet pour une valuation discrète. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres. Si K est un corps commutatif, le corps K((X)) des séries de… …   Wikipédia en Français

  • Corps De Nombres — En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la forme où α est… …   Wikipédia en Français

  • Corps De Nombres Algébriques — Corps de nombres En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la …   Wikipédia en Français

  • Corps de nombre — Corps de nombres En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la …   Wikipédia en Français

  • Corps de nombres algebriques — Corps de nombres En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la …   Wikipédia en Français

  • Corps de nombres algébriques — Corps de nombres En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la …   Wikipédia en Français

  • Corps des nombres algébriques — Corps de nombres En mathématiques, un corps de nombres est une extension finie et algébrique du corps des nombres rationnels. Par le théorème de l élément primitif (ou théorème de l extension monogène), tout corps de nombres peut s écrire sous la …   Wikipédia en Français

  • Corps de nombres —  Ne pas confondre avec la notion d ensemble de nombres. En mathématiques, un corps de nombres est une extension finie du corps des nombres rationnels. En particulier, c est une extension algébrique : tous les éléments de K sont des… …   Wikipédia en Français

  • Local — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Local », sur le Wiktionnaire (dictionnaire universel) Le mot local peut avoir plusieurs… …   Wikipédia en Français

  • local — local, ale, aux [ lɔkal, o ] adj. et n. m. • 1314; bas lat. localis I ♦ Adj. 1 ♦ Qui concerne un lieu, une région (⇒ régional), lui est particulier. Histoire locale (opposé à générale) . Averses, éclaircies locales, qui se produisent en certains… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”