En mathématiques, un corps local est un corps commutatif topologique localement compact pour une topologie non discrète. Sa topologie est alors définie par une valeur absolue. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres. Si k est un corps fini, le corps k((X)) des séries formelles de Laurent à coefficients dans k est un corps local. Tout complété d'un corps de nombres (ou plus généralement un corps global) pour une valuation non triviale est un corps local. Si la valeur absolue est archimédienne, alors K est isomorphe soit au corps des nombres réels, soit au corps des nombres complexes. Si K est un corps local dont la valeur absolue est non archimédienne, l'anneau O des entiers de K est la boule unité fermée (compacte). C'est un anneau de valuation discrète. Le corps résiduel de K est le quotient de son anneau d'entiers par l'idéal maximal de cet anneau (la boule unité ouverte). La caractéristique résiduelle de K est la caractéristique de son corps résiduel. Le corps résiduel est compact et discret donc fini, si bien que la caractéristique résiduelle 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 de Laurent à coefficients dans son corps résiduel. Les corps locaux non archimédiens sont donc les corps complets pour une certaine valuation discrète et dont le corps résiduel est fini. Certains auteurs considèrent une notion plus générale, en demandant que le corps résiduel soit seulement parfait. Ces corps sont soumis à la théorie du corps de classes local. Il est possible d'élargir la définition équivalente ci-dessus d'un corps local non archimédien en autorisant les corps non commutatifs.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (73)
PHYS-595: Engineering internship (master in nuclear engineering)
The main objective of the 12-week internship is to expose master's students to the industrial work environment within the field of nuclear energy.
MATH-417: Number theory II.b - selected topics
This year's topic is "Additive combinatorics and applications." We will introduce various methods from additive combinatorics, establish the sum-product theorem over finite fields and derive various a
PHYS-462: Quantum transport in mesoscopic systems
This course aims to introduce the transport behaviors of micron-size systems, emphasizing learning about recent path-breaking experiments on 2D systems such as Graphene and other vad der Waala materia
Afficher plus
Publications associées (95)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.