Résolution des Singularités

Un procédé qui fournit un morphisme birationnel propre f : X' → X depuis une variété ou un schéma lisse X' vers une variété ou un schéma algébrique X donné, tel que f soit un isomorphisme au-dessus du lieu régulier de X et que X' soit lisse ; réalisé en général par une suite finie d'éclatements et de transformations birationnelles contrôlées.