Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Formally_smooth_map> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Formally_smooth_map abstract "In algebraic geometry and commutative algebra, a ring homomorphism is called formally smooth (from French: Formellement lisse) 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 , any A-algebra homomorphism may be lifted to an A-algebra map . If moreover any such lifting is unique, then f is said to be formally etale. Formally smooth maps were defined by Alexander Grothendieck in Éléments de géométrie algébrique IV. Among other things, Grothendieck proved that any such map is flat.For finitely presented morphisms formal smoothness is equivalent to usual notion of smoothness.".
- Formally_smooth_map wikiPageID "31589196".
- Formally_smooth_map wikiPageRevisionID "601336125".
- Formally_smooth_map hasPhotoCollection Formally_smooth_map.
- Formally_smooth_map subject Category:Algebraic_geometry.
- Formally_smooth_map subject Category:Commutative_algebra.
- Formally_smooth_map comment "In algebraic geometry and commutative algebra, a ring homomorphism is called formally smooth (from French: Formellement lisse) 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 , any A-algebra homomorphism may be lifted to an A-algebra map . If moreover any such lifting is unique, then f is said to be formally etale.".
- Formally_smooth_map label "Formally smooth map".
- Formally_smooth_map sameAs m.0glss8x.
- Formally_smooth_map sameAs Q5469991.
- Formally_smooth_map sameAs Q5469991.
- Formally_smooth_map wasDerivedFrom Formally_smooth_map?oldid=601336125.
- Formally_smooth_map isPrimaryTopicOf Formally_smooth_map.