Hostname: page-component-848d4c4894-xfwgj Total loading time: 0 Render date: 2024-06-17T11:19:11.393Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  12 March 2014

Luc Bélair
Luc Bélair*
Affiliation:
Département de Mathématiques et d'Informatique, Université du Québec à Montréal, Montréal, Québec H3C 3P8, Canada
Get access Rights & Permissions [Opens in a new window]

Extract

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
Research Article
Information
The Journal of Symbolic Logic , Volume 56 , Issue 2 , June 1991 , pp. 539 - 553
Copyright
Copyright © Association for Symbolic Logic 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B1]Bélair, L., Spectres p-adiques en rang fini, Comptes Rendus des Séances de l'Académie des Sciences, Série 1: Mathématique, vol. 305 (1987), pp. 1–4.Google Scholar
[B2]Bélair, L., Spectre p-adique: aspects topologiques et géométriques, Séminaire sur les structures algébriques ordonnées, Vol. II (Delon, F.et al., editors), Publications Mathématiques de l'Université Paris-VII, no. 33, Paris, 1990, pp. 151–163.Google Scholar
[B3]Bélair, L., Le théorème de Macintyre, un théorème de Chevalley p-adique, Annales des Sciences Mathématiques du Québec (à paraître).Google Scholar
[BS]Bröcker, L. and Schinke, J. H., On the L-adic spectrum, Schriftenreihe des Mathematischen Instituts der Universität Münster, ser. 2, vol. 40, Mathematisches Institut Universität Münster, Münster, 1986.Google Scholar
[CC]Carral, M. and Coste, M., Normal spectral spaces and their dimension, Journal of Pure and Applied Algebra, vol. 30 (1983), pp. 227–235.CrossRefGoogle Scholar
[CD]Cherlin, G. and Dickmann, M., Real closed rings. II, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 213–231.CrossRefGoogle Scholar
[CR]Coste, M. and Roy, M.-F., La topologie du spectre réel, Ordered fields and real algebraic geometry, Contemporary Mathematics, vol. 8, American Mathematical Society, Providence, Rhode Island, 1982, pp. 27–59.CrossRefGoogle Scholar
[De]Delon, F., Quelques propriétés des corps valués en théorie des modèles, Thèse de Doctorat d'État, Université Paris-VII, Paris, 1981.Google Scholar
[Dn]Denef, J., The rationality of the Poincaré series associated to the p-adic points on a variety, Inventiones Mathematicae, vol. 77 (1984), pp. 1–23.CrossRefGoogle Scholar
[DV]Denef, J. and van den Dries, L., p-adic and real subanalytic sets, Annals of Mathematics, ser. 2, vol. 128 (1988), pp. 79–138.CrossRefGoogle Scholar
[D1]Dickmann, M., Applications of model theory to real algebraic geometry, en préparation.CrossRefGoogle Scholar
[D2]Dickmann, M., A property of the continuous semialgebraic functions defined on a real curve, manuscrit.Google Scholar
[Ho]Hochster, M., Prime ideal structure in commutative rings, Transactions of the American Mathematical Society, vol. 142 (1969), pp. 43–60.CrossRefGoogle Scholar
[Jo]Johnstone, P., Stone spaces, Cambridge University Press, Cambridge, 1983.Google Scholar
[JR]Joyal, A. and Reyes, G. E., Separably real closed local rings, Journal of Pure and Applied Algebra, vol. 43 (1986), pp. 271–279.CrossRefGoogle Scholar
[Ma]Macintyre, A., Twenty years of p-adic model theory, Logic Colloquium '84 (Paris, J.et al., editors), North-Holland, Amsterdam, 1986, pp. 121–153.CrossRefGoogle Scholar
[Pi]Pillay, A., Sheaves of continuous definable functions, this Journal, vol. 53 (1988), pp. 1165–1169.Google Scholar
[PR]Prestel, A. and Roquette, P., Formally p-adic fields, Lecture Notes in Mathematics, vol. 1050, Springer-Verlag, Berlin, 1984.CrossRefGoogle Scholar
[Re]Reyes, G. E., Théorie des modèles et faisceaux, Advances in Mathematics, vol. 30 (1978), pp. 156–170.CrossRefGoogle Scholar
[Ri]Ribenboim, P., Théorie des valuations, Presses de l'Université de Montréal, Montréal, 1964.Google Scholar
[R1]Robinson, E., The p-adic spectrum, Journal of Pure and Applied Algebra, vol. 40 (1986), pp. 281–296.CrossRefGoogle Scholar
[R2]Robinson, E., The geometric theory of p-adic fields, Journal of Algebra, vol. 110 (1987), pp. 158–172.CrossRefGoogle Scholar
[SV]Scowcroft, P. and van den Dries, L., On the structure of semialgebraic sets over p-adic fields, this Journal, vol. 53 (1988), pp. 1138–1164.Google Scholar
[V1]van den Dries, L., Remarks on Tarski's problem concerning (R, +, ·, exp), Logic Colloquium '82 (Lolli, G.et al., editors), North-Holland, Amsterdam, 1984, pp. 97–121.CrossRefGoogle Scholar
[V2]van den Dries, L., A specialization theorem for p-adic power series converging on the closed unit disc, Journal of Algebra, vol. 73 (1981), pp. 613–623.CrossRefGoogle Scholar
[We]Weispfenning, V., Quantifier elimination and decision procedure for valued fields, Models and sets (Logic Colloquium '83), Lecture Notes in Mathematics, vol. 1103, Springer-Verlag, Berlin, 1984, pp. 419–472.CrossRefGoogle Scholar