Anneaux p-adiquement clos et anneaux de fonctions définissables

Bélair, Luc (1991). « Anneaux p-adiquement clos et anneaux de fonctions définissables ». The Journal of Symbolic Logic, 56(02), pp. 539-553.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (495kB)

Résumé

Nous considérons des théories d'anneaux locaux reliées aux corps p-adiques, p un nombre premier. Dans le §1 nous établissons les axiomatisations données dans [B1], ainsi qu'une autre axiomatisation des anneaux apparaissant dans [R1]. Il s'agit d'anneaux locaux henséliens dont le corps résiduel est élémentairement équivalent à une extension finie d'un corps p-adique. Nous les appelons anneaux locaux p-adiquement clos. Dans le contexte de [R1] et [B1] ils apparaissent comme fibres du faisceau structural (aussi appelé faisceau de Nash dans [BS]) accompagnant les spectres p-adiques. L'intérêt de nos axiomatisations provient de la simplicité des axiomes qui rendent compte des propriétés henséliennes. Dans le §2 nous donnons une axiomatisation d'une théorie d'anneaux locaux qui apparaît naturellement dans le contexte de la théorie des modèles des corps valués, et se trouve être une complétion d'une théorie du §1. Nous appelons ces anneaux, anneaux intègres p-adiquement clos. Dans le §3 nous utilisons §2 pour montrer que les anneaux intègres p-adiquement clos apparaissent aussi comme anneaux quotients d'anneaux de fonctions continues définissables sur les courbes affines p-adiques. Nous représentons alors un idéal premier comme le noyau d'un morphisme d'évaluation en un point non-standard de la courbe. Le spectre p-adique fournit un outil commode qui permet de décrire la situation de façon concise.

Type: Article de revue scientifique
Mots-clés ou Sujets: corps p-adiques; théorie d'anneaux locaux; théorie des modèles des corps valués
Unité d'appartenance: Faculté des sciences > Département de mathématiques
Déposé par: Luc Bélair
Date de dépôt: 18 avr. 2016 14:18
Dernière modification: 27 avr. 2016 18:12
Adresse URL : http://www.archipel.uqam.ca/id/eprint/8159

Statistiques

Voir les statistiques sur cinq ans...