History of tag 00FP
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-09-16 |
3fc31f0 |
Fact on finite modules over Noetherian rings
Interesting that this was never explicitly stated but of course used all
the time. It sort of shows that the setup of the Stacks project sort of
works: we start somewhere in the "middle" between really basic algebra
and geometry and work "upwards". Still it doesn't hurt to also work on
fixing missing initial material.
|
|
changed the proof
|
2013-09-12 |
7b25094 |
Remove "above" when useless
|
|
changed the proof
|
2013-08-03 |
6cc7a5d |
ell check: words starting with s, t, S, or T
|
|
changed the statement and the proof
|
2010-09-26 |
e37e2d5 |
Coherent rings
These are characterized by direct products of flat modules being
flat.
|
|
assigned tag 00FP
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
|
changed the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
|
created statement with label lemma-Noetherian-finite-type-is-finite-presentation in algebra.tex
|
2008-09-22 |
af9ce7b |
Moved Noetherian permanence earlier
modified: algebra.tex
|