Formally smooth map
id:
formally-smooth-map-245-14409838
title:
Formally smooth map
text:
In algebraic geometry and commutative algebra, a ring homomorphism f : A → B is called formally smooth if it satisfies the following infinitesimal lifting property: Suppose B is given the structure of an A-algebra via the map f. Given a commutative A-algebra, C, and a nilpotent ideal N ⊆ C , any A-algebra homomorphism B → C / N may be lifted to an A-algebra map B → C . If moreover any such lifting is unique, then f is said to be formally étale. Formally smooth maps were defined by Alexander Grot
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Formally_smooth_map
date created:
date modified:
2023-08-12T20:52:08Z
main entity:
{"identifier":"Q5469991","url":"https://www.wikidata.org/entity/Q5469991"}
image:
fields total:
13
integrity:
13