Lissité Formelle
- Pure Mathematics -
Algebra Dictionary
Définition
La lissité formelle (pour une algèbre ou un morphisme d'algèbres) est la propriété de relèvement infinitésimal : pour tout anneau B et tout idéal nilpotent I ⊂ B, tout morphisme d'anneaux A → B/I se relève en un morphisme A → B.