History of tag 0564
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-11-14 |
d086a17 |
Improve a proof
Thanks to minsom
https://stacks.math.columbia.edu/tag/0564#comment-5425
|
|
changed the proof
|
2016-08-31 |
09f33a0 |
Corrected typos of algebra.tex morphisms.tex perfect.tex properties.tex quot.tex
|
|
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 |
b28cd60 |
algebra.tex:656: Add omitted proof of PBW-like lemma.
|
|
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 proof
|
2012-08-29 |
74d67e3 |
Fix a proof in the algebra chapter
|
|
assigned tag 0564
|
2010-09-18 |
d52025b
|
Tags: Added new tags
|
|
created statement with label lemma-finite-finitely-presented-extension in algebra.tex
|
2010-09-15 |
a203863 |
More on local structure modules
|