Sur la définissabilité existentielle de la non-nullité dans les anneaux
Moret-Bailly, Laurent
HAL, hal-00163482 / Harvested from HAL
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.
Publié le : 2007-07-05
Classification:  ensemble existentiellement définissable,  anneau noethérien,  anneau hensélien,  approximation d'Artin,  03C99, 13E05, 13J15, 13B40, 11U09,  [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00163482,
     author = {Moret-Bailly, Laurent},
     title = {Sur la d\'efinissabilit\'e existentielle de la non-nullit\'e dans les anneaux},
     journal = {HAL},
     volume = {2007},
     number = {0},
     year = {2007},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/hal-00163482}
}
Moret-Bailly, Laurent. Sur la définissabilité existentielle de la non-nullité dans les anneaux. HAL, Tome 2007 (2007) no. 0, . http://gdmltest.u-ga.fr/item/hal-00163482/