Sur la d\'efinissabilit\'e existentielle de la non-nullit\'e dans les anneaux
From MaRDI portal
Publication:6206345
arXiv0707.4449MaRDI QIDQ6206345FDOQ6206345
Authors: Laurent Moret-Bailly 
Publication date: 30 July 2007
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.
Commutative Noetherian rings and modules (13E05) Étale and flat extensions; Henselization; Artin approximation (13B40) Model theory (number-theoretic aspects) (11U09) Henselian rings (13J15) Model theory (03C99)
This page was built for publication: Sur la d\'efinissabilit\'e existentielle de la non-nullit\'e dans les anneaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6206345)
