Résumé
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.
Publications associées (8)

Ising Model and Field Theory: Lattice Local Fields and Massive Scaling Limit

Sung Chul Park

This thesis is devoted to the study of the local fields in the Ising model. The scaling limit of the critical Ising model is conjecturally described by Conformal Field Theory. The explicit predictions
EPFL2019

Ising Model: Local Spin Correlations and Conformal Invariance

Clément Hongler, Sung Chul Park

We study the 2-dimensional Ising model at critical temperature on a simply connected subset of the square grid Z2. The scaling limit of the critical Ising model is conjectured to be described by Confo
Springer2019

Cocycle growth for the Steinberg representation

Thibaut Dumont

This thesis investigates the growth of the natural cocycle introduced by Klingler for the Steinberg representation. When possible, we extend the framework of simple algebraic groups over a local field
EPFL2016
Afficher plus
Personnes associées (1)
Concepts associés (38)
Corps de nombres
En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Groupe de Galois
En mathématiques, et plus spécifiquement en algèbre dans le cadre de la théorie de Galois, le groupe de Galois d'une extension de corps L sur un corps K est le groupe des automorphismes de corps de L laissant K invariant. Le groupe de Galois est souvent noté Gal(L/K). Si l'extension possède de bonnes propriétés, c’est-à-dire si elle est séparable et normale, on parle alors d'extension de Galois et les hypothèses du théorème fondamental de la théorie de Galois sont réunies.
Corps local
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.
Afficher plus
Cours associés (48)
MATH-310: Algebra
Study basic concepts of modern algebra: groups, rings, fields.
MATH-417: Topics in number theory
This year's topic is "Adelic Number Theory" or how the language of adeles and ideles and harmonic analysis on the corresponding spaces can be used to revisit classical questions in algebraic number th
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
Afficher plus
Séances de cours associées (358)
Théorie du champ efficace: description universelle à faible énergie
Explore la théorie des champs efficace, en mettant laccent sur son application au modèle standard et au problème de la hiérarchie.
Dérivés fonctionnels
Couvre le concept de dérivés fonctionnels et leur processus de calcul avec des exemples.
Champs finis: Construction et propriétés
Explore la construction et les propriétés des champs finis, y compris les polynômes irréductibles et le Théorème des Restes Chinois.
Afficher plus
MOOCs associés (1)
The Radio Sky II: Observational Radio Astronomy
This course covers the principles and practices of radio astronomical observations, in particular with modern interferometers. Topics range from radio telescope technology to the measurement equation