Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 07RD

Go back to the tag's page.

type time link
changed the proof 2013-12-22 19733a9
LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im
assigned tag 07RD 2012-05-20 93c3440
Tags: Added new tags
created statement with label lemma-surjective-mod-locally-nilpotent in algebra.tex 2012-05-09 9a07b1f
An application of criterion flatness per fibre

	Namely, if S ---> S' is a map of finitely presented algebras
	over R and I is a locally nilpotent ideal of R such that S/IS
	---> S'/IS' is an isomorphism, and S' is flat over R, then S
	---> S' is an isomorphism.