History of tag 09F9
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and 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
|
2018-09-18 |
3873f5d |
Be more precise using formally smooth
|
|
changed the proof
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
|
changed the proof
|
2015-09-04 |
327eac9 |
Apply Abhyankar's lemma
|
|
changed the proof
|
2015-09-03 |
77ac69a |
Neurotic changes
Given a finite extension L/K of the fraction field of a discrete
valuation ring, we say L/K is 'unramified wrt A' instead of just saying
that it is 'unramified'. There are two reasons:
1. There may be more than one dvr whose fraction field is K
2. We already have a notion of an unramified ring map and we do not
want the reader to think we are asking K ---> L to be unramified as a
ring map...
Yes, this is probably not necessary...
|
|
changed the proof
|
2015-09-03 |
3b1a354 |
Existence of separable solutions in Epp
|
|
assigned tag 09F9
|
2013-08-14 |
5f65446
|
Tags: Added new tags
|
|
created statement with label theorem-epp in more-algebra.tex
|
2013-08-14 |
8493f86 |
Statement of Epp's theorem and reduction steps
Unfinished
|