History of tag 051G
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-05-01 |
19fcc8a |
Geometrically regular over separable algebraic
Besides some small changes this commit contains the following
result: If k ---> k' ---> A are ring maps with k'/k an algebraic
separable extension, then A is geometrically regular over k if
and only if A is geometrically regular over k'. This takes a bit
of work to prove as you have to "think about it right".
|
|
assigned tag 051G
|
2010-07-30 |
ccff9bd
|
Tags: Added new tags
|
|
created statement with label lemma-local-artinian-characterize-flat in algebra.tex
|
2010-07-30 |
0d3f587 |
Flattening stratifications
Lots of changes. Up to and including the existence of the closed
stratum of the flattening stratification for a finite type
scheme over a complete local Noetherian ring.
|