History of tag 05UE
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2012-07-18 |
04b7ee3 |
Flatness and freeness
You can recognize freeness of a module on the total space of a family by
checking for flatness and freeness on the fibre.
|
|
assigned tag 05UE
|
2011-02-16 |
9f82907
|
Corollary added
and tags for the last few lemmas on universal flattenings
|
|
created statement with label lemma-compare-H-F in flat.tex
|
2011-02-16 |
3c54b12 |
More details
Added some of the last details in the theorem on the existence
of the universal flattening for a pure module of finite
presentation.
|