bn:02513003n
Noun Concept
JA
形式的に滑らかな射
EN
In algebraic geometry and commutative algebra, a ring homomorphism f : A → B {\displaystyle f:A\to 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. Wikipedia
Relations
Sources