History of tag 07RE
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2013-05-20 |
30c4be1 |
Fix a few typos
Pointed out by Rex and David Holmes the comments (too many to list
here).
|
|
changed the statement and the proof
|
2012-09-26 |
ac526c9 |
Improved proof of isomorphism lemma 07RE
Also added: Precise lemma with the new ingredient we used in the
previous commit. We could now use this lemma in the proof of 00SY but
we'll leave it as is (it wouldn't save much space).
|
|
assigned tag 07RE
|
2012-05-20 |
93c3440
|
Tags: Added new tags
|
|
created statement with label lemma-isomorphism-modulo-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.
|