Sur la d\'efinissabilit\'e existentielle de la non-nullit\'e dans les anneaux
Commutative Algebra
2011-11-10 v2 Logic
Abstract
We investigate the 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.
Cite
@article{arxiv.0707.4449,
title = {Sur la d\'efinissabilit\'e existentielle de la non-nullit\'e dans les anneaux},
author = {Laurent Moret-Bailly},
journal= {arXiv preprint arXiv:0707.4449},
year = {2011}
}
Comments
16 pages, in French. Accepted for publication in Algebra and Number Theory. Change of title and minor changes in the text, following referee's suggestions. Report number corrected, hyperlinks added