History of tag 00DB
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2016-07-23 |
71ea836 |
More standard use of "partial ordering"
Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/00CR#comment-588
and to Keenan Kidwell
http://stacks.math.columbia.edu/tag/00D3#comment-2102
|
changed the proof
|
2015-04-08 |
360e7e1 |
Revised the material in commits Darij Grinberg
Removed the PBW like lemma in commit
b28cd605026f9194c57022c3b301843e52a66f50
Although we should have lemmas like this in the future, it wasn't
necessary for the proof of lemma-finite-finitely-presented-extension.
Instead we moved this lemma later so we can make use of (very
elementary) theory of finite ring maps, thereby reducing to the one
variable case which should be clear to anyone with an undergraduate
course in modern algebra,
Of course this means we *should* add a discussion of the Grobner
basis algorithm and at that point the lemma will be obvious.
|
changed the proof
|
2015-03-31 |
451130d |
algebra.tex: typos and additional details
|
changed the statement
|
2014-08-10 |
d72552a |
Slogan by Johan de Jong
http://stacks.math.columbia.edu/tag/00DB#comment-907
|
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
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
changed the statement and the proof
|
2011-08-10 |
996a95d |
LaTeX: fix colim
Introduced the macro
\def\colim{\mathop{\rm colim}\nolimits}
and changed all the occurences of \text{colim} into \colim.
|
changed the proof
|
2010-03-08 |
0d8b90d |
Technical lemmas on exactness of various functors on sheaves
This is a bit rough here and there.
|
assigned tag 00DB
|
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
|
created statement with label lemma-directed-colimit-exact in algebra.tex
|
2009-05-06 |
12e32e9 |
List of changes:
Improved exposition colimits modules in algebra.tex
Fixed typo on categories.tex
Proof basic lemma cohomology P^n_R, R Noetherian
Characterize affines by vanishing cohomology
Cohmology commutes with directed colimits sometimes
Typos constructions.tex
Clarify quasi-affine section
Ideals directed limit finite type ideals
Characterize affines in properties.tex
Closed points exist in quasi-compact spaces
modified: algebra.tex
modified: categories.tex
modified: coherent.tex
modified: cohomology.tex
modified: constructions.tex
modified: limits.tex
modified: modules.tex
modified: properties.tex
modified: topology.tex
|