History of tag 05FS
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-10-24 |
d3760f0 |
Be more careful about Jacobson radical
Thanks to Brian Conrad
https://stacks.math.columbia.edu/tag/0AMD#comment-3650
https://stacks.math.columbia.edu/tag/0CT7#comment-3651
https://stacks.math.columbia.edu/tag/0BC6#comment-3652
https://stacks.math.columbia.edu/tag/0D48#comment-3653
|
|
changed the proof
|
2011-01-07 |
ae19d3f |
Pure + flat + finitely presented = projective
Finally!
|
|
assigned tag 05FS
|
2010-10-23 |
ae2a311
|
Tags: Added new tags
|
|
changed the proof
|
2010-10-14 |
5cbeb7e |
Geometrically integral algebras
These had not yet been defined.
|
|
created statement with label lemma-fibres-irreducible-flat-projective in flat.tex
|
2010-10-14 |
db2a679 |
A ---> B flat + finite type + geom integral fibres
with A Noetherian implies B is projective as an A-module, We
will use this to prove that a smooth ring map with geometrically
integral fibres gives a projective module bny a standard
argument using Noetherian reduction. In Raynaud this is proved
using a clever argument with completion of the upstairs ring
along a section. Our argument is closer to the material in EGA
IV Section 11.
|