A desingularization theorem of Néron type

Summary LetA→A′ be a regular morphism between two noetherian rings. Then for everyA-algebra of finite typeB, everyA-morphism fromB toA′ can be factorised through aB-algebra of finite typeB′ which is standard (smooth) overA and which is ?as smooth as possible? overB (i.e. except above the singular locus ofB overA). This result is a positive answer to one conjecture due to M. Artin.

---

Riassunto SiaA→A′ un omomorfismo regolare di anelli noetheriani. Si dimostra che per ogniA-algebraB di tipo finito, ogniA-omomorfismoB→A′ si può fattorizzare mediante unaB-algebraB′ di tipo finito che è liscia suA ed è ?la più liscia posibile? suB (più precisamente liscia suB meno il luogo singolare diB suA). Questo risultato è una risposta affermativa a una congettura di M. Artin.