History of tag 032D
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2012-05-10 |
3f35f36 |
zerodivisor and nonzerodivisor
Seems better this way.
|
|
changed the statement
|
2012-04-26 |
2fa1277 |
Formally smooth in the m-adic topology implies regular
Again using the trick with derivations. This time using in an
essential way that derivations can be lifted to formally smooth
over rings... Cool.
|
|
assigned tag 032D
|
2009-08-21 |
15d48db
|
Added new tags
modified: tags/tags
|
|
created statement with label lemma-complete-local-Noetherian-domain-finite-over-regular in algebra.tex
|
2009-08-17 |
946301b |
More on comlpetion and towards Nagata rings are universally Japanese
modified: algebra.tex
|