Translator Disclaimer
2007 Sur la définissabilité existentielle de la non-nullité dans les anneaux
Laurent Moret-Bailly
Algebra Number Theory 1(3): 331-346 (2007). DOI: 10.2140/ant.2007.1.331

Abstract

On étudie les anneaux (notamment noethériens) dans lesquels l’ensemble des éléments non nuls est existentiel positif (réunion finie de projections d’ensembles « algébriques »). Dans le cas noethérien intègre, on montre notamment que cette condition est vérifiée pour tout anneau qui n’est pas local hensélien, et qu’elle ne l’est pas pour un anneau local hensélien excellent qui n’est pas un corps.

Ces résultats apportent au passage une réponse à une question de Popescu sur l’approximation forte pour les couples henséliens.

We investigate rings in which the set of nonzero elements is positive-existential (i.e., a finite union of projections of “algebraic” sets). In the case of Noetherian domains, we prove in particular that this condition is satisfied whenever the ring in question is not local Henselian, while it is not satisfied for any excellent local Henselian domain which is not a field.

As a byproduct, we obtain an answer to a question of Popescu on strong approximation for Henselian pairs.

Citation

Download Citation

Laurent Moret-Bailly. "Sur la définissabilité existentielle de la non-nullité dans les anneaux." Algebra Number Theory 1 (3) 331 - 346, 2007. https://doi.org/10.2140/ant.2007.1.331

Information

Received: 30 July 2007; Revised: 18 September 2007; Accepted: 18 October 2007; Published: 2007
First available in Project Euclid: 20 December 2017

zbMATH: 1158.13303
MathSciNet: MR2361937
Digital Object Identifier: 10.2140/ant.2007.1.331

Subjects:
Primary: 13E05
Secondary: 03C99, 11U09, 13B40, 13J15

Rights: Copyright © 2007 Mathematical Sciences Publishers

JOURNAL ARTICLE
16 PAGES


SHARE
Vol.1 • No. 3 • 2007
MSP
Back to Top