History of tag 07E5
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
|
changed the proof
|
2013-12-22 |
5b9bcfb |
LaTeX
Introduced a new macro
\def\Coker{\text{Coker}}
and replaced all occurrences of \text{Coker} by \Coker
|
|
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
|
2013-03-27 |
ba00249 |
New macro: \NL for naive cotangent complex
The naive cotangent complex is an important ingredient to several
topics discussed in the Stacks project. It deserves its own macro.
|
|
assigned tag 07E5
|
2012-01-14 |
93b3e1d
|
Tags: Added new tags
|
|
changed the statement
|
2012-01-04 |
b61a0ed |
Equivalence geometric regularity and formal smoothness
For Noetherian local rings over fields.
|
|
moved the statement to file more-algebra.tex
|
2012-01-04 |
1bb5477 |
Move some sections around
|
|
changed the proof
|
2012-01-04 |
3f7d080 |
Regular local rings are formally smooth in m-adic topology
(modulo a technical assumption).
|
|
changed the proof
|
2012-01-04 |
0a9ef27 |
Formally smooth adic rings are regular
Easy as pie.
|
|
created statement with label proposition-characterization-geometrically-regular in smoothing.tex
|
2012-01-03 |
a444e70 |
Relationship geometric regularity and L
Faltings argument + more. To be added later: Relationship with
formal smoothness (for topological rings.
|