Suavitéz Formal

La suavidad formal (para una álgebra o un morfismo de álgebras) es la propiedad de levantamiento infinitesimal: dado un álgebra B y un ideal nilpotente I ⊂ B, todo homomorfismo A → B/I se eleva a un homomorfismo A → B. En álgebra conmutativa esto coincide con la suavidad formal geométrica y está relacionado con la proyectividad del módulo de diferenciales para álgebras de presentación finita.